@[reducible, inline]

abbrev Unicode.Scripts : Type

Type for Script property data: long script names mapped to code point ranges.

Uses only the Script property (Scripts.txt), not Script_Extensions.

Equations

• Unicode.Scripts = Std.HashMap String.Slice (Array (UInt32 × UInt32))

def Unicode.Scripts.data : Thunk Scripts

Code point ranges for each script, using only the Script property.

Equations

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

def Unicode.Scripts.get (code : UInt32) : Script

Get the Script property value for a code point, Zzzz (Unknown) if unassigned.

Uses only the Script property; see ScriptExtensions.get for Script_Extensions.

Equations

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

@[inline]

def Unicode.Scripts.getTable? (sc : String.Slice) : Option (Array (UInt32 × UInt32))

Get the code point ranges whose Script property is the given script.

Uses only the Script property; see ScriptExtensions.getTable for Script_Extensions.

Equations

• Unicode.Scripts.getTable? sc = do let sc ← some (Unicode.PropertyValueAliases.getLongName! "Script".toSlice sc) Std.HashMap.get? Unicode.Scripts.data.get sc

@[inline]

def Unicode.Scripts.getTable! (sc : String.Slice) : Array (UInt32 × UInt32)

Get the code point ranges whose Script property is the given script.

Uses only the Script property; see ScriptExtensions.getTable for Script_Extensions.

Equations

• Unicode.Scripts.getTable! sc = (Unicode.Scripts.getTable? sc).get!