Char
Characters
Type Char
type Char = Prim.Types.Char
Characters represented as Unicode code points.
Function toNat32
func toNat32(c : Char) : Nat32
Convert character c to a word containing its Unicode scalar value.
Function fromNat32
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).
Function toText
func toText(c : Char) : Text
Convert character c to single character text.
Function isDigit
func isDigit(c : Char) : Bool
Returns true when c is a decimal digit between 0 and 9, otherwise false.
Function isWhitespace
func isWhitespace(c : Char) : Bool
Returns the Unicode White_Space property of c.
Function isLowercase
func isLowercase(c : Char) : Bool
Returns the Unicode Lowercase property of c.
Function isUppercase
func isUppercase(c : Char) : Bool
Returns the Unicode Uppercase property of c.
Function isAlphabetic
func isAlphabetic(c : Char) : Bool
Returns the Unicode Alphabetic property of c.
Function equal
func equal(x : Char, y : Char) : Bool
Returns x == y.
Function notEqual
func notEqual(x : Char, y : Char) : Bool
Returns x != y.
Function less
func less(x : Char, y : Char) : Bool
Returns x < y.
Function lessOrEqual
func lessOrEqual(x : Char, y : Char) : Bool
Returns x <= y.
Function greater
func greater(x : Char, y : Char) : Bool
Returns x > y.
Function greaterOrEqual
func greaterOrEqual(x : Char, y : Char) : Bool
Returns x >= y.
Function compare
func compare(x : Char, y : Char) : {#less; #equal; #greater}
Returns the order of x and y.