Type class witnessing that Out
is an HList of Nat
numbers ranging from
A
to B
.
Type class witnessing that Out
is an HList of Nat
numbers ranging from
A
to B
.
This differs from the Range
type class in that it accepts another
type class, Bound
, at both the start and end of the range (instead of
bare Nat
types). This allows the flexibility to specify inclusive or
exclusive range boundaries for either end of the range.
Reversed ranges are also possible (i.e. starting the range with a larger number than it ends with), and results in an HList that counts from the beginning of the range _down to_ the end of the range.
Type class witnessing that C
is the difference of A
and B
.
Type class witnessing that Out
is the quotient of A
and B
.
Type class witnessing that A
is greater than B
.
Type class witnessing that A
is greater than or equal to B
.
Type class for calculating the Least Common Multiple
Type class witnessing that A
is less than B
.
Type class witnessing that A
is less than or equal to B
.
Type class implementing Euclidean algorithm for calculating the GCD
Type class witnessing that Out
is A
max B
.
Type class witnessing that Out
is A
min B
.
Typeclass witnessing that Out
is A
mod B
.
Type class witnessing that Out
is X
raised to the power N
.
Type class witnessing that B
is the predecessor of A
.
Type class witnessing that C
is the product of A
and B
.
Type class witnessing that Out
is range A
to B
, inclusive of A
and exclusive of B
.
Type class witnessing that C
is the sum of A
and B
.
Type class supporting conversion of type-level Nats to value level Ints.