~/jendhub

def Fs.read.sized

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

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

80def Fs.read.sized(p: File & Res(U32)) -> IO(Res(String)):
81  match p:
82    case (f, Done{+n}):
83      Fs.read.sized.go(f, n, U32.is_eq(n, 0))
84    case (f, Fail{e}):
85      Fs.close_with(String, f, Fail{e})

Uses (11)

Used by (1)