binary-port -- r7rs Type

§

Sub-types tree

§

• binary-port-open:
  • binary-input-port-open:
    • binary-input-port-eof;
  • binary-output-port-open;
• binary-port-closed:
  • binary-input-port-closed;
  • binary-output-port-closed;
• binary-input-port:
  • binary-input-port-open:
    • binary-input-port-eof;
  • binary-input-port-closed;
• binary-output-port:
  • binary-output-port-open;
  • binary-output-port-closed;

Super-types

§

• port;

Sub-types

§

• binary-port-open;
• binary-port-closed;
• binary-input-port;
• binary-output-port;

Sub-types recursive

§

• binary-input-port-open;
• binary-input-port-eof;
• binary-input-port-closed;
• binary-output-port-open;
• binary-output-port-closed;

Referent definitions as input

§

• binary-port?;

Referent definitions as input (recursive)

§

• 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

§

binary-port?

Categories

§

• types-ports;

Categories recursive

§

• types;