structure Unicode.PropList : Type

• 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

• Unicode.instInhabitedPropList = { default := { whiteSpace := default, otherMath := default, otherAlphabetic := default, otherLowercase := default, otherUppercase := default } }

instance Unicode.instReprPropList : Repr Unicode.PropList

Equations

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

def Unicode.PropList.txt : String

Equations

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

def Unicode.PropList.data : Unicode.PropList

Equations

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

@[inline]

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

Check if code point has White_Space property

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

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

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

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

Equations

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