monix.eval.instances
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.
A
cats.Monoid
Semigroup[F[A]]
F[_]
cats.effect.Sync
Used for both Task and monix.eval.Coeval.
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.
cats-effect
Given that
A
has acats.Monoid
implementation, this builds aSemigroup[F[A]]
instance for anyF[_]
data type that implementscats.effect.Sync
.Used for both Task and monix.eval.Coeval.
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.