def text

lawful-fields@0.1.1.0 · defs.bend:143

import Base

143# Bytes as text and back: one Char per byte (Chr{b}), with no decoding (the
144# way framebender reads files). For text whose characters are all below 256.
145def text(xs: List<&2, U32>) -> String:
146  match xs:
147    case Nil{}:
148      SNil{}
149    case Con{x, t}:
150      SCon{Chr{x}, text(t)}