def read_text.opened

mylsm-lsm-store@0.6.0.1 · src/Fs.bend:508

import Base

508def read_text.opened(
509  opened: Result<&1, &1, U32 & String, File>
510) -> IO(Result<&1, &1, U32 & String, String>):
511  match opened:
512    case Fail{error}: IO.pure(Result<&1, &1, U32 & String, String>, Fail{error})
513    case Done{file}:
514      do IO<Result<&1, &1, U32 & String, String>>:
515        pair : File & Result<&1, &1, U32 & String, String> <-
516          File.read(file, U32.from_nat(4294967295n))
517        read_text.closed(pair)