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§
- Check
Rep - A trait for representation checking
- Custom
Check Rep - 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§
- Check
Rep - A macro for deriving an implementation of
CheckRep