monix.eval.instances
Given that A has a cats.Semigroup implementation, this builds a Semigroup[F[A]] instance for any F[_] data type that implements cats.Monad.
A
cats.Semigroup
Semigroup[F[A]]
F[_]
cats.Monad
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.Semigroup
implementation, this builds aSemigroup[F[A]]
instance for anyF[_]
data type that implementscats.Monad
.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.