Str.text.case.apply: def of ezsys@0.1.0.0 Import: import ezsys@0.1.0.0/src/str.bend as Str Lines 253-261 of ezsys@0.1.0.0/src/str.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/str.bend&start_line=253&end_line=261 import Base # the code point the first rule that covers it maps it to; itself when none # does def text.case.apply(rules: List<&2, Rule>, +cp: U32) -> U32: match rules: case Nil{}: cp case +r <> rest: text.case.pick(text.case.covers(r, cp), r, cp, _u => text.case.apply(rest, cp)) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=Rule https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.case.covers https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.case.pick