Groups all syntax extensions.
The Applicative type-class is a Functor that also adds the
capability of lifting a value in the context.
A type-class providing the coflatMap operation, the dual of
flatMap.
The Comonad type-class is the dual of Monad.
A functor provides the map operation that allows lifting an f
function into the functor context and applying it.
A type-class for F[A] monads that are suspendable
and whose evaluation can be memoized, along with a guarantee
that the captured side-effects only happen once.
The Monad type-class is a structure that represents
computations defined as sequences of steps: : a type with
a monad structure defines what it means to chain operations
together, or nest functions of that type.
The MonadError type-class describes monads that can do error handling.
Type-class describing a Monad which also supports lifting a by-name value into the monadic context.
The MonadFilter type-class is equipped with an additional
operation which allows us to create an "Empty" value for the Monad
(for whatever "empty" makes sense for that particular monad).
This type-class represents monads with a tail-recursive
flatMap implementation.
MonoidK is a universal monoid which operates on kinds.
SemigroupK is a universal semigroup which operates on kinds.
Type-class describing a Monad which also supports lifting a by-name value into the monadic context.
Provides syntax (extension methods) for usage of monix.types instances.