Exit

eff ExitSource

An effect used to exit the JVM.

Operations

def exit(exitCode: Int32): Void \ Exit Source

Immediately exits the JVM with the specified exitCode.

def handle(f: a -> b \ ef): a -> b \ (ef - Exit) + IO Source

Handles the Exit effect of the given function f.

In other words, re-interprets the Exit effect using the IO effect.

Note: The returned function can still return normally if exit is never called by f.

def runWithIO(f: Unit -> a \ ef): a \ (ef - Exit) + IO Source

Runs the Exit effect of the given function f.

In other words, re-interprets the Exit effect using the IO effect.

Note: This function can still return normally if exit is never called by f.