input-port-open -- r7rs Type

§

Sub-types tree

§

• input-port-eof:
  • binary-input-port-eof;
  • textual-input-port-eof;
• binary-input-port-open:
  • binary-input-port-eof;
• textual-input-port-open:
  • textual-input-port-eof;

Super-types

§

• input-port;
• port-open;

Super-types recursive

§

• port;

Sub-types

§

• input-port-eof;
• binary-input-port-open;
• textual-input-port-open;

Sub-types recursive

§

• binary-input-port-eof;
• textual-input-port-eof;

Referent definitions as input

§

• input-port-open?;
• close-port;
• close-input-port;

Referent definitions as input (recursive)

§

• port?;
• binary-port?;
• textual-port?;
• input-port?;
• 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) (input-port-open? value)))

Categories

§

• types-ports;

Categories recursive

§

• types;