EastAsianWidth

EastAsianWidth :: # (opaque)

The Unicode East_Asian_Width scalar property from EastAsianWidth.txt.

This is a Unicode fact, not a terminal-column or glyph-advance policy.

property_name : PropertyName

of_scalar : Scalar -> Value

Look up a scalar's East_Asian_Width value.

This is bounded constant time, does not allocate, and accepts Scalar so surrogate code points cannot receive unassigned-scalar defaults.

short : Value -> Str

long : Value -> Str

alias_count : Value -> U8

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

parse : Str -> Try(Value, AliasError)

fold_runs : Str, state, (state, Run -> state) -> state

iter_runs : Str -> Iter(Run)

Value

:= [Fullwidth, Wide, Ambiguous, Halfwidth, Neutral, Narrow]

is_eq : _

PropertyName : { short : Str, long : Str }

Run : { range : TextRange, value : Value }

AliasError : [UnknownAlias]