Crate rep

Source
Expand description

Rep is a small tool for checking representation/class invariants

Re-exports§

pub use log::Level::Error;

Macros§

error
Logs a message at the error level.
log_enabled
Determines if a message logged at the specified level in that module will be logged.

Traits§

CheckRep
A trait for representation checking
CustomCheckRep
A trait for adding extra rep-checking functionality to a data structure with CheckRep implemented

Attribute Macros§

check_rep
A macro that auto-inserts calls to check_rep
ensure_rep
A macro that inserts a call to check_rep at the start of given method
require_rep
A macro that inserts a call to check_rep at the start of given method

Derive Macros§

CheckRep
A macro for deriving an implementation of CheckRep