def read_done

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

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

import Base

58def read_done(r: File & Result<&1, &1, U32 & String, String>) -> IO(String):
59  match r:
60    case (f, got):
61      do IO<String>:
62        File.close(f)
63        return text_of(got)

Uses (12)

Used by (2)