Script

Script :: # (opaque)

GENERATED public Unicode 17.0.0 Script/Script_Extensions API from PropertyValueAliases.txt under UAX #24 revision 39. ## Run python3 scripts/unicode_data.py generate; representation IDs and bit ordering are private. ## ScriptSet traversal and comparison use canonical short-alias lexicographic order. ##

of_scalar : Scalar -> Value

extensions_of_scalar : Scalar -> ScriptSet

from_alias : Str -> Try(Value, [UnrecognizedScriptAlias])

short_alias : Value -> Str

long_alias : Value -> Str

alias_count : Value -> U8

alias_at : Value, U8 -> [Some(Str), None]

is_common : Value -> Bool

is_inherited : Value -> Bool

is_unknown : Value -> Bool

is_explicit : Value -> Bool

singleton : Value -> ScriptSet

contains : ScriptSet, Value -> Bool

len : ScriptSet -> U64

intersection : ScriptSet, ScriptSet -> [Some(ScriptSet), None]

explicit_members : ScriptSet -> [Some(ScriptSet), None]

is_eq_set : ScriptSet, ScriptSet -> Bool

compare : ScriptSet, ScriptSet -> [Before, Equal, After]

Lexicographic comparison in stable canonical short-alias order.

at : ScriptSet, U8 -> [Some(Value), None]

Member by stable canonical short-alias order.

walk : ScriptSet, state, (state, Value -> state) -> state

Visit members in stable canonical short-alias order without allocating.

to_list : ScriptSet -> List(Value)

Materialize members in stable canonical short-alias order.

Value

:= [Adlm, Aghb, Ahom, Arab, Armi, Armn, Avst, Bali, Bamu, Bass, Batk, Beng, Berf, Bhks, Bopo, Brah, Brai, Bugi, Buhd, Cakm, Cans, Cari, Cham, Cher, Chrs, Copt, Cpmn, Cprt, Cyrl, Deva, Diak, Dogr, Dsrt, Dupl, Egyp, Elba, Elym, Ethi, Gara, Geor, Glag, Gong, Gonm, Goth, Gran, Grek, Gujr, Gukh, Guru, Hang, Hani, Hano, Hatr, Hebr, Hira, Hluw, Hmng, Hmnp, Hrkt, Hung, Ital, Java, Kali, Kana, Kawi, Khar, Khmr, Khoj, Kits, Knda, Krai, Kthi, Lana, Laoo, Latn, Lepc, Limb, Lina, Linb, Lisu, Lyci, Lydi, Mahj, Maka, Mand, Mani, Marc, Medf, Mend, Merc, Mero, Mlym, Modi, Mong, Mroo, Mtei, Mult, Mymr, Nagm, Nand, Narb, Nbat, Newa, Nkoo, Nshu, Ogam, Olck, Onao, Orkh, Orya, Osge, Osma, Ougr, Palm, Pauc, Perm, Phag, Phli, Phlp, Phnx, Plrd, Prti, Rjng, Rohg, Runr, Samr, Sarb, Saur, Sgnw, Shaw, Shrd, Sidd, Sidt, Sind, Sinh, Sogd, Sogo, Sora, Soyo, Sund, Sunu, Sylo, Syrc, Tagb, Takr, Tale, Talu, Taml, Tang, Tavt, Tayo, Telu, Tfng, Tglg, Thaa, Thai, Tibt, Tirh, Tnsa, Todr, Tols, Toto, Tutg, Ugar, Vaii, Vith, Wara, Wcho, Xpeo, Xsux, Yezi, Yiii, Zanb, Zinh, Zyyy, Zzzz]

is_eq : _

ScriptSet

:= { word0 : U64, word1 : U64, word2 : U64, length : U8 }