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

def Unicode.instInhabitedPropList.default : PropList

Equations

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

instance Unicode.instInhabitedPropList : Inhabited PropList

Equations

• Unicode.instInhabitedPropList = { default := Unicode.instInhabitedPropList.default }

def Unicode.instReprPropList.repr : PropList → Nat → Std.Format

Equations

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

instance Unicode.instReprPropList : Repr PropList

Equations

• Unicode.instReprPropList = { reprPrec := Unicode.instReprPropList.repr }

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 : PropList

Parsed data from PropList.txt

Equations

• Unicode.PropList.data = { }

@[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.