Struct InRange 

pub struct InRange<const MIN: i64, const MAX: i64>;

Accepts integers within the inclusive range MIN..=MAX.

Implemented for the integer types that convert losslessly to i64 (i8/i16/i32/i64, u8/u16/u32). The bounds are i64 const generics, so the rule covers any range expressible in an i64.

Examples

use type_lib::rules::InRange;
use type_lib::Validator;

// A percentage: 0 to 100 inclusive.
assert!(InRange::<0, 100>::validate(&50_u8).is_ok());
assert!(InRange::<0, 100>::validate(&150_i32).is_err());

// Ranges may be negative.
assert!(InRange::<-10, 10>::validate(&-5_i16).is_ok());

Trait Implementations

impl<const MIN: i64, const MAX: i64> Validator<i16> for InRange<MIN, MAX>

type Error = ValidationError

The failure produced when a value violates the rule.

fn validate(value: &i16) -> Result<(), Self::Error>

Checks value against the rule.

impl<const MIN: i64, const MAX: i64> Validator<i32> for InRange<MIN, MAX>

type Error = ValidationError

The failure produced when a value violates the rule.

fn validate(value: &i32) -> Result<(), Self::Error>

Checks value against the rule.

impl<const MIN: i64, const MAX: i64> Validator<i64> for InRange<MIN, MAX>

type Error = ValidationError

The failure produced when a value violates the rule.

fn validate(value: &i64) -> Result<(), Self::Error>

Checks value against the rule.

impl<const MIN: i64, const MAX: i64> Validator<i8> for InRange<MIN, MAX>

type Error = ValidationError

The failure produced when a value violates the rule.

fn validate(value: &i8) -> Result<(), Self::Error>

Checks value against the rule.

impl<const MIN: i64, const MAX: i64> Validator<u16> for InRange<MIN, MAX>

type Error = ValidationError

The failure produced when a value violates the rule.

fn validate(value: &u16) -> Result<(), Self::Error>

Checks value against the rule.

impl<const MIN: i64, const MAX: i64> Validator<u32> for InRange<MIN, MAX>

type Error = ValidationError

The failure produced when a value violates the rule.

fn validate(value: &u32) -> Result<(), Self::Error>

Checks value against the rule.

impl<const MIN: i64, const MAX: i64> Validator<u8> for InRange<MIN, MAX>

type Error = ValidationError

The failure produced when a value violates the rule.

fn validate(value: &u8) -> Result<(), Self::Error>

Checks value against the rule.