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

[ INDEX | TOP | Parent | Root ]

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