Crate refinement

Convenient creation of type-safe refinement types.

Structs

Refinement

A Refinement type ensures all values of a particular type satisfy a Predicate.

Traits

Predicate

A Predicate tests if a value satisfies a particular refinement type.