Process
eff Process
SourceAn effect used to start a process outside the JVM.
Operations
def exec(cmd: String, args: List[String]): Unit
SourceImmediately executes the command cmd
passing the arguments args
.
Definitions
def run(f: Unit -> a \ ef): a \ (ef & (~Process)) + Exec
SourceRuns the Process
effect of the given function f
.
In other words, re-interprets the Process
effect using the Exec
effect.