nat

Type Members

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

Type class witnessing that C is the difference of A and B.
trait Div[A <: Nat, B <: Nat] extends Serializable

Type class witnessing that Out is the quotient of A and B.
trait GCD[A <: Nat, B <: Nat] extends Serializable
type GT[A <: Nat, B <: Nat] = LT[B, A]

Type class witnessing that A is greater than B.
type GTEq[A <: Nat, B <: Nat] = LTEq[B, A]

Type class witnessing that A is greater than or equal to B.
trait LCM[A <: Nat, B <: Nat] extends Serializable

Type class for calculating the Least Common Multiple
trait LT[A <: Nat, B <: Nat] extends Serializable

Type class witnessing that A is less than B.
trait LT0 extends AnyRef
trait LTEq[A <: Nat, B <: Nat] extends Serializable

Type class witnessing that A is less than or equal to B.
trait LTEq0 extends AnyRef
trait LowPriorityGCD extends AnyRef

Type class implementing Euclidean algorithm for calculating the GCD
trait Max[A <: Nat, B <: Nat] extends Serializable

Type class witnessing that Out is A max B.
trait Min[A <: Nat, B <: Nat] extends Serializable

Type class witnessing that Out is A min B.
trait Mod[A <: Nat, B <: Nat] extends Serializable

Typeclass witnessing that Out is A mod B.
trait Pow[N <: Nat, X <: Nat] extends Serializable

Type class witnessing that Out is X raised to the power N.
trait Pred[A <: Nat] extends Serializable

Type class witnessing that B is the predecessor of A.
trait Prod[A <: Nat, B <: Nat] extends Serializable

Type class witnessing that C is the product of A and B.
trait Range[A <: Nat, B <: Nat] extends DepFn0 with Serializable

Type class witnessing that Out is range A to B.
trait Sum[A <: Nat, B <: Nat] extends Serializable

Type class witnessing that C is the sum of A and B.
trait ToInt[N <: Nat] extends Serializable

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

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object Diff extends Serializable
object Div extends Serializable
object GCD extends LowPriorityGCD with Serializable
object GT
object GTEq
object LCM extends Serializable
object LT extends LT0 with Serializable
object LTEq extends LTEq0 with Serializable
object Max extends Serializable
object Min extends Serializable
object Mod extends Serializable
object Pow extends Serializable
object Pred extends Serializable
object Prod extends Serializable
object Range extends Serializable
object Sum extends Serializable
object ToInt extends Serializable
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package ops

object nat

Type Members

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

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

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

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

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

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

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

trait LT0 extends AnyRef

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

trait LTEq0 extends AnyRef

trait LowPriorityGCD extends AnyRef

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

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

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

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

trait Pred[A <: Nat] extends Serializable

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

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

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

trait ToInt[N <: Nat] extends Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Diff extends Serializable

object Div extends Serializable

object GCD extends LowPriorityGCD with Serializable

object GT

object GTEq

object LCM extends Serializable

object LT extends LT0 with Serializable

object LTEq extends LTEq0 with Serializable

object Max extends Serializable

object Min extends Serializable

object Mod extends Serializable

object Pow extends Serializable

object Pred extends Serializable

object Prod extends Serializable

object Range extends Serializable

object Sum extends Serializable

object ToInt extends Serializable

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped