def bytes.codes

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

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

import Base

145def bytes.codes(s: String) -> List<&2, U32>:
146  match s:
147    case SNil{}:
148      Nil{}
149    case SCon{Chr{x}, t}:
150      x <> bytes.codes(t)

Uses (4)

Used by (1)

bend-kit-property@0.4.0.0/shrink:bytes