shapeless
Nats
Related Doc:
package shapeless
trait
Nats
extends
AnyRef
Linear Supertypes
AnyRef
,
Any
Known Subclasses
Nat
Ordering
Alphabetic
By Inheritance
Inherited
Nats
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
type
_1
=
Succ
[
_0
]
type
_10
=
Succ
[
_9
]
type
_11
=
Succ
[
_10
]
type
_12
=
Succ
[
_11
]
type
_13
=
Succ
[
_12
]
type
_14
=
Succ
[
_13
]
type
_15
=
Succ
[
_14
]
type
_16
=
Succ
[
_15
]
type
_17
=
Succ
[
_16
]
type
_18
=
Succ
[
_17
]
type
_19
=
Succ
[
_18
]
type
_2
=
Succ
[
_1
]
type
_20
=
Succ
[
_19
]
type
_21
=
Succ
[
_20
]
type
_22
=
Succ
[
_21
]
type
_3
=
Succ
[
_2
]
type
_4
=
Succ
[
_3
]
type
_5
=
Succ
[
_4
]
type
_6
=
Succ
[
_5
]
type
_7
=
Succ
[
_6
]
type
_8
=
Succ
[
_7
]
type
_9
=
Succ
[
_8
]
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
_1
:
_1
val
_10
:
_10
val
_11
:
_11
val
_12
:
_12
val
_13
:
_13
val
_14
:
_14
val
_15
:
_15
val
_16
:
_16
val
_17
:
_17
val
_18
:
_18
val
_19
:
_19
val
_2
:
_2
val
_20
:
_20
val
_21
:
_21
val
_22
:
_22
val
_3
:
_3
val
_4
:
_4
val
_5
:
_5
val
_6
:
_6
val
_7
:
_7
val
_8
:
_8
val
_9
:
_9
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
(
...
)
Inherited from
AnyRef
Inherited from
Any
Ungrouped