Packages

trait BoundedRange[A <: Bound, B <: Bound] extends DepFn0 with Serializable

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.

Linear Supertypes
Serializable, Serializable, DepFn0, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BoundedRange
  2. Serializable
  3. Serializable
  4. DepFn0
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. abstract type Out <: HList
    Definition Classes
    BoundedRange → DepFn0

Abstract Value Members

  1. abstract def apply(): Out
    Definition Classes
    DepFn0