def Unicode.UnicodeData.txt : String

Raw string from file UnicodeData.txt

Equations

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

def Unicode.UnicodeData.data : Array Unicode.UnicodeData

Parsed data from UnicodeData.txt

Equations

• Unicode.UnicodeData.data = #[]

def Unicode.getHangulSyllableName? (code : UInt32) : Option String

Get Hangul syllable name

Equations

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

def Unicode.getHangulSyllableName?.JamoL : Array String

Extracted from Jamo.txt

Equations

• Unicode.getHangulSyllableName?.JamoL = #["G", "GG", "N", "D", "DD", "R", "M", "B", "BB", "S", "SS", "", "J", "JJ", "C", "K", "T", "P", "H"]

def Unicode.getHangulSyllableName?.JamoV : Array String

Extracted from Jamo.txt

Equations

• Unicode.getHangulSyllableName?.JamoV = #["A", "AE", "YA", "YAE", "EO", "E", "YEO", "YE", "O", "WA", "WAE", "OE", "YO", "U", "WEO", "WE", "WI", "YU", "EU", "YI", "I"]

def Unicode.getHangulSyllableName?.JamoT : Array String

Extracted from Jamo.txt

Equations

• Unicode.getHangulSyllableName?.JamoT = #["", "G", "GG", "GS", "N", "NJ", "NH", "D", "L", "LG", "LM", "LB", "LS", "LT", "LP", "LH", "M", "B", "BS", "S", "SS", "NG", "J", "C", "K", "T", "P", "H"]

def Unicode.getHangulSyllableName! (code : UInt32) : String

Get Hangul syllable name

Equations

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

def Unicode.getUnicodeData? (code : UInt32) : Option Unicode.UnicodeData

Get code point data from UnicodeData.txt

Equations

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

partial def Unicode.getUnicodeData?.find (code : UInt32) (lo : Nat) (hi : Nat) : Nat

Binary search

def Unicode.getUnicodeData! (code : UInt32) : Unicode.UnicodeData

Get code point data from UnicodeData.txt

Equations

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

def Unicode.getUnicodeData (char : Char) : Unicode.UnicodeData

Get character data from UnicodeData.txt

Equations

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