cats

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