~/jendhub

def write_text.closed

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

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

473def write_text.closed(
474  pair: File & Result<&1, &1, U32 & String, Unit>
475) -> IO(Result<&1, &1, U32 & String, Unit>):
476  match pair:
477    case (file, result):
478      do IO<Result<&1, &1, U32 & String, Unit>>:
479        _closed : Unit <- File.close(file)
480        return result

Uses (11)

Used by (1)