View Source API Reference Bond v0.18.0

Design By Contract for Elixir.

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

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.

ExUnit helpers for asserting that Bond contract violations are raised.