list -- r7rs Type

§

Sub-types tree

§

• list-not-null:
  • list-circular;
  • list-dotted-not-null;
  • list-proper-not-null;
  • assoc-list-not-null;
• list-not-circular:
  • list-dotted:
    • list-dotted-not-null;
  • list-proper:
    • list-proper-not-null;
    • assoc-list:
      • ...

Super-types

§

• (none);

Sub-types

§

• list-not-null;
• list-not-circular;

Sub-types recursive

§

• list-circular;
• list-dotted;
• list-dotted-not-null;
• list-proper;
• list-proper-not-null;
• assoc-list;
• assoc-list-not-null;

Referent definitions as input

§

• map;
• for-each;

Referent definitions as output

§

• list-tail;

Referent definitions as output (recursive)

§

• list-copy;
• append;
• list;
• map;
• vector->list;
• string->list;
• error-object-irritants;
• features;
• make-list;
• reverse;
• command-line;
• get-environment-variables;

Note: These definitions produce an output that is a sub-type.

Predicate

§

list?

Categories

§

• types-lists;

Categories recursive

§

• types;