def write

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

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

import Base

116def write(path: String, text: String) -> IO(Unit):
117  do IO<Unit>:
118    r : Result<&1, &1, U32 & String, File> <- File.open(path, "w")
119    write_opened(r, text)

Uses (10)

Used by (7)