WordBreakProperty

Properties of file WordBreakProperty

structure Unicode.WordBreakProperty : Type

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

instance Unicode.instToStringWordBreakProperty : ToString Unicode.WordBreakProperty

Equations

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

def Unicode.WordBreakProperty.txt : String

Equations

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

def Unicode.WordBreakProperty.data : Array Unicode.WordBreakProperty

Equations

• Unicode.WordBreakProperty.data = #[]

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

Equations

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