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