~/jendhub

def create

cswap-bend-cli@0.1.0.0 · fs/write.bend:13

import cswap-bend-cli@0.1.0.0/fs/write.bend as Write
import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs

13# Create an empty file (a no-op on an existing one).
14def create(path: String) -> IO(Fs.Res(Unit)):
15  IO.bind(Fs.Res(File), Fs.Res(Unit), File.open(path, "a"), create.done)

Uses (8)

Used by (1)