where type Char.char = Char.char
where type String.string = String.string
where type Substring.substring = Substring.substring
where type CharVector.vector = CharVector.vector
where type CharArray.array = CharArray.array
where type CharVectorSlice.slice = CharVectorSlice.slice
where type CharArraySlice.slice = CharArraySlice.slice
(* OPTIONAL *)
where type Char.char = WideChar.char
where type String.string = WideString.string
where type Substring.substring = WideSubstring.substring
where type CharVector.vector = WideCharVector.vector
where type CharArray.array = WideCharArray.array
where type CharVectorSlice.slice = WideCharVectorSlice.slice
where type CharArraySlice.slice = WideCharArraySlice.slice
TEXT signature collects together various text related structures based on the representation of the shared character type.
TEXT signature is matched by two structures, the required
Text and the optional
WideText. The former implements strings based on the extended ASCII 8-bit characters. The latter provides strings of characters of some size greater than or equal to 8 bits.
structure Char : CHAR
structure String : STRING
structure Substring : SUBSTRING
structure CharVector : MONO_VECTOR
structure CharArray : MONO_ARRAY
structure CharVectorSlice : MONO_VECTOR_SLICE
structure CharArraySlice : MONO_ARRAY_SLICE
sharing type Char.char = String.char = Substring.char
= CharVector.elem = CharArray.elem = CharVectorSlice.elem
sharing type Char.string = String.string = Substring.string
= CharVector.vector = CharArray.vector
= CharVectorSlice.vector = CharArraySlice.vector
sharing type CharArray.array = CharArraySlice.array
sharing type CharVectorSlice.slice
Generated April 12, 2004
Last Modified July 21, 1998
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
To order, please visit
www.cup.org (North America) or
www.cup.cam.ac.uk (outside North America).