Type Members
-
abstract
type
Out <: HList
Abstract Value Members
-
abstract
def
apply(): Out
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Type class witnessing that
Out
is an HList ofNat
numbers ranging fromA
toB
.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 bareNat
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.