def bytes.string

gralha-bytes@0.1.0.1 · bytes.bend:73

import gralha-bytes@0.1.0.1/bytes.bend as Bytes
import Base

73def bytes.string(s: String, acc: Bytes) -> Bytes:
74  match s:
75    case SNil{}: acc
76    case SCon{Chr{c}, t}: bytes.string(t, bytes.push(acc, c))

Uses (4)

Used by (0)

No other definition uses this definition.