Ex Contract v0.1.2 ExContract.CheckException exception View Source

Custom exception raised by ExContract.check/1 macro.

Link to this section Summary

Types

t()

Functions

exception(msg)

Callback implementation for Exception.exception/1

message(exception)

Callback implementation for Exception.message/1

new(condition_txt, env, msg)

Link to this section Types

Link to this type t() View Source

t() :: %ExContract.CheckException{__exception__: term(), message: String.t()}

Link to this section Functions

Link to this function exception(msg) View Source

Callback implementation for Exception.exception/1.

Link to this function message(exception) View Source

Callback implementation for Exception.message/1.

Link to this function new(condition_txt, env, msg) View Source

new(condition_txt :: String.t(), env :: any(), msg :: String.t()) :: t()