shapeless
.
syntax
NatOps
final
class
NatOps
[
N <:
Nat
]
extends
AnyVal
with
Serializable
Carrier for
Nat
operations.
Linear Supertypes
Serializable
,
Serializable
,
AnyVal
,
NotNull
,
Any
Ordering
Alphabetic
By inheritance
Inherited
NatOps
Serializable
Serializable
AnyVal
NotNull
Any
Hide All
Show all
Learn more about member selection
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
Inherited from
Serializable
Inherited from
Serializable
Inherited from
AnyVal
Inherited from
NotNull
Inherited from
Any
Ungrouped
Carrier for
Nat
operations.