Type Members

1.  type :<:[F[_], G[_]] = InjectK[F, G]
2.  type :≺:[F[_], G[_]] = InjectK[F, G]
3.  type Comparison = cats.kernel.Comparison
4.  type Endo[A] = (A) ⇒ A
5.  type Eq[A] = cats.kernel.Eq[A]
6.  trait ErrorControl[F[_], G[_], E] extends Serializable

   A type class for principled error handling.

   A type class for principled error handling. ErrorControl is designed to be a supplement to MonadError with more precise typing. It is defined as a relationship between an error-handling type F[A] and a non-error-handling type G[A]. This means a value of F[A] is able to produce either a value of A or an error of type E. Unlike MonadError's handleError method, the controlError function defined in this type class will yield a value that free of any errors, since they've all been handled.

   Must adhere to the laws defined in cats.laws.ErrorControlLaws.

7.  type Group[A] = cats.kernel.Group[A]
8.  type Hash[A] = cats.kernel.Hash[A]
9.  type Id[A] = A
10.  type Monoid[A] = cats.kernel.Monoid[A]
11.  type Order[A] = cats.kernel.Order[A]
12.  type PartialOrder[A] = cats.kernel.PartialOrder[A]
13.  type Semigroup[A] = cats.kernel.Semigroup[A]
14.  type ~>[F[_], G[_]] = FunctionK[F, G]
15.  type ⊤ = Any
16.  type ⊥ = Nothing
17.  type Cartesian[F[_]] = Semigroupal[F]

    Annotations

    @deprecated

    Deprecated

    (Since version 1.0.0-RC1) renamed to Semigroupal