Crate runtime_contracts

Structured, understandable runtime contracts.

This crate wishes to make it easier for practioners building software to use and understand Programmig-by-Contract. The philosophy is directly inspired by the Design-by-Contract (DbC) concept expressed by noted Computer Scientist, Dr. Betrand Meyer when designing the Eiffel programming language in 1986.

Additionally, much thanks goes to the contracts crate which implements contacts as procedural macros. Definitely check it out!

While many languages have contract libraries, many opt to compile them only in debug and test builds. The reasoning behind this choice seems to be that they don’t wish to incur a performance penalty in production. A notable exception is Racket’s contracts module, itself a work of art. In this library, we eschew this concern in the name of both runtime safety and program correctness.

Modules

• error
  This module contains the crate’s own error type. It can hold other error-related data/logic as needed.

Functions

• ensures
  Checks an arbitrary condition expressed in a predicate run against a given value. If the condition is satisfied(read: if the predicate evaluates to true) this function yields the value passed to it. Ergo, it is most useful for checking return values at the end of a function. You must provide an error message in case of failure.
• requires
  Checks an arbitrary condition expressed by the given predicate. This is most useful for validating arguments at the start of a function. You must provide an error message, so it often makes sense to call requires once for each argument. This allows for passing more specific error messages back to the caller.

Type Aliases

• RuntimeContractFunction