Crate origin 

Origin

Every value is either in the interior or at a boundary. The compiler knows which. One pattern. Every domain.

Structs

Chain

The residual chain: every step of how you got there.

ChainEntry

A step in the residual chain: what was computed at each layer.

Contradicted

DivisionByZero

GenericBoundary

Hallucinated

Imaginary

ModelUncertain

Overflow

Underflow

Enums

Value

The core type. Interior or Boundary. One distinction. Every domain.

Traits

BoundaryKind

A boundary reason. Every domain defines its own.

Functions

divide

Division that catches exact zero. A demonstration of Value<T, B>.

sqrt

Square root that catches negative input. A demonstration of Value<T, B>.

Attribute Macros

boundary_check

Enforce boundary handling at compile time.

Derive Macros

BoundaryKind

Derive the BoundaryKind trait for a struct or enum.