~/jendhub

def read_sized

near-v-framework@0.4.0.0 · domain/architecture/system/effs/io.bend:65

import near-v-framework@0.4.0.0/domain/architecture/system/effs/io.bend as Io
import Base

65def read_sized(r: File & Result<&1, &1, U32 & String, U32>) -> IO(String):
66  match r:
67    case (f, n):
68      do IO<String>:
69        got : File & Result<&1, &1, U32 & String, String> <- File.read(f, size_of(n))
70        read_done(got)

Uses (11)

Used by (1)