Module length

Predicates based on length.

Structs

Equal

Checks whether the given value has length equal to N.

EqualError

Represents errors that occur when the provided value has length not equal to some bound.

Greater

Checks whether the given value has length greater than N.

GreaterError

Represents errors that occur when the provided value has length less than or equal to some bound.

GreaterOrEqual

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

GreaterOrEqualError

Represents errors that occur when the provided value has length less than some bound.

Less

Checks whether the given value has length less than N.

LessError

Represents errors that occur when the provided value has length greater than or equal to some bound.

LessOrEqual

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

LessOrEqualError

Represents errors that occur when the provided value has length greater than some bound.

Modulo

Checks whether the given value length divided by D has modulo M.

ModuloError

Represents errors when the provided value has length divided by divisor not equal to modulo.

NotEqual

Checks whether the given value has length not equal to N.

NotEqualError

Represents errors that occur when the provided value has length equal to some bound.

Traits

HasLength

Represents types that have length defined for their values.

Type Aliases

Closed

Represents [M, N] intervals.

ClosedOpen

Represents [M, N) intervals.

Divisible

Checks whether the given value length is divisible by D.

Even

Checks whether the given value length is even.

NonZero

Checks whether the given value has non-zero length.

Odd

Checks whether the given value length is odd.

Open

Represents (M, N) intervals.

OpenClosed

Represents (M, N] intervals.

Zero

Checks whether the given value has zero length.