cats

Type Members

1. trait ApplicativeEval[F[_]] extends Applicative[F] with Serializable

   

   A type class that allows lifting any value into the applicative context, with its evaluation being controlled by Eval and supporting optional laziness.

2. type Eq[A] = cats.kernel.Eq[A]

   

3. type Group[A] = cats.kernel.Group[A]

   

4. type Id[A] = A

   

5. trait LowerMonadDeferImplicits extends AnyRef

   

6. trait MonadDefer[F[_]] extends Monad[F] with ApplicativeEval[F] with Serializable

   

   A monad that allows for arbitrarily delaying the evaluation of an operation, triggering its execution on each run.

   A monad that allows for arbitrarily delaying the evaluation of an operation, triggering its execution on each run.

   See also

   ApplicativeEval for capturing effects in an F[_] applicative context, but without the repeating side-effects requirement.

7. type Monoid[A] = cats.kernel.Monoid[A]

   

8. type Order[A] = cats.kernel.Order[A]

   

9. type PartialOrder[A] = cats.kernel.PartialOrder[A]

   

10. type Semigroup[A] = cats.kernel.Semigroup[A]

    

11. type ~>[F[_], G[_]] = FunctionK[F, G]

    

12. type ⊤ = Any

    

13. type ⊥ = Nothing