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