vector-not-empty -- r7rs Type

§

Super-types

§

• vector;

Referent definitions as input

§

• vector-length;
• vector-ref;
• vector-set!;
• vector->list;
• vector->string;

Referent definitions as input (recursive)

§

• vector?;
• vector-append;
• vector-copy;
• vector-copy!;
• vector-fill!;
• vector-map;
• vector-for-each;

Note: These definitions consume an input that is a super-type.

Referent definitions as output

§

• vector;
• make-vector;
• list->vector;
• string->vector;

Predicate

§

(lambda (value) (and (vector? value) (not (zero? (vector-length value)))))

Categories

§

• types-miscellaneous;

Categories recursive

§

• types;