View Source API Reference Bond v0.8.3

Modules

Bond

Design By Contract for Elixir.

Bond.CheckError

Exception raised when a Bond.check/2 assertion fails.

Bond.PostconditionError

Exception raised when a function postcondition fails.

Bond.PreconditionError

Exception raised when a function precondition fails.

Bond.Predicates

Predicate functions and operators that are useful in assertions and contract specifications.