Expand description
The refining-length prelude.
Structs§
- Length
Equal - Checks whether the value has length equal to
N. - Length
Greater - Checks whether the value has length greater than
N. - Length
Greater OrEqual - Checks whether the value has length greater than or equal to
N. - Length
Less - Checks whether the value has length less than
N. - Length
Less OrEqual - Checks whether the value has length less than or equal to
N. - Length
Modulo - Checks whether the given value has length that has modulo
Mwhen divided byD. - Length
NotEqual - Checks whether the value has length not equal to
N.
Traits§
- HasLength
- Represents types that have length defined for their values.
Type Aliases§
- Length
Closed - Represents
[M, N]intervals. - Length
Closed Open - Represents
[M, N)intervals. - Length
Divisible - Checks whether the given value length is divisible by
D. - Length
Even - Checks whether the given value length is even.
- Length
NonZero - Checks whether the given value has non-zero length.
- Length
Odd - Checks whether the given value length is odd.
- Length
Open - Represents
(M, N)intervals. - Length
Open Closed - Represents
(M, N]intervals. - Length
Zero - Checks whether the given value has zero length.