string-not-empty-or-eof -- r7rs Type

§

Super-types

§

• string-or-eof;

Super-types recursive

§

• value-or-eof;

Referent definitions as output

§

• read-string;
• read-line;

Predicate

§

(lambda (value) (or (and (string? value) (not (zero? (string-length value)))) (eof-object? value)))

Categories

§

• types-ports;

Categories recursive

§

• types;