def octets.chars

emerging-ezhttp@0.21.0.0 · src/body.bend:36

import Base

36# octets, one character each (each 0..255), from a list of their values
37def octets.chars(bs: List<&2, U32>) -> String:
38  match bs:
39    case []:
40      ""
41    case h <> t:
42      SCon{Char.from_u32(h), octets.chars(t)}