scalaz
.
typelevel
Nats
Related Docs:
object Nats
|
package typelevel
trait
Nats
extends
AnyRef
Source
Nat.scala
Linear Supertypes
AnyRef
,
Any
Known Subclasses
Nats
,
Typelevel
Ordering
Alphabetic
By inheritance
Inherited
Nats
AnyRef
Any
Hide All
Show all
Visibility
Public
All
Type Members
type
_0
=
Zero
.type
type
_1
=
Succ
[
_0
]
type
_2
=
Succ
[
_1
]
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
_0
:
Zero
.type
lazy val
_1
:
Succ
[
Zero
.type]
lazy val
_2
:
Succ
[
Succ
[
Zero
.type]]
lazy val
_3
:
Succ
[
Succ
[
Succ
[
Zero
.type]]]
lazy val
_4
:
Succ
[
Succ
[
Succ
[
Succ
[
Zero
.type]]]]
lazy val
_5
:
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Zero
.type]]]]]
lazy val
_6
:
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Zero
.type]]]]]]
lazy val
_7
:
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Zero
.type]]]]]]]
lazy val
_8
:
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Zero
.type]]]]]]]]
lazy val
_9
:
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Zero
.type]]]]]]]]]
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