def read.of

bend-kit-archive@0.5.1.0 · archive.bend:361

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

361def read.of(r: Bytes.Bytes & Result<&1, &1, U32 & String, List<&2, Header>>, +max: U32) -> IO(Result<&1, &1, U32 & String, List<&1, Entry>>):
362  (input, res) = r
363  match res:
364    case Fail{e}:
365      IO.pure(Result<&1, &1, U32 & String, List<&1, Entry>>, Fail{e})
366    case Done{xs}:
367      run(xs, (input, Done{(max, Nil{})}))