std/core/exn ▲toc

Standard exception (`exnstd/core/exn/exn: (E, V) -> V`) effect.

.

An errorstd/core/exn/error: V -> V type represents a first-class exception result.

Use default value def in case of an error.

Transform an errorstd/core/exn/error: V -> V type to an eitherstd/core/types/either: (V, V) -> V value.

Automatically generated. Tests for the Errorstd/core/exn/Error: forall<a> (exception : exception) -> error<a> constructor of the errorstd/core/exn/error: V -> V type.

Automatically generated. Tests for the Okstd/core/exn/Ok: forall<a> (result : a) -> error<a> constructor of the errorstd/core/exn/error: V -> V type.

Transform an errorstd/core/exn/error: V -> V type to a maybestd/core/types/maybe: V -> V value.

Transform an exception effect to an errorstd/core/exn/error: V -> V type.

Transform an errorstd/core/exn/error: V -> V type back to an exnstd/core/exn/exn: forall<a> (err : error<a>) -> exn a effect.

The exception data type.

Automatically generated. Retrieves the info constructor field of the exceptionstd/core/exn/exception: V type.

Automatically generated. Retrieves the message constructor field of the exceptionstd/core/exn/exception: V type.

Show the exception message.

Throw an exception

Call the final ctl throw-exnstd/core/exn/throw-exn: forall<a> (exn : exception) -> exn a operation of the effect exnstd/core/exn/exn: (E, V) -> V.

Exception information.

Generic error.

Automatically generated. Tests for the ExnAssertstd/core/exn/ExnAssert: exception-info constructor of the exception-infostd/core/exn/exception-info: V type.

Automatically generated. Tests for the ExnErrorstd/core/exn/ExnError: exception-info constructor of the exception-infostd/core/exn/exception-info: V type.

Automatically generated. Tests for the ExnInternalstd/core/exn/ExnInternal: (name : string) -> exception-info constructor of the exception-infostd/core/exn/exception-info: V type.

Automatically generated. Tests for the ExnPatternstd/core/exn/ExnPattern: (location : string, definition : string) -> exception-info constructor of the exception-infostd/core/exn/exception-info: V type.

Automatically generated. Tests for the ExnRangestd/core/exn/ExnRange: exception-info constructor of the exception-infostd/core/exn/exception-info: V type.

Automatically generated. Tests for the ExnSystemstd/core/exn/ExnSystem: (errno : int) -> exception-info constructor of the exception-infostd/core/exn/exception-info: V type.

Automatically generated. Tests for the ExnTodostd/core/exn/ExnTodo: exception-info constructor of the exception-infostd/core/exn/exception-info: V type.

Exceptions

Operations:

final ctl throw-exn
final ctl throw-exnstd/core/exn/throw-exn: forall<a> (exn : exception) -> exn a

.

Transform an errorstd/core/exn/error: V -> V type back to an exnstd/core/exn/exn: forall<a> (err : error<a>) -> exn a effect.

Catch any exception raised in action and handle it. Use on-exn or on-exitstd/core/exn/on-exit: forall<a,e> (hndler : () -> e (), action : () -> e a) -> e a when appropriate.

Deprecated; use try instead. Catch an exception raised by throwstd/core/exn/throw: forall<a> (message : string, info : ? exception-info) -> exn a and handle it. Use on-exn or on-exitstd/core/exn/on-exit: forall<a,e> (hndler : () -> e (), action : () -> e a) -> e a when appropriate.

Raise a pattern match exception. This is function is used internally by the compiler to generate error messages on pattern match failures.

Set a hndler that is always called when the action finishes (either normally or with an exception).

Throw an exception with a specified message.