def w8s.of_list.go

bend-osdev-bytes@0.1.1.0 · bytes.bend:461

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base

461def w8s.of_list.go(xs: List<&2, U32>, acc: List<&2, OctByte>) -> List<&2, OctByte>:
462  match xs:
463    case Nil{}:
464      acc
465    case Con{h, t}:
466      w8s.of_list.go(t, Con{oct.of(h), acc})

Uses (4)

Used by (3)