~/jendhub

def Fs.read.opened

bend-kube-runtime@0.2.0.0 · src/client.bend:87

import bend-kube-runtime@0.2.0.0/src/client.bend as Client
import Base

87def Fs.read.opened(r: Res(File)) -> IO(Res(String)):
88  match r:
89    case Done{f}:
90      IO.bind(File & Res(U32), Res(String), File.size(f), Fs.read.sized)
91    case Fail{e}:
92      IO.pure(Res(String), Fail{e})

Uses (11)

Used by (1)