Ex Contract v0.1.0 ExContract.EnsuresException exception View Source
Custom exception raised by ExContract.Contract.ensures
macro.
Link to this section Summary
Functions
Callback implementation for Exception.exception/1
Callback implementation for Exception.message/1
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
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
.