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.