Char

Characters

type Char = Prim.Types.Char

Characters represented as Unicode code points.

`public func toNat32(c : Char) : Nat32`

Convert character c to a word containing its Unicode scalar value.

`public func fromNat32(w : Nat32) : Char`

Convert w to a character. Traps if w is not a valid Unicode scalar value. Value w is valid if, and only if, w < 0xD800 or (0xE000 <= w and w <= 0x10FFFF).

`public func toText(c : Char) : Text`

Convert character c to single character text.

`public func isDigit(c : Char) : Bool`

Returns true when c is a decimal digit between 0 and 9, otherwise false.

`public func isWhitespace(c : Char) : Bool`

Returns the Unicode White_Space property of c.

`public func isLowercase(c : Char) : Bool`

Returns the Unicode Lowercase property of c.

`public func isUppercase(c : Char) : Bool`

Returns the Unicode Uppercase property of c.

`public func isAlphabetic(c : Char) : Bool`

Returns the Unicode Alphabetic property of c.

`public func equal(x : Char, y : Char) : Bool`

Returns x == y.

`public func notEqual(x : Char, y : Char) : Bool`

Returns x != y.

`public func less(x : Char, y : Char) : Bool`

Returns x < y.

`public func lessOrEqual(x : Char, y : Char) : Bool`

Returns x <= y.

`public func greater(x : Char, y : Char) : Bool`

Returns x > y.

`public func greaterOrEqual(x : Char, y : Char) : Bool`

Returns x >= y.

`public func compare(x : Char, y : Char) : {#less; #equal; #greater}`

Returns the order of x and y.