string-not-empty -- r7rs Type

§

Super-types

§

• string;

Sub-types

§

• path-string;

Referent definitions as input

§

• string-length;
• string-ref;
• string-set!;
• string->number;
• string->symbol;
• string->list;
• string->vector;
• string-upcase;
• string-downcase;
• string-foldcase;
• string->utf8;
• get-environment-variable;

Referent definitions as input (recursive)

§

• syntax-error;
• string?;
• string-append;
• string-copy;
• string-copy!;
• string-fill!;
• substring;
• string=?;
• string<?;
• string>?;
• string<=?;
• string>=?;
• string-ci=?;
• string-ci<?;
• string-ci>?;
• string-ci<=?;
• string-ci>=?;
• string-map;
• string-for-each;
• open-input-string;
• write-string;
• error;

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

Referent definitions as output

§

• string;
• make-string;
• number->string;
• list->string;
• vector->string;
• string-upcase;
• string-downcase;
• string-foldcase;
• utf8->string;

Predicate

§

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

Categories

§

• types-miscellaneous;

Categories recursive

§

• types;