Packages

object BoundedRange extends Serializable

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

Type Members

  1. type AuxF[A <: Bound, B <: Bound, Out0 <: HList] = BoundedRange[A, B] { type Out = Out0 }
  2. trait Bound extends DepFn0 with Serializable
  3. trait Exclusive[A] extends Bound

    Type class witnessing that the Nat A is the exclusive bound of a range, i.e.

    Type class witnessing that the Nat A is the exclusive bound of a range, i.e. the beginning or end of a range that does not include A.

  4. trait Inclusive[A] extends Bound

    Type class witnessing that the Nat A is the inclusive bound of a range, i.e.

    Type class witnessing that the Nat A is the inclusive bound of a range, i.e. the beginning or end of a range that includes A.

  5. trait SoftInclusive[A] extends Bound

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply[A <: Bound, B <: Bound](implicit range: BoundedRange[A, B]): AuxF[A, B, Out]
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  7. implicit def closed[A <: Nat, B <: Nat, Sub <: HList, Rev <: HList](implicit w: Aux[Succ[B]], subRange: AuxF[Inclusive[A], SoftInclusive[B], Sub], reverse: hlist.ReversePrepend.Aux[Sub, ::[Succ[B], HNil], Rev]): AuxF[Inclusive[A], Inclusive[Succ[B]], Rev]
  8. implicit def closedReverse[A <: Nat, B <: Nat, Sub <: HList](implicit wA: Aux[Succ[A]], subRange: AuxF[Inclusive[B], SoftInclusive[A], Sub]): AuxF[Inclusive[Succ[A]], Inclusive[B], ::[Succ[A], Sub]]
  9. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  10. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  13. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  15. implicit def leftClosedRightOpen[A <: Nat, B <: Nat, Sub <: HList, Rev <: HList](implicit subRange: AuxF[Inclusive[A], SoftInclusive[B], Sub], reverse: Aux[Sub, Rev]): AuxF[Inclusive[A], Exclusive[Succ[B]], Rev]
  16. implicit def leftClosedRightOpenReverse[A <: Nat, B <: Nat, Sub <: HList](implicit wA: Aux[Succ[A]], subRange: AuxF[Exclusive[B], SoftInclusive[A], Sub]): AuxF[Inclusive[Succ[A]], Exclusive[B], ::[Succ[A], Sub]]
  17. implicit def leftClosedRightSoft[A <: Nat, B <: Nat, Sub <: HList](implicit w: Aux[Succ[B]], subRange: AuxF[Inclusive[A], SoftInclusive[B], Sub]): AuxF[Inclusive[A], SoftInclusive[Succ[B]], ::[Succ[B], Sub]]
  18. implicit def leftOpenRightClosed[A <: Nat, B <: Nat, Sub <: HList, Rev <: HList](implicit w: Aux[Succ[B]], subRange: AuxF[Exclusive[A], SoftInclusive[B], Sub], reverse: hlist.ReversePrepend.Aux[Sub, ::[Succ[B], HNil], Rev]): AuxF[Exclusive[A], Inclusive[Succ[B]], Rev]
  19. implicit def leftOpenRightClosedReverse[A <: Nat, B <: Nat, Sub <: HList](implicit subRange: AuxF[Inclusive[B], SoftInclusive[A], Sub]): AuxF[Exclusive[Succ[A]], Inclusive[B], Sub]
  20. implicit def leftOpenRightSoft[A <: Nat, B <: Nat, Sub <: HList](implicit w: Aux[Succ[B]], subRange: AuxF[Exclusive[A], SoftInclusive[B], Sub]): AuxF[Exclusive[A], SoftInclusive[Succ[B]], ::[Succ[B], Sub]]
  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. implicit def nilClosed[A <: Nat](implicit w: Aux[A]): AuxF[Inclusive[A], Inclusive[A], ::[A, HNil]]
  23. implicit def nilLeftClosedRightOpen[A <: Nat](implicit w: Aux[A]): AuxF[Inclusive[A], Exclusive[A], ::[A, HNil]]
  24. implicit def nilLeftClosedRightSoft[A <: Nat](implicit w: Aux[A]): AuxF[Inclusive[A], SoftInclusive[A], ::[A, HNil]]
  25. implicit def nilLeftOpenRightClosed[A <: Nat](implicit w: Aux[A]): AuxF[Exclusive[A], Inclusive[A], ::[A, HNil]]
  26. implicit def nilLeftOpenRightSoft[A <: Nat]: AuxF[Exclusive[A], SoftInclusive[A], HNil]
  27. implicit def nilOpen[A <: Nat](implicit w: Aux[A]): AuxF[Exclusive[A], Exclusive[A], HNil]
  28. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  30. implicit def open[A <: Nat, B <: Nat, Sub <: HList, Rev <: HList](implicit subRange: AuxF[Exclusive[A], SoftInclusive[B], Sub], reverse: Aux[Sub, Rev]): AuxF[Exclusive[A], Exclusive[Succ[B]], Rev]
  31. implicit def openReverse[A <: Nat, B <: Nat, Sub <: HList](implicit subRange: AuxF[Exclusive[B], SoftInclusive[A], Sub]): AuxF[Exclusive[Succ[A]], Exclusive[B], Sub]
  32. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  33. def toString(): String
    Definition Classes
    AnyRef → Any
  34. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  37. object Bound extends Serializable

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped