The Standard ML Basis Library


The PrimIO functor

The optional functor PrimIO builds an instance of the primitive I/O signature PRIM_IO.


Synopsis

functor PrimIO ( ... ) : PRIM_IO

Functor argument interface

structure A : MONO_ARRAY
structure V : MONO_VECTOR
val someElem : A.elem
type pos
val compare : (pos * pos) -> order

Description

structure A

structure V

someElem
an element that may be read or written by a reader or writer. The value someElem is typically used for initialization of buffers.

type pos

compare (pos, pos')
returns LESS, EQUAL, or GREATER When pos is less than, equal to, or greater than pos', respectively, in some underlying linear ordering on pos values.


See Also

PRIM_IO

[ INDEX | TOP | Parent | Root ]

Last Modified May 10, 1996
Copyright © 1996 AT&T