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
Outis an HList ofNatnumbers ranging fromAtoB.This differs from the
Rangetype class in that it accepts another type class,Bound, at both the start and end of the range (instead of bareNattypes). 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.