monix.bio.instances
Type members
Classlikes
Cats type class instances of IO for
cats.effect.ConcurrentEffect
.
Cats type class instances of IO for
cats.effect.ConcurrentEffect
.
Note this is a separate class from CatsConcurrentForTask, because
we need an implicit Scheduler in scope
in order to trigger the execution of a Task
. However we cannot
inherit directly from CatsConcurrentForTask
, because it would create
conflicts due to that one having a higher priority but being a
super-type.
References:
Default and reusable instance for CatsConcurrentForTask.
Default and reusable instance for CatsConcurrentForTask.
Globally available in scope, as it is returned by IO.catsAsync.
- Companion
- class
Cats type class instances of IO for
cats.effect.Effect
(and implicitly for Applicative
, Monad
,
MonadError
, Sync
, etc).
Cats type class instances of IO for
cats.effect.Effect
(and implicitly for Applicative
, Monad
,
MonadError
, Sync
, etc).
Note this is a separate class from CatsAsyncForTask, because we
need an implicit Scheduler in scope
in order to trigger the execution of a Task
. However we cannot
inherit directly from CatsAsyncForTask
, because it would create
conflicts due to that one having a higher priority but being a
super-type.
References:
Given that A
has a cats.Semigroup
implementation, this
builds a Semigroup[F[A]]
instance for any F[_]
data type
that implements cats.Monad
.
Given that A
has a cats.Semigroup
implementation, this
builds a Semigroup[F[A]]
instance for any F[_]
data type
that implements cats.Monad
.
Used for IO.
NOTE: nothing in this implementation is specific to Monix or to
cats-effect
, but these instances are not provided by default
by Cats for any monad, probably because they aren't useful
for every monad.
Given that A
has a cats.Monoid
implementation, this builds
a Semigroup[F[A]]
instance for any F[_]
data type that
implements cats.effect.Sync
.
Given that A
has a cats.Monoid
implementation, this builds
a Semigroup[F[A]]
instance for any F[_]
data type that
implements cats.effect.Sync
.
Used for IO.
NOTE: nothing in this implementation is specific to Monix or to
cats-effect
, but these instances are not provided by default
by Cats for any monad, probably because they aren't useful
for every monad.