~/jendhub

def reads.of

ezx@1.11.0.0 · src/io/file.bend:70

import ezx@1.11.0.0/src/io/file.bend as File
import Base

70# the reads the size the host reported allows
71def reads.of(res: Result<&1, &1, U32 & String, U32>) -> Nat:
72  match res:
73    case Fail{_e}:
74      unsized()
75    case Done{bytes}:
76      reads(bytes)

Uses (7)

Used by (1)