def fresh.dir

ezx@1.11.0.0 · src/ez/prove.bend:44

import ezx@1.11.0.0/src/ez/prove.bend as Prove
import Base
import snap@1.4.0.0/main.bend as R

44# a directory emptied and made again, so nothing a run reads was written by the
45# run before it
46def fresh.dir(+at: String) -> IO(Unit):
47  do IO<Unit>:
48    _rm : String <- R.exec(["rm", "-rf", at])
49    _mk : String <- R.exec(["mkdir", "-p", at])
50    return Unit{}

Uses (7)

Used by (2)