Exit

eff ExitSource

An effect used to exit the JVM.

Operations

def exit(exitCode: Int32): Void Source

Immediately exits the JVM with the specified exitCode.

Definitions

def run(f: Unit -> a \ ef): a \ (ef & (~Exit)) + Sys Source

Runs the Exit effect of the given function f.

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

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