Module i32

Predicates for i32 values.

Structs

Equal

Checks whether the given value is equal to N.

EqualError

Represents errors that occur when the provided i32 is not equal to other.

Greater

Checks whether the given value is greater than N.

GreaterError

Represents errors that occur when the provided i32 is less than or equal to other.

GreaterOrEqual

Checks whether the given value is greater than or equal to N.

GreaterOrEqualError

Represents errors that occur when the provided i32 is less than other.

Less

Checks whether the given value is less than N.

LessError

Represents errors that occur when the provided i32 is greater than or equal to other.

LessOrEqual

Checks whether the given value is less than or equal to N.

LessOrEqualError

Represents errors that occur when the provided i32 is greater than other.

Modulo

Checks whether i32 divided by D has modulo M.

ModuloError

Represents errors that occur when the provided i32 divided by divisor does not equal modulo.

NotEqual

Checks whether the given value is not equal to N.

NotEqualError

Represents errors that occur when the provided i32 is equal to other.

Type Aliases

Closed

Represents [M, N] intervals.

ClosedOpen

Represents [M, N) intervals.

Divisible

Checks whether the given value is divisible by D.

Even

Checks whether the given value is even.

Negative

Checks whether the given value is negative.

NonNegative

Checks whether the given value is non-negative (positive or zero).

NonPositive

Checks whether the given value is non-positive (negative or zero).

NonZero

Checks whether the given value is not equal to zero (0).

Odd

Checks whether the given value is odd.

Open

Represents (M, N) intervals.

OpenClosed

Represents (M, N] intervals.

Positive

Checks whether the given value is positive.

Zero

Checks whether the given value is equal to zero (0).