Groups all syntax extensions.
The Applicative type-class is a Functor that also adds the
capability of lifting a value in the context.
The ApplicativeClass provides the means to combine
Applicative instances with other type-classes.
Provides syntax for Applicative.
A type-class providing the coflatMap operation, the dual of
flatMap.
The CoflatMapClass provides the means to combine
CoflatMap instances with other type-classes.
Provides syntax for CoflatMap.
The Comonad type-class is the dual of Monad.
The ComonadClass provides the means to combine
Comonad instances with other type-classes.
Provides syntax for Comonad.
Type-class describing an Applicative which supports
capturing a deferred evaluation of a by-name F[A].
The DeferrableClass provides the means to combine
Deferrable instances with other type-classes.
A functor provides the map operation that allows lifting an f
function into the functor context and applying it.
The FunctorClass provides the means to combine Functor
instances with other type-classes.
Provides syntax for Functor.
A type-class for F[A] suspendable applicatives
whose evaluation can be memoized, along with a guarantee
that the side-effects only happen once.
The MemoizableClass provides the means to combine
Memoizable instances with other type-classes.
Provides syntax for Memoizable.
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 MonadClass provides the means to combine
Monad instances with other type-classes.
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).
The MonadFilterClass provides the means to combine
MonadFilter instances with other type-classes.
Provides syntax for MonadFilter.
This type-class represents monads with a tail-recursive
tailRecM implementation.
The MonadRecClass provides the means to combine
MonadRec instances with other type-classes.
Provides syntax for Monad.
MonoidK is a universal monoid which operates on kinds.
The MonoidKClass provides the means to combine
MonoidK instances with other type-classes.
The Recoverable type-class is the equivalent of
ApplicativeError or of MonadError from other libraries like
Cats or Scalaz.
The RecoverableClass provides the means to combine
Recoverable instances with other type-classes.
SemigroupK is a universal semigroup which operates on kinds.
The SemigroupKClass provides the means to combine SemigroupK
instances with other type-classes.
Provides syntax (extension methods) for usage of monix.types instances.