View Source API Reference Bond v1.2.0

Design By Contract for Elixir.

Declare @pre/@post contracts on a behaviour's @callbacks and have them enforced on every implementing module.

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

Runtime control over which kinds of contract Bond evaluates.

Exception raised when an @invariant for a struct module is violated.

Exception raised when a function postcondition fails.

Exception raised when a function precondition fails.

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

Property-based testing helpers that drive Bond-contracted functions with random inputs.

Declare @pre/@post contracts on a defprotocol's functions and have them enforced across every implementation — present or future — at the dispatch boundary.

ExUnit helpers for asserting that Bond contract violations are raised.