cats
package
cats
Type Members
-
type
<~[F[_], G[_]] = NaturalTransformation[G, F]
-
type
Eq[A] = algebra.Eq[A]
-
type
Id[A] = A
-
-
type
Order[A] = algebra.Order[A]
-
type
PartialOrder[A] = algebra.PartialOrder[A]
-
-
type
~>[F[_], G[_]] = NaturalTransformation[F, G]
-
type
⊤ = Any
-
type
⊥ = Nothing
Value Members
-
-
implicit
val
Id: Bimonad[Id]
-
val
Monoid: algebra.Monoid.type
-
-
-
val
Semigroup: algebra.Semigroup.type
-
Inherited from AnyRef
Inherited from Any