Ex Contract v0.1.0 ExContract.CheckException exception View Source

Custom exception raised by ExContract.Contract.check macro.

Link to this section Summary

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
exception(String.t) :: Exception.t
exception(keyword) :: Exception.t

Callback implementation for Exception.exception/1.

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