def Unicode.lookupBidiClass (c : UInt32) : Unicode.BidiClass

Get bidirectional class using lookup table

Unicode property: Bidi_Class

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupBidiClass.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupBidiClass.table : Thunk (Array (UInt32 × UInt32 × Unicode.BidiClass))

Equations

• Unicode.lookupBidiClass.table = Unicode.parseDataTable Unicode.lookupBidiClass.str fun (x x : UInt32) (x : Array Substring) => Unicode.BidiClass.ofAbbrev! x[0]!

def Unicode.lookupCanonicalCombiningClass (c : UInt32) : Nat

Get canonical combining class using lookup table

Unicode property: Canonical_Combining_Class

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupCanonicalCombiningClass.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupCanonicalCombiningClass.table : Thunk (Array (UInt32 × UInt32 × Nat))

Equations

• Unicode.lookupCanonicalCombiningClass.table = Unicode.parseDataTable Unicode.lookupCanonicalCombiningClass.str fun (x x : UInt32) (x : Array Substring) => (x.get! 0).toNat?.get!

def Unicode.lookupCanonicalDecompositionMapping (c : UInt32) : List UInt32

Get canonical decomposition mapping using lookup table

Unicode properties: Decomposition_Mapping Decomposition_Type=Canonical

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupCanonicalDecompositionMapping.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupCanonicalDecompositionMapping.table : Thunk (Array (UInt32 × List UInt32))

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupCaseMapping (c : UInt32) : UInt32 × UInt32 × UInt32

Get simple case mappings of a code point using lookup table

Unicode properties: Simple_Lowercase_Mapping Simple_Uppercase_Mapping Simple_Titlecase_Mapping

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupCaseMapping.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupCaseMapping.table : Thunk (Array (UInt32 × UInt32 × Option UInt32 × Option UInt32 × Option UInt32))

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupDecompositionMapping? (c : UInt32) : Option Unicode.DecompositionMapping

Get decomposition mapping using lookup table

Unicode properties: Decomposition_Mapping Decomposition_Type

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupDecompositionMapping?.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupDecompositionMapping?.table : Thunk (Array (UInt32 × Option Unicode.CompatibilityTag × Array UInt32))

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupGeneralCategory (c : UInt32) : Unicode.GeneralCategory

Get general category of a code point using lookup table

Unicode property: General_Category

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupGeneralCategory.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupGeneralCategory.table : Thunk (Array (UInt32 × UInt32 × Unicode.GeneralCategory))

Equations

• Unicode.lookupGeneralCategory.table = Unicode.parseDataTable Unicode.lookupGeneralCategory.str fun (x x : UInt32) (x : Array Substring) => Unicode.GeneralCategory.ofAbbrev! x[0]!

def Unicode.lookupName (c : UInt32) : String

Get name of a code point using lookup table

Unicode property: Name

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupName.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupName.table : Thunk (Array (UInt32 × UInt32 × Substring))

Equations

• Unicode.lookupName.table = Unicode.parseDataTable Unicode.lookupName.str fun (x x : UInt32) (x : Array Substring) => x[0]!

def Unicode.lookupNumericValue (c : UInt32) : Option Unicode.NumericType

Get numeric value of a code point using lookup table

Unicode properties: Numeric_Type Numeric_Value

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupNumericValue.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupNumericValue.table : Thunk (Array (UInt32 × UInt32 × Unicode.NumericType))

Equations

• One or more equations did not get rendered due to their size.

Properties

def Unicode.lookupAlphabetic (c : UInt32) : Bool

Check if code point is alphabetic using lookup table

Unicode property: Alphabetic

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupAlphabetic.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupAlphabetic.table : Thunk (Array (UInt32 × UInt32))

Equations

• Unicode.lookupAlphabetic.table = Unicode.parsePropTable Unicode.lookupAlphabetic.str

def Unicode.lookupBidiMirrored (c : UInt32) : Bool

Check if code point is bidi mirrored using lookup table

Unicode property: Bidi_Mirrored

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupBidiMirrored.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupBidiMirrored.table : Thunk (Array (UInt32 × UInt32))

Equations

• Unicode.lookupBidiMirrored.table = Unicode.parsePropTable Unicode.lookupBidiMirrored.str

def Unicode.lookupCased (c : UInt32) : Bool

Check if code point is a cased letter using lookup table

Unicode property: Cased

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupCased.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupCased.table : Thunk (Array (UInt32 × UInt32))

Equations

• Unicode.lookupCased.table = Unicode.parsePropTable Unicode.lookupCased.str

def Unicode.lookupLowercase (c : UInt32) : Bool

Check if code point is a lowercase letter using lookup table

Unicode property: Lowercase

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupLowercase.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupLowercase.table : Thunk (Array (UInt32 × UInt32))

Equations

• Unicode.lookupLowercase.table = Unicode.parsePropTable Unicode.lookupLowercase.str

def Unicode.lookupMath (c : UInt32) : Bool

Check if code point is a mathematical symbol using lookup table

Unicode property: Math

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupMath.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupMath.table : Thunk (Array (UInt32 × UInt32))

Equations

• Unicode.lookupMath.table = Unicode.parsePropTable Unicode.lookupMath.str

def Unicode.lookupTitlecase (c : UInt32) : Bool

Check if code point is a titlecase letter using lookup table

Unicode property: Titlecase

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupTitlecase.str : String

Equations

• Unicode.lookupTitlecase.str = "01C5;\n01C8;\n01CB;\n01F2;\n1F88;1F8F\n1F98;1F9F\n1FA8;1FAF\n1FBC;\n1FCC;\n1FFC;\n"

def Unicode.lookupTitlecase.table : Thunk (Array (UInt32 × UInt32))

Equations

• Unicode.lookupTitlecase.table = Unicode.parsePropTable Unicode.lookupTitlecase.str

def Unicode.lookupUppercase (c : UInt32) : Bool

Check if code point is a uppercase letter using lookup table

Unicode property: Uppercase

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupUppercase.str : String

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupUppercase.table : Thunk (Array (UInt32 × UInt32))

Equations

• Unicode.lookupUppercase.table = Unicode.parsePropTable Unicode.lookupUppercase.str

def Unicode.lookupWhiteSpace (c : UInt32) : Bool

Check if code point is a white space character using lookup table

Unicode property: White_Space

Equations

• One or more equations did not get rendered due to their size.

def Unicode.lookupWhiteSpace.str : String

Equations

• Unicode.lookupWhiteSpace.str = "0009;000D\n0020;\n0085;\n00A0;\n1680;\n2000;200A\n2028;\n2029;\n202F;\n205F;\n3000;\n"

def Unicode.lookupWhiteSpace.table : Thunk (Array (UInt32 × UInt32))

Equations

• Unicode.lookupWhiteSpace.table = Unicode.parsePropTable Unicode.lookupWhiteSpace.str