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
sharing type A.vector = V.vector
sharing type A.elem = V.elem
val someElem : A.elem
type pos
val compare : (pos * pos) -> order


Description

structure A

structure V

sharing type A.vector

sharing type A.elem

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

Last Modified May 10, 1996
Comments to John Reppy.
Copyright © 1997 Bell Labs, Lucent Technologies