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
[
_
]
]
=
NaturalTransformation
[
G
,
F
]
type
Eq
[
A
]
=
algebra.Eq
[
A
]
type
Group
[
A
]
=
algebra.Group
[
A
]
type
Id
[
A
]
=
A
type
Monoid
[
A
]
=
algebra.Monoid
[
A
]
type
Order
[
A
]
=
algebra.Order
[
A
]
type
PartialOrder
[
A
]
=
algebra.PartialOrder
[
A
]
type
Semigroup
[
A
]
=
algebra.Semigroup
[
A
]
type
~>
[
F
[
_
]
,
G
[
_
]
]
=
NaturalTransformation
[
F
,
G
]
type
⊤
=
Any
type
⊥
=
Nothing
Value Members
val
Eq
:
algebra.Eq
.type
val
Group
:
algebra.Group
.type
implicit
val
Id
:
Bimonad
[
Id
] with
Traverse
[
Id
]
val
Monoid
:
algebra.Monoid
.type
val
Order
:
algebra.Order
.type
val
PartialOrder
:
algebra.PartialOrder
.type
val
Semigroup
:
algebra.Semigroup
.type
package
jvm
Inherited from
AnyRef
Inherited from
Any
Ungrouped