~/jendhub

def read_text.closed

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

import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
import Base

499def read_text.closed(
500  pair: File & Result<&1, &1, U32 & String, String>
501) -> IO(Result<&1, &1, U32 & String, String>):
502  match pair:
503    case (file, result):
504      do IO<Result<&1, &1, U32 & String, String>>:
505        _closed : Unit <- File.close(file)
506        return result

Uses (11)

Used by (1)