Packages

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

    Type class witnessing that Out is an HList of Nat numbers ranging from A to B.

    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 bare Nat 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.

  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
    Annotations
    @bundle()

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  9. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  10. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  14. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  15. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  16. def toString(): String
    Definition Classes
    AnyRef → Any
  17. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  18. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  19. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  20. object BoundedRange extends Serializable
  21. object Diff extends Serializable
  22. object Div extends Serializable
  23. object GCD extends LowPriorityGCD with Serializable
  24. object GT
  25. object GTEq
  26. object LCM extends Serializable
  27. object LT extends LT0 with Serializable
  28. object LTEq extends LTEq0 with Serializable
  29. object Max extends Serializable
  30. object Min extends Serializable
  31. object Mod extends Serializable
  32. object Pow extends Serializable
  33. object Pred extends Serializable
  34. object Prod extends Serializable
  35. object Range extends Serializable
  36. object Sum extends Serializable
  37. object ToInt extends Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped