cats
package
cats
Type Members
-
type
<~[F[_], G[_]] = NaturalTransformation[G, F]
-
-
-
type
Id[A] = A
-
-
-
-
-
type
~>[F[_], G[_]] = NaturalTransformation[F, G]
-
type
⊤ = Any
-
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
-