Next: , Previous: , Up: args predefined   [Index]


8.5.27 Validating input/output ports

The following bindings are exported by the library (vicare arguments validation).

Validation Clause: port obj

Succeed if obj is a port.

Validation Clause: port/false obj

Succeed if obj is #f or a port.

Validation Clause: input-port obj
Validation Clause: output-port obj
Validation Clause: input/output-port obj

Succeed if obj is an input, output or input/output port.

Validation Clause: input-port/false obj
Validation Clause: output-port/false obj
Validation Clause: input/output-port/false obj

Succeed if obj is #f or an input, output or input/output port.

Validation Clause: textual-port obj
Validation Clause: binary-port obj

Succeed if obj is an textual or binary port.

Validation Clause: textual-port/false obj
Validation Clause: binary-port/false obj

Succeed if obj is #f or an textual or binary port.

Validation Clause: open-port obj

Succeed if obj is an open port.