~/jendhub

def read_opened

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

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

72def read_opened(r: Result<&1, &1, U32 & String, File>) -> IO(String):
73  match r:
74    case Done{f}:
75      do IO<String>:
76        n : File & Result<&1, &1, U32 & String, U32> <- File.size(f)
77        read_sized(n)
78    case Fail{_}:
79      IO.pure(String, "")

Uses (10)

Used by (1)