Struct Modulo

pub struct Modulo<const D: i128, const M: i128> { /* private fields */ }

Checks whether i128 divided by D has modulo M.

Trait Implementations

impl<const D: i128, const M: i128> Predicate<i128> for Modulo<D, M>

type Error = ModuloError

The associated error type which is used to represent checks.

fn check(value: &i128) -> Result<(), Self::Error>

Checks if the value of type T satisfies the predicate.

fn expect(formatter: &mut Formatter<'_>) -> Result

Formats the expectation of the predicate.

fn expect_code(formatter: &mut Formatter<'_>) -> Result

Formats the expectation code of the predicate.

fn is_satisfied(value: &T) -> bool

Checks whether the given value satisfies the predicate.

fn expected() -> Expected<T, Self>

Returns the expectation of the predicate.

fn expected_code() -> ExpectedCode<T, Self>

Returns the expectation code of the predicate.