~/jendhub

def read.open

cswap-bend-cli@0.1.0.0 · fs.bend:72

import cswap-bend-cli@0.1.0.0/fs.bend as Fs
import Base

72def read.open(r: Res(File)) -> IO(Res(String)):
73  match r:
74    case Fail{e}:
75      IO.pure(Res(String), Fail{e})
76    case Done{f}:
77      IO.bind(File & Res(U32), Res(String), File.size(f), read.sized)

Uses (11)

Used by (1)