Module length

Predicates based on length.

Structs

Eq

Checks whether the given value has length equal to N.

EqError

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

Ge

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

GeError

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

Gt

Checks whether the given value has length greater than N.

GtError

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

Le

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

LeError

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

Lt

Checks whether the given value has length less than N.

LtError

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

Mod

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

ModError

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

Ne

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

NeError

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.

Div

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.