final class NatOps[N <: Nat] extends AnyVal with Serializable
Carrier for Nat
operations.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- NatOps
- Serializable
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new NatOps(n: N)
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- Any
- final def ##(): Int
- Definition Classes
- Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val n: N
- def toInt(implicit toIntN: ToInt[N.N]): Int
Returns the int value of this
Nat
. - def toString(): String
- Definition Classes
- Any