diff options
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/files.spad.pamphlet | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/src/algebra/files.spad.pamphlet b/src/algebra/files.spad.pamphlet index cb85893b..95d45b31 100644 --- a/src/algebra/files.spad.pamphlet +++ b/src/algebra/files.spad.pamphlet @@ -26,19 +26,23 @@ IOMode(): Public == Private where Public == SetCategory with input: % - ++ `input' indicates that an IO conduit is for input. + ++ \spad{input} indicates that an IO conduit is for input. output: % - ++ `output' indicates that an IO conduit is for output + ++ \spad{output} indicates that an IO conduit is for output bothWays: % - ++ `bothWays' indicates that an IO conduit is for both input and output. + ++ \spad{bothWays} indicates that an IO conduit is for both input and output. + closed: % + ++ \spad{closed} indicates that the IO conduit has been closed. Private == add - input == _$InputIOMode$Lisp - output == _$OutputIOMode$Lisp - bothWays == _$BothWaysIOmode$Lisp - x = y == EQ(x,y)$Lisp + input == _$InputIOMode$Foreign(Builtin) + output == _$OutputIOMode$Foreign(Builtin) + bothWays == _$BothWaysIOMode$Foreign(Builtin) + closed == _$ClosedIOMode$Foreign(Builtin) + x = y == EQ(x,y)$Foreign(Builtin) coerce m == m = input => outputForm 'input m = output => outputForm 'output + m = closed => outputForm 'closed outputForm 'bothWays @ |