structure Unicode.PropList : Type

Structure containing supported character properties from PropList.txt

• noncharacterCodePoint : Array (UInt32 × Option UInt32)

  property Noncharacter_Code_Point

• whiteSpace : Array (UInt32 × Option UInt32)

  property White_Space

• otherMath : Array (UInt32 × Option UInt32)

  property Other_Math

• otherAlphabetic : Array (UInt32 × Option UInt32)

  property Other_Alphabetic

• otherLowercase : Array (UInt32 × Option UInt32)

  property Other_Lowercase

• otherUppercase : Array (UInt32 × Option UInt32)

  property Other_Uppercase

instance Unicode.instInhabitedPropList : Inhabited Unicode.PropList

Equations

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

instance Unicode.instReprPropList : Repr Unicode.PropList

Equations

• Unicode.instReprPropList = { reprPrec := Unicode.reprPropList✝ }

def Unicode.PropList.txt : String

Raw string form PropList.txt

Equations

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

def Unicode.PropList.data : Unicode.PropList

Parsed data from PropList.txt

Equations

• Unicode.PropList.data = { noncharacterCodePoint := #[], whiteSpace := #[], otherMath := #[], otherAlphabetic := #[], otherLowercase := #[], otherUppercase := #[] }

@[inline]

def Unicode.PropList.isWhiteSpace (code : UInt32) : Bool

Check if code point has White_Space property from PropList.txt

Equations

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

@[inline]

def Unicode.PropList.isOtherMath (code : UInt32) : Bool

Check if code point has Other_Math property from PropList.txt

Equations

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

@[inline]

def Unicode.PropList.isOtherAlphabetic (code : UInt32) : Bool

Check if code point has Other_Alphabetic property from PropList.txt

Equations

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

@[inline]

def Unicode.PropList.isOtherLowercase (code : UInt32) : Bool

Check if code point has Other_Lowercase property from PropList.txt

Equations

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

@[inline]

def Unicode.PropList.isOtherUppercase (code : UInt32) : Bool

Check if code point has Other_Uppercase property from PropList.txt

Equations

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