fxt - The Functional XML Transformation Tool

The Unicode interface

-----------------

The Unicode structure provides usefull code for manipulating Unicode characters and strings as presented in the following signature:

sig
  type Char = word
  type Data = Char list
  type Vector = Char Vector.vector

  val nullData : Data
  val nullVector : Vector

  val Vector2String : Vector -> string
  val String2Vector : string -> Vector
  val UnicodeVectorlt : Vector * Vector -> bool
  val concatVectors : Vector * Vector -> Vector

  val Data2String : Data -> string
  val Data2Vector : Data -> Vector
  val String2Data : string -> Data
  val Vector2Data : Vector -> Data
  val Vector2StringShort : Vector -> string

  val Char2Uni : Char -> string
  val Char2String : Char -> string
  val Char2char : Char -> char
  val char2Char : char -> Char
  val compareChar : Char * Char -> order
end

whith the following meaning:

Char
the type for Unicode characters, represented as the SML word type
Data
the type for Unicode data, represented as Char list
Vector
the type for Unicode strings, represented as Char vector
nullData
the empty Unicode data
nullVector
the empty Unicode string
Vector2String
conversion function from Vector to String
String2Vector
conversion function from String to Vector
UnicodeVectorlt
"less than" function for Vectors
concatVectors
function to concatenate two Vectors
Data2String
conversion function from Data to String
Data2Vector
conversion function from Data to Vector
String2Data
conversion function from String2Data
Vector2Data
conversion function from Vector to Data
Vector2StringShort
conversion function from Vector to String; if the vector is longer than a predifined size, its string representation is truncated using "...".
Char2Uni
conversion function from Char to string, as "U+UnicodeIndex"
Char2String
conversion function from Char to string; if the character is printable than the string is the character itself, otherwise a "+U.." representation
Char2char
conversion function from Char to char
char2Char
conversion function from char to Char
compareChar
function to compare to Char-s

-----------------

A. Berlea (aberlea@psi.uni-trier.de)