cats
package
cats
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
cats
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
type
:<:
[
F
[
_
]
,
G
[
_
]
]
=
InjectK
[
F
,
G
]
type
:≺:
[
F
[
_
]
,
G
[
_
]
]
=
InjectK
[
F
,
G
]
type
Eq
[
A
]
=
cats.kernel.Eq
[
A
]
type
Group
[
A
]
=
cats.kernel.Group
[
A
]
type
Id
[
A
]
=
A
type
Monoid
[
A
]
=
cats.kernel.Monoid
[
A
]
type
Order
[
A
]
=
cats.kernel.Order
[
A
]
type
PartialOrder
[
A
]
=
cats.kernel.PartialOrder
[
A
]
type
Semigroup
[
A
]
=
cats.kernel.Semigroup
[
A
]
type
~>
[
F
[
_
]
,
G
[
_
]
]
=
FunctionK
[
F
,
G
]
type
⊤
=
Any
type
⊥
=
Nothing
Value Members
val
Eq
:
cats.kernel.Eq
.type
val
Group
:
cats.kernel.Group
.type
val
Monoid
:
cats.kernel.Monoid
.type
val
Order
:
cats.kernel.Order
.type
val
PartialOrder
:
cats.kernel.PartialOrder
.type
val
Semigroup
:
cats.kernel.Semigroup
.type
implicit
val
catsInstancesForId
:
Bimonad
[
Id
] with
CommutativeMonad
[
Id
] with
Comonad
[
Id
] with
NonEmptyTraverse
[
Id
]
package
effect
Inherited from
AnyRef
Inherited from
Any
Ungrouped