Skip to main content

Error

Error values and inspection.

The Error type is the argument to throw, parameter of catch. The Error type is opaque.

Error

type Error = Prim.Types.Error

Error values resulting from async computations

ErrorCode

type ErrorCode = Prim.ErrorCode

Error codes (user and system), where module Prim defines:

type ErrorCode = {
// Fatal error.
#system_fatal;
// Transient error.
#system_transient;
// Destination invalid.
#destination_invalid;
// Explicit reject by canister code.
#canister_reject;
// Canister trapped.
#canister_error;
// Future error code (with unrecognized numeric code)
#future : Nat32;
};

reject

let reject : (m : Text) -> Error

Create an error from message m with code #canister_reject.

code

let code : (e : Error) -> ErrorCode

Returns the code of an error e.

message

let message : (e : Error) -> Text

Returns the message of an error e.