shapeless.ops.nat

BoundedRange

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
Learn more about member selection
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.

  4. trait Inclusive[A] extends Bound

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

  5. trait SoftInclusive[A] extends Bound

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. object Bound extends Serializable

  7. def apply[A <: Bound, B <: Bound](implicit range: BoundedRange[A, B]): AuxF[A, B, Out]

  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  9. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  10. 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]

  11. 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]]

  12. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  13. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  14. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  15. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  16. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  17. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  18. 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]

  19. 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]]

  20. 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]]

  21. 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]

  22. implicit def leftOpenRightClosedReverse[A <: Nat, B <: Nat, Sub <: HList](implicit subRange: AuxF[Inclusive[B], SoftInclusive[A], Sub]): AuxF[Exclusive[Succ[A]], Inclusive[B], Sub]

  23. 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]]

  24. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  25. implicit def nilClosed[A <: Nat](implicit w: Aux[A]): AuxF[Inclusive[A], Inclusive[A], ::[A, HNil]]

  26. implicit def nilLeftClosedRightOpen[A <: Nat](implicit w: Aux[A]): AuxF[Inclusive[A], Exclusive[A], ::[A, HNil]]

  27. implicit def nilLeftClosedRightSoft[A <: Nat](implicit w: Aux[A]): AuxF[Inclusive[A], SoftInclusive[A], ::[A, HNil]]

  28. implicit def nilLeftOpenRightClosed[A <: Nat](implicit w: Aux[A]): AuxF[Exclusive[A], Inclusive[A], ::[A, HNil]]

  29. implicit def nilLeftOpenRightSoft[A <: Nat]: AuxF[Exclusive[A], SoftInclusive[A], HNil]

  30. implicit def nilOpen[A <: Nat](implicit w: Aux[A]): AuxF[Exclusive[A], Exclusive[A], HNil]

  31. final def notify(): Unit

    Definition Classes
    AnyRef

  32. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  33. 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]

  34. implicit def openReverse[A <: Nat, B <: Nat, Sub <: HList](implicit subRange: AuxF[Exclusive[B], SoftInclusive[A], Sub]): AuxF[Exclusive[Succ[A]], Exclusive[B], Sub]

  35. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  36. def toString(): String

    Definition Classes
    AnyRef → Any

  37. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  38. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  39. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped