shapeless
Nat
Related Docs:
trait Nat
|
package shapeless
object
Nat
extends
Nats
Type level encoding of the natural numbers.
Linear Supertypes
Nats
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
Nat
Nats
AnyRef
Any
Hide All
Show all
Learn more about member selection
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
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
(
...
)
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
implicit macro
def
materialize
(
i:
Int
)
:
Nat
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
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
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
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
Nats
Inherited from
AnyRef
Inherited from
Any
Ungrouped
Type level encoding of the natural numbers.