def sys.read.sized

ezsys@0.1.0.0 · src/sys.bend:81

import Base
import ezsys@0.1.0.0/src/step.bend as Step

81# the file's size decides the chunk; a failed size is the answer
82def sys.read.sized(
83  pair: File & Result<&1, &1, U32 & String, U32>
84) -> IO(Result<&1, &1, U32 & String, String>):
85  (file, res) = pair
86  match res:
87    case Fail{error}:
88      sys.read.end(file, Fail{error})
89    case Done{size}:
90      sys.read.go(sys.read.fuel(), file, "", Step.read.chunk(size))