def Unicode.lookupBidiClass (c : UInt32) : 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.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.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.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.lookupDecompositionMapping? (c : UInt32) : Option 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.

@[inline]

def Unicode.lookupGC (c : UInt32) : GC

Get general category of a code point using lookup table

Unicode property: General_Category

Equations

• Unicode.lookupGC c = (Unicode.CLib.lookupProp✝ c).toUInt32

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.lookupNumericValue (c : UInt32) : Option 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.lookupOther (c : UInt32) : UInt32

Get other properties using lookup table

Unicode properties: Other_Alphabetic, Other_Lowercase, Other_Uppercase, Other_Math

Equations

• Unicode.lookupOther c = (Unicode.CLib.lookupProp✝ c >>> 32).toUInt32

Properties

@[inline]

def Unicode.lookupAlphabetic (c : UInt32) : Bool

Check if code point is alphabetic using lookup table

Unicode property: Alphabetic

Equations

• Unicode.lookupAlphabetic c = (Unicode.CLib.lookupProp✝ c &&& (Unicode.CLib.oAlpha✝ ||| UInt32.toUInt64 (Unicode.GC.L ||| Unicode.GC.Nl)) != 0)

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.

@[inline]

def Unicode.lookupCased (c : UInt32) : Bool

Check if code point is a cased letter using lookup table

Unicode property: Cased

Equations

• Unicode.lookupCased c = (Unicode.CLib.lookupProp✝ c &&& (Unicode.CLib.oUpper✝ ||| Unicode.CLib.oLower✝ ||| UInt32.toUInt64 Unicode.GC.LC) != 0)

@[inline]

def Unicode.lookupDefaultIgnorableCodePoint (c : UInt32) : Bool

Check if code point is ignorable using lookup table

Unicode property: Default_Ignorable_Code_Point

Equations

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

@[inline]

def Unicode.lookupLowercase (c : UInt32) : Bool

Check if code point is a lowercase letter using lookup table

Unicode property: Lowercase

Equations

• Unicode.lookupLowercase c = (Unicode.CLib.lookupProp✝ c &&& (Unicode.CLib.oLower✝ ||| UInt32.toUInt64 Unicode.GC.Ll) != 0)

@[inline]

def Unicode.lookupMath (c : UInt32) : Bool

Check if code point is a mathematical symbol using lookup table

Unicode property: Math

Equations

• Unicode.lookupMath c = (Unicode.CLib.lookupProp✝ c &&& (Unicode.CLib.oMath✝ ||| UInt32.toUInt64 Unicode.GC.Sm) != 0)

@[inline]

def Unicode.lookupNoncharacterCodePoint (c : UInt32) : Bool

Check if code point is a noncharcter code point

Unicode property: Noncharacter_Code_Point

Equations

• Unicode.lookupNoncharacterCodePoint c = (decide (c ≤ 65007) && decide (64976 ≤ c) || decide (c ≤ Unicode.max) && c &&& 65534 == 65534)

@[inline]

def Unicode.lookupTitlecase (c : UInt32) : Bool

Check if code point is a titlecase letter using lookup table

Unicode property: Titlecase

Equations

• Unicode.lookupTitlecase c = (Unicode.lookupGC c == Unicode.GC.Lt)

@[inline]

def Unicode.lookupUppercase (c : UInt32) : Bool

Check if code point is a uppercase letter using lookup table

Unicode property: Uppercase

Equations

• Unicode.lookupUppercase c = (Unicode.CLib.lookupProp✝ c &&& (Unicode.CLib.oUpper✝ ||| UInt32.toUInt64 Unicode.GC.Lu) != 0)

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.

@[inline]

def Unicode.lookupScript (c : UInt32) : Script

Get the script of a code point using lookup table

Unicode property: Script

Equations

• Unicode.lookupScript c = Unicode.CLib.lookupScript✝ c

def Unicode.lookupScriptName (s : Script) : Option String.Slice

Get the name of a script

Unicode property: Script

Equations

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