shapeless.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 Diff[A <: Nat, B <: Nat] extends Serializable

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

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

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

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

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

    Type class witnessing that A is greater than B.

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

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

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

    Type class for calculating the Least Common Multiple

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

    Type class witnessing that A is less than B.

  8. trait LT0 extends AnyRef

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

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

  10. trait LTEq0 extends AnyRef

  11. trait LowPriorityGCD extends AnyRef

    Type class implementing Euclidean algorithm for calculating the GCD

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

    Type class witnessing that Out is A max B.

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

    Type class witnessing that Out is A min B.

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

    Typeclass witnessing that Out is A mod B.

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

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

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

    Type class witnessing that B is the predecessor of A.

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

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

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

    Type class witnessing that Out is range A to B.

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

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

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

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

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

  7. object Div extends Serializable

  8. object GCD extends LowPriorityGCD with Serializable

  9. object GT

  10. object GTEq

  11. object LCM extends Serializable

  12. object LT extends LT0 with Serializable

  13. object LTEq extends LTEq0 with Serializable

  14. object Max extends Serializable

  15. object Min extends Serializable

  16. object Mod extends Serializable

  17. object Pow extends Serializable

  18. object Pred extends Serializable

  19. object Prod extends Serializable

  20. object Range extends Serializable

  21. object Sum extends Serializable

  22. object ToInt extends Serializable

  23. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  24. def clone(): AnyRef

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

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

    Definition Classes
    AnyRef

  26. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  27. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

  29. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  30. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    AnyRef

  32. final def notify(): Unit

    Definition Classes
    AnyRef

  33. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    AnyRef

  35. def toString(): String

    Definition Classes
    AnyRef → Any

  36. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped