def char.of

bend-kit-property@0.4.0.0 · shrink.bend:119

import bend-kit-property@0.4.0.0/shrink.bend as Shrink

import Base

119def char.of(o: Cmp, +c: U32) -> List<&1, Char>:
120  match o:
121    case LT{}:
122      Chr{97} <> char.lift(u32(c), 0)
123    case EQ{}:
124      Nil{}
125    case GT{}:
126      char.lift(u32((c - 97 : U32)), 97)

Uses (7)

Used by (1)

bend-kit-property@0.4.0.0/shrink:char