Ex Contract v0.1.2 ExContract.EnsuresException exception View Source

Custom exception raised by ExContract.ensures/1 macro.

Link to this section Summary

Link to this section Types

Link to this type t() View Source
t() :: %ExContract.EnsuresException{__exception__: term(), message: String.t()}

Link to this section Functions

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()