org
.
specs2
.
internal
.
scalaz
.
typelevel
Typelevel
object
Typelevel
extends
AllSyntaxes
with
Nats
Source
Typelevel.scala
Linear Supertypes
Nats
,
AllSyntaxes
,
TypeClasses
,
TypeClasses0
,
HLists
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
Typelevel
Nats
AllSyntaxes
TypeClasses
TypeClasses0
HLists
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Type Members
type
::
[
H
,
T <:
HList
]
=
GenericCons
[
Id.Id
,
H
,
T
]
Definition Classes
HLists
type
_0
=
Zero
.type
Definition Classes
Nats
type
_1
=
Succ
[
_0
]
Definition Classes
Nats
type
_2
=
Succ
[
_1
]
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:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
def
::
:
HCons
.type
Definition Classes
HLists
final
def
==
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
implicit
def
ToTCOps
[
C
[
_
]
,
F
]
(
F:
C
[
F
]
)
(
implicit
C:
TypeClass
[
C
]
)
:
TCOps
[
C
,
HCons
[
F
,
HNil
]]
Definition Classes
TypeClasses0
implicit
def
ToTCOpsCons
[
C
[
_
]
,
F
,
T <:
HList
]
(
instance:
C
[
T
]
)
(
implicit
arg0:
TypeClass
[
C
]
)
:
TCOps
[
C
,
T
]
Definition Classes
TypeClasses
val
_0
:
Zero
.type
Definition Classes
Nats
lazy val
_1
:
Succ
[
Zero
.type]
Definition Classes
Nats
lazy val
_2
:
Succ
[
Succ
[
Zero
.type]]
Definition Classes
Nats
lazy val
_3
:
Succ
[
Succ
[
Succ
[
Zero
.type]]]
Definition Classes
Nats
lazy val
_4
:
Succ
[
Succ
[
Succ
[
Succ
[
Zero
.type]]]]
Definition Classes
Nats
lazy val
_5
:
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Zero
.type]]]]]
Definition Classes
Nats
lazy val
_6
:
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Zero
.type]]]]]]
Definition Classes
Nats
lazy val
_7
:
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Zero
.type]]]]]]]
Definition Classes
Nats
lazy val
_8
:
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Zero
.type]]]]]]]]
Definition Classes
Nats
lazy val
_9
:
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Succ
[
Zero
.type]]]]]]]]]
Definition Classes
Nats
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
()
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
implicit
def
unpackKComposition
[
C
[
_
[
_
]
]
,
T <:
TCList
]
(
wrapper:
WrappedComposition
[
C
,
T
]
)
:
C
[
syntax.TypeClasses.unpackKComposition.T.Composed
]
Definition Classes
TypeClasses
implicit
def
unpackKProduct
[
C
[
_
[
_
]
]
,
T <:
TCList
]
(
wrapper:
WrappedProduct
[
C
,
T
]
)
:
C
[
syntax.TypeClasses.unpackKProduct.T.Product
]
Definition Classes
TypeClasses
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
()
implicit
def
wrapKComposition
[
C
[
_
[
_
]
]
,
F
[
_
]
]
(
instance:
C
[
F
]
)
(
implicit
arg0:
KTypeClass
[
C
]
)
:
WrappedComposition
[
C
,
TCCons
[
F
,
TCNil
]]
Definition Classes
TypeClasses
implicit
def
wrapKProduct
[
C
[
_
[
_
]
]
,
F
[
_
]
]
(
instance:
C
[
F
]
)
(
implicit
arg0:
KTypeClass
[
C
]
)
:
WrappedProduct
[
C
,
TCCons
[
F
,
TCNil
]]
Definition Classes
TypeClasses
Inherited from
Nats
Inherited from
AllSyntaxes
Inherited from
TypeClasses
Inherited from
TypeClasses0
Inherited from
HLists
Inherited from
AnyRef
Inherited from
Any
Ungrouped