~/jendhub

def after_write

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

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

101# ---- writing a file ----
102def after_write(r: File & Result<&1, &1, U32 & String, Unit>) -> IO(Unit):
103  match r:
104    case (f, _):
105      File.close(f)

Uses (9)

Used by (1)