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

• otherDefaultIgnorableCodePoint : Array (UInt32 × Option UInt32)

  property Other_Default_Ignorable_Code_Point

• prependedConcatenationMark : Array (UInt32 × Option UInt32)

  property Prepended_Concatenation_Mark

• variationSelector : Array (UInt32 × Option UInt32)

  property Variation_Selector

• deprecated : Array (UInt32 × Option UInt32)

  property Deprecated

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.isNoncharacterCodePoint (code : UInt32) : Bool

Check if code point has Noncharacter_Code_Point property from PropList.txt

Equations

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

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

@[inline]

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

Check if code point has Other_Default_Ignorable_Code_Point property from PropList.txt

Equations

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

@[inline]

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

Check if code point has Prepended_Concatenation_Mark property from PropList.txt

Equations

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

@[inline]

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

Check if code point has Variation_Selector property from PropList.txt

Equations

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

@[inline]

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

Check if code point has Deprecated property from PropList.txt

Equations

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