~/jendhub

def text.case.multi

ezsys@0.1.0.0 · src/str.bend:275

import ezsys@0.1.0.0/src/str.bend as Str
import Base

275# the text a code point that maps to more than one maps to
276def text.case.multi(ms: List<&2, Multi>, +cp: U32) -> Maybe<&2, String>:
277  match ms:
278    case Nil{}:
279      None{}
280    case Multi{+from, +to} <> rest:
281      text.case.found(U32.is_eq(from, cp), to,
282        _u => text.case.multi(rest, cp))

Uses (7)

Used by (1)