Char
Characters
type Char = Prim.Types.Char
public let toNat32 : (c : Char) -> Nat32
public let fromNat32 : (w : Nat32) -> Char
public let toText : (c : Char) -> Text
public func isDigit(c : Char) : Bool
public let isWhitespace : (c : Char) -> Bool
public let isLowercase : (c : Char) -> Bool
public let isUppercase : (c : Char) -> Bool
public let isAlphabetic : (c : Char) -> Bool
public func equal(x : Char, y : Char) : Bool
public func notEqual(x : Char, y : Char) : Bool
public func less(x : Char, y : Char) : Bool
public func lessOrEqual(x : Char, y : Char) : Bool
public func greater(x : Char, y : Char) : Bool
public func greaterOrEqual(x : Char, y : Char) : Bool
public func compare(x : Char, y : Char) : {#less; #equal; #greater}