Exit

eff ExitSource

Effect for exiting the JVM.

Effect for exiting the JVM, and its functions.

Default Handler

runWithIO

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.

@DefaultHandler

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.