shadedshapeless.ops

nat

object nat

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. nat
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. 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.

  2. trait Diff[A <: Nat, B <: Nat] extends Serializable

    Type class witnessing that C is the difference of A and B.

  3. trait Div[A <: Nat, B <: Nat] extends Serializable

    Type class witnessing that Out is the quotient of A and B.

  4. trait GCD[A <: Nat, B <: Nat] extends Serializable

  5. type GT[A <: Nat, B <: Nat] = LT[B, A]

    Type class witnessing that A is greater than B.

  6. type GTEq[A <: Nat, B <: Nat] = LTEq[B, A]

    Type class witnessing that A is greater than or equal to B.

  7. trait LCM[A <: Nat, B <: Nat] extends Serializable

    Type class for calculating the Least Common Multiple

  8. trait LT[A <: Nat, B <: Nat] extends Serializable

    Type class witnessing that A is less than B.

  9. trait LT0 extends AnyRef

  10. trait LTEq[A <: Nat, B <: Nat] extends Serializable

    Type class witnessing that A is less than or equal to B.

  11. trait LTEq0 extends AnyRef

  12. trait LowPriorityGCD extends AnyRef

    Type class implementing Euclidean algorithm for calculating the GCD

  13. trait Max[A <: Nat, B <: Nat] extends Serializable

    Type class witnessing that Out is A max B.

  14. trait Min[A <: Nat, B <: Nat] extends Serializable

    Type class witnessing that Out is A min B.

  15. trait Mod[A <: Nat, B <: Nat] extends Serializable

    Typeclass witnessing that Out is A mod B.

  16. trait Pow[N <: Nat, X <: Nat] extends Serializable

    Type class witnessing that Out is X raised to the power N.

  17. trait Pred[A <: Nat] extends Serializable

    Type class witnessing that B is the predecessor of A.

  18. trait Prod[A <: Nat, B <: Nat] extends Serializable

    Type class witnessing that C is the product of A and B.

  19. trait Range[A <: Nat, B <: Nat] extends DepFn0 with Serializable

    Type class witnessing that Out is range A to B, inclusive of A and exclusive of B.

  20. trait Sum[A <: Nat, B <: Nat] extends Serializable

    Type class witnessing that C is the sum of A and B.

  21. trait ToInt[N <: Nat] extends Serializable

    Type class supporting conversion of type-level Nats to value level Ints.

  22. class ToIntMacros extends CaseClassMacros

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 BoundedRange extends Serializable

  7. object Diff extends Serializable

  8. object Div extends Serializable

  9. object GCD extends LowPriorityGCD with Serializable

  10. object GT

  11. object GTEq

  12. object LCM extends Serializable

  13. object LT extends LT0 with Serializable

  14. object LTEq extends LTEq0 with Serializable

  15. object Max extends Serializable

  16. object Min extends Serializable

  17. object Mod extends Serializable

  18. object Pow extends Serializable

  19. object Pred extends Serializable

  20. object Prod extends Serializable

  21. object Range extends Serializable

  22. object Sum extends Serializable

  23. object ToInt extends Serializable

  24. object ToIntMacros

  25. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  26. def clone(): AnyRef

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

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

    Definition Classes
    AnyRef

  28. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  29. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

  31. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  32. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    AnyRef

  34. final def notify(): Unit

    Definition Classes
    AnyRef

  35. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    AnyRef

  37. def toString(): String

    Definition Classes
    AnyRef → Any

  38. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped