Process

eff ProcessSource

An effect used to start a process outside the JVM.

Operations

def exec(cmd: String, args: List[String]): Unit Source

Immediately executes the command cmd passing the arguments args.

Definitions

def handle(f: a -> b \ ef): a -> b \ (ef & (~Process)) + Exec + IO Source

Handles the Process effect of the given function f.

In other words, re-interprets the Process effect using the Exec effect.

def runWithIO(f: Unit -> a \ ef): a \ (ef & (~Process)) + Exec + IO Source

Runs the Process effect of the given function f.

In other words, re-interprets the Process effect using the Exec effect.