DerivedCoreProperties

Properties of file DerivedCoreProperties.

structure Unicode.DerivedCoreProperty : Type

• name : String
• properties : Array (UInt32 × Option UInt32)

instance Unicode.instToStringDerivedCoreProperty : ToString DerivedCoreProperty

Equations

• Unicode.instToStringDerivedCoreProperty = { toString := fun (s : Unicode.DerivedCoreProperty) => toString s.name ++ toString " " ++ toString s.properties }

def Unicode.DerivedCoreProperties.txt : String

Equations

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

def Unicode.DerivedCoreProperties.data : Array DerivedCoreProperty

Equations

• Unicode.DerivedCoreProperties.data = #[]

def Unicode.rangesOfDerivedCoreProperty (s : String) : Except String (Array (NonemptyInterval Char))

Equations

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

def Unicode.DerivedCoreProperty.names : Array String

Equations

• Unicode.DerivedCoreProperty.names = Array.map (fun (x : Unicode.DerivedCoreProperty) => x.name) Unicode.DerivedCoreProperties.data