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