The Standard ML Basis Library

The PrimIO functor


functor PrimIO ( ... ) : PRIM_IO  (* OPTIONAL *)

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

Functor argument interface

structure Vector : MONO_VECTOR
structure VectorSlice : MONO_VECTOR_SLICE
structure Array : MONO_ARRAY
structure ArraySlice : MONO_ARRAY_SLICE
sharing type Vector.elem = VectorSlice.elem = Array.elem
  = ArraySlice.elem
sharing type Vector.vector = VectorSlice.vector
  = Array.vector = ArraySlice.vector
sharing type VectorSlice.slice = ArraySlice.vector_slice
sharing type Array.array = ArraySlice.array
val someElem : Vector.elem
eqtype pos
val compare : pos * pos -> order


val someElem : Vector.elem
An element that may be read or written by a reader or writer. The value someElem is typically used for initialization of buffers.

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


[ Top | Parent | Contents | Index | Root ]

Generated April 12, 2004
Last Modified May 10, 1996
Comments to John Reppy.

This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy.

Copyright © 2004 AT&T and Lucent Technologies. All rights reserved.

Permission is granted for internet users to make one paper copy for their own personal use. Further hardcopy reproduction is strictly prohibited. Permission to distribute the HTML document electronically on any medium other than the internet must be requested from the copyright holders by contacting the editors. Printed versions of the SML Basis Manual are available from Cambridge University Press. To order, please visit (North America) or (outside North America).