object Nat extends Nats
Type level encoding of the natural numbers.
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Nat
- Nats
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- type _0 = shapeless._0
The natural number 0
- type _1 = Succ[shapeless._0]
- Definition Classes
- Nats
- type _10 = Succ[_9]
- Definition Classes
- Nats
- type _11 = Succ[_10]
- Definition Classes
- Nats
- type _12 = Succ[_11]
- Definition Classes
- Nats
- type _13 = Succ[_12]
- Definition Classes
- Nats
- type _14 = Succ[_13]
- Definition Classes
- Nats
- type _15 = Succ[_14]
- Definition Classes
- Nats
- type _16 = Succ[_15]
- Definition Classes
- Nats
- type _17 = Succ[_16]
- Definition Classes
- Nats
- type _18 = Succ[_17]
- Definition Classes
- Nats
- type _19 = Succ[_18]
- Definition Classes
- Nats
- type _2 = Succ[_1]
- Definition Classes
- Nats
- type _20 = Succ[_19]
- Definition Classes
- Nats
- type _21 = Succ[_20]
- Definition Classes
- Nats
- type _22 = Succ[_21]
- Definition Classes
- Nats
- type _3 = Succ[_2]
- Definition Classes
- Nats
- type _4 = Succ[_3]
- Definition Classes
- Nats
- type _5 = Succ[_4]
- Definition Classes
- Nats
- type _6 = Succ[_5]
- Definition Classes
- Nats
- type _7 = Succ[_6]
- Definition Classes
- Nats
- type _8 = Succ[_7]
- Definition Classes
- Nats
- type _9 = Succ[_8]
- Definition Classes
- Nats
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
- val _0: _0
- val _1: _1
- Definition Classes
- Nats
- val _10: _10
- Definition Classes
- Nats
- val _11: _11
- Definition Classes
- Nats
- val _12: _12
- Definition Classes
- Nats
- val _13: _13
- Definition Classes
- Nats
- val _14: _14
- Definition Classes
- Nats
- val _15: _15
- Definition Classes
- Nats
- val _16: _16
- Definition Classes
- Nats
- val _17: _17
- Definition Classes
- Nats
- val _18: _18
- Definition Classes
- Nats
- val _19: _19
- Definition Classes
- Nats
- val _2: _2
- Definition Classes
- Nats
- val _20: _20
- Definition Classes
- Nats
- val _21: _21
- Definition Classes
- Nats
- val _22: _22
- Definition Classes
- Nats
- val _3: _3
- Definition Classes
- Nats
- val _4: _4
- Definition Classes
- Nats
- val _5: _5
- Definition Classes
- Nats
- val _6: _6
- Definition Classes
- Nats
- val _7: _7
- Definition Classes
- Nats
- val _8: _8
- Definition Classes
- Nats
- val _9: _9
- Definition Classes
- Nats
- implicit macro def apply(i: Int): Nat
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): 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[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- implicit def natOps[N <: Nat](n: N): NatOps[N]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toInt(n: Nat)(implicit toIntN: ToInt[N]): Int
- def toInt[N <: Nat](implicit toIntN: ToInt[N]): Int
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()