input-port-closed -- r7rs Type

§

Super-types

§

• input-port;
• port-closed;

Super-types recursive

§

• port;

Sub-types

§

• binary-input-port-closed;
• textual-input-port-closed;

Referent definitions as input

§

• close-port;
• close-input-port;

Referent definitions as input (recursive)

§

• port?;
• binary-port?;
• textual-port?;
• input-port?;
• input-port-open?;
• output-port?;
• output-port-open?;
• call-with-port;

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

Predicate

§

(lambda (value) (and (input-port? value) (not (input-port-open? value))))

Categories

§

• types-ports;

Categories recursive

§

• types;