View Source API Reference Bond v1.7.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.

Functions, operators, and quantifiers for building the boolean expressions used in contracts and assertions.

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.

Opt-in contract refinement for a defimpl block.

ExUnit helpers for asserting that Bond contract violations are raised.