~/jendhub

def file.reads.of

snap@1.4.0.0 · src/file.bend:69

import snap@1.4.0.0/src/file.bend as File
import Base

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

Uses (7)

Used by (1)