Characters
Characters represented as Unicode code points.
public let toNat32 : (c : Char) -> Nat32
Convert character c
to a word containing its Unicode scalar value.
public let 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 let 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 let isWhitespace : (c : Char) -> Bool
Returns the Unicode White_Space property of c
.
public let isLowercase : (c : Char) -> Bool
Returns the Unicode Lowercase property of c
.
public let isUppercase : (c : Char) -> Bool
Returns the Unicode Uppercase property of c
.
public let isAlphabetic : (c : Char) -> Bool
Returns the Unicode Alphabetic property of c
.