Module unsigned 

Boundable refinement via unsigned values.

Example

use refined::{Refinement, RefinementOps, boundable::unsigned::GreaterThan};

type SizedString = Refinement<String, GreaterThan<3>>;

let ok_string = SizedString::refine("Good".to_string());
assert!(ok_string.is_ok());

let not_ok_string = SizedString::refine("Bad".to_string());
assert!(not_ok_string.is_err());

Structs

Equals

GreaterThan

GreaterThanEqual

LessThan

LessThanEqual

Modulo

Traits

UnsignedBoundable

Types that can be reduced to an unsigned size so that they can be bounded.

Type Aliases

ClosedInterval

ClosedOpenInterval

Divisible

Even

GT

GTE

LT

LTE

NonZero

Odd

OpenClosedInterval

OpenInterval

Zero