package cats
Package exposing the Monix integration with the Cats library.
See the library's documentation at: typelevel.org/cats/
To convert Monix type-class instances into Cats types:
import monix.cats._
To convert Cats type-class instances into Monix types:
import monix.cats.reverse._
Do not bring these imports into the same scope as you can experience conflicts if you do:
// Do not do this! import monix.cats._ import monix.cats.reverse._
- Alphabetic
- By Inheritance
- cats
- MonixToCatsConversions
- MonixToCatsCore11
- MonixToCatsCore10
- MonixToCatsCore9
- MonixToCatsCore8
- MonixToCatsCore7
- MonixToCatsCore6
- MonixToCatsCore5
- MonixToCatsCore4
- MonixToCatsCore3
- MonixToCatsCore2
- MonixToCatsCore1
- MonixToCatsCore0
- MonixToCatsKernel2
- MonixToCatsKernel1
- MonixToCatsKernel0
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
trait
CatsToMonixConversions extends CatsCoreToMonix9
Defines conversions from Cats type-class instances to the Monix type-classes defined in monix.types.
-
class
MonixApplicativeHasCatsGroup[F[_], A] extends cats.MonixToCatsKernel2.MonixApplicativeHasCatsMonoid[F, A] with Group[F[A]]
Given an Monix Applicative for
F[A]
and acats.Group
defined forA
, thenF[A]
can also have aGroup
instance.Given an Monix Applicative for
F[A]
and acats.Group
defined forA
, thenF[A]
can also have aGroup
instance.You can import monixApplicativeHasCatsGroup in scope or initiate the MonixApplicativeHasCatsGroup class.
- Definition Classes
- MonixToCatsKernel2
-
class
MonixApplicativeHasCatsMonoid[F[_], A] extends cats.MonixToCatsKernel1.MonixApplicativeHasCatsSemigroup[F, A] with Monoid[F[A]]
Given an Monix Applicative for
F[A]
and acats.Monoid
defined forA
, thenF[A]
can also have aMonoid
instance.Given an Monix Applicative for
F[A]
and acats.Monoid
defined forA
, thenF[A]
can also have aMonoid
instance.You can import monixApplicativeHasCatsMonoid in scope or initiate the MonixApplicativeHasCatsMonoid class.
- Definition Classes
- MonixToCatsKernel1
-
class
MonixApplicativeHasCatsSemigroup[F[_], A] extends Semigroup[F[A]]
Given a Monix Applicative for
F[A]
and acats.Semigroup
defined forA
, thenF[A]
can also have aSemigroup
instance.Given a Monix Applicative for
F[A]
and acats.Semigroup
defined forA
, thenF[A]
can also have aSemigroup
instance.You can import monixApplicativeHasCatsSemigroup in scope initiate the MonixApplicativeHasCatsSemigroup class.
- Definition Classes
- MonixToCatsKernel0
-
class
MonixToCatsApplicative[F[_]] extends Applicative[F]
Converts Monix's Applicative instances into the Cats
Applicative
.Converts Monix's Applicative instances into the Cats
Applicative
.You can import monixToCatsApplicative in scope, or initiate/extend the MonixToCatsApplicative class.
- Definition Classes
- MonixToCatsCore1
-
class
MonixToCatsBimonad[F[_]] extends cats.MonixToCatsCore6.MonixToCatsMonad[F] with Bimonad[F]
Converts Monix's Monad and Comonad instances into the Cats
Bimonad
.Converts Monix's Monad and Comonad instances into the Cats
Bimonad
.You can import monixToCatsBimonad in scope, or initiate/extend the MonixToCatsBimonad class.
- Definition Classes
- MonixToCatsCore6
-
class
MonixToCatsCoflatMap[F[_]] extends cats.MonixToCatsCore4.MonixToCatsFunctor[F] with CoflatMap[F]
Converts Monix's Cobind instances into the Cats
CoflatMap
.Converts Monix's Cobind instances into the Cats
CoflatMap
.You can import monixToCatsCoflatMap in scope, or initiate/extend the MonixToCatsCoflatMap class.
- Definition Classes
- MonixToCatsCore4
-
class
MonixToCatsComonad[F[_]] extends cats.MonixToCatsCore5.MonixToCatsCoflatMap[F] with Comonad[F]
Converts Monix's Comonad instances into the Cats
Comonad
.Converts Monix's Comonad instances into the Cats
Comonad
.You can import monixToCatsComonad in scope, or initiate/extend the MonixToCatsComonad class.
- Definition Classes
- MonixToCatsCore5
-
trait
MonixToCatsConversions extends MonixToCatsCore11
Defines conversions from the Monix type-classes defined in monix.types to type-class instances from the Cats library.
-
class
MonixToCatsFunctor[F[_]] extends Functor[F]
Converts Monix's Functor instances into the Cats
Functor
.Converts Monix's Functor instances into the Cats
Functor
.You can import monixToCatsFunctor in scope, or initiate/extend the MonixToCatsFunctor class.
- Definition Classes
- MonixToCatsCore0
-
class
MonixToCatsMonad[F[_]] extends Monad[F]
Converts Monix's Monad instances into the Cats
Monad
.Converts Monix's Monad instances into the Cats
Monad
.You can import monixToCatsMonad in scope, or initiate/extend the MonixToCatsMonad class.
- Definition Classes
- MonixToCatsCore2
-
class
MonixToCatsMonadCombine[F[_]] extends cats.MonixToCatsCore10.MonixToCatsMonadFilter[F] with MonadCombine[F]
Converts Monix's MonoidK and Monix's MonadFilter instances into the Cats
MonadCombine
.Converts Monix's MonoidK and Monix's MonadFilter instances into the Cats
MonadCombine
.You can import monixToCatsMonadCombine in scope, or initiate/extend the MonixToCatsMonadCombine class.
- Definition Classes
- MonixToCatsCore10
-
class
MonixToCatsMonadError[F[_], E] extends cats.MonixToCatsCore3.MonixToCatsMonad[F] with MonadError[F, E]
Converts Monix's MonadError instances into the Cats
MonadError
.Converts Monix's MonadError instances into the Cats
MonadError
.You can import monixToCatsMonadError in scope, or initiate/extend the MonixToCatsMonadError class.
- Definition Classes
- MonixToCatsCore3
-
class
MonixToCatsMonadFilter[F[_]] extends cats.MonixToCatsCore7.MonixToCatsMonad[F] with MonadFilter[F]
Converts Monix's MonadFilter instances into the Cats
MonadFilter
.Converts Monix's MonadFilter instances into the Cats
MonadFilter
.You can import monixToCatsMonadFilter in scope, or initiate/extend the MonixToCatsMonadFilter class.
- Definition Classes
- MonixToCatsCore7
-
class
MonixToCatsMonadRec[F[_]] extends cats.MonixToCatsCore11.MonixToCatsMonad[F]
Converts Monix's MonadRec instances into the Cats
Monad
.Converts Monix's MonadRec instances into the Cats
Monad
.You can import monixToCatsMonadRec in scope, or initiate/extend the MonixToCatsMonadRec class.
- Definition Classes
- MonixToCatsCore11
-
class
MonixToCatsMonoidK[F[_]] extends cats.MonixToCatsCore9.MonixToCatsSemigroupK[F] with MonoidK[F]
Converts Monix's MonoidK instances into the Cats
MonoidK
.Converts Monix's MonoidK instances into the Cats
MonoidK
.You can import monixToCatsMonoidK in scope, or initiate/extend the MonixToCatsMonoidK class.
- Definition Classes
- MonixToCatsCore9
-
class
MonixToCatsSemigroupK[F[_]] extends SemigroupK[F]
Converts Monix's SemigroupK instances into the Cats
SemigroupK
.Converts Monix's SemigroupK instances into the Cats
SemigroupK
.You can import monixToCatsSemigroupK in scope, or initiate/extend the MonixToCatsSemigroupK class.
- Definition Classes
- MonixToCatsCore8
Value Members
-
implicit
def
monixApplicativeHasCatsGroup[F[_], A](implicit F: Applicative[F], A: Group[A]): Group[F[A]]
Given an Monix Applicative for
F[A]
and acats.Group
defined forA
, thenF[A]
can also have aGroup
instance.Given an Monix Applicative for
F[A]
and acats.Group
defined forA
, thenF[A]
can also have aGroup
instance.You can import monixApplicativeHasCatsGroup in scope or initiate the MonixApplicativeHasCatsGroup class.
- Definition Classes
- MonixToCatsKernel2
-
implicit
def
monixApplicativeHasCatsMonoid[F[_], A](implicit F: Applicative[F], A: Monoid[A]): Monoid[F[A]]
Given an Monix Applicative for
F[A]
and acats.Monoid
defined forA
, thenF[A]
can also have aMonoid
instance.Given an Monix Applicative for
F[A]
and acats.Monoid
defined forA
, thenF[A]
can also have aMonoid
instance.You can import monixApplicativeHasCatsMonoid in scope or initiate the MonixApplicativeHasCatsMonoid class.
- Definition Classes
- MonixToCatsKernel1
-
implicit
def
monixApplicativeHasCatsSemigroup[F[_], A](implicit F: Applicative[F], A: Semigroup[A]): Semigroup[F[A]]
Given a Monix Applicative for
F[A]
and acats.Semigroup
defined forA
, thenF[A]
can also have aSemigroup
instance.Given a Monix Applicative for
F[A]
and acats.Semigroup
defined forA
, thenF[A]
can also have aSemigroup
instance.You can import monixApplicativeHasCatsSemigroup in scope initiate the MonixApplicativeHasCatsSemigroup class.
- Definition Classes
- MonixToCatsKernel0
-
implicit
def
monixToCatsApplicative[F[_]](implicit arg0: Applicative[F]): Applicative[F]
Converts Monix's Applicative instances into the Cats
Applicative
.Converts Monix's Applicative instances into the Cats
Applicative
.You can import monixToCatsApplicative in scope, or initiate/extend the MonixToCatsApplicative class.
- Definition Classes
- MonixToCatsCore1
-
implicit
def
monixToCatsBimonad[F[_]](implicit arg0: Monad[F], arg1: Comonad[F]): Bimonad[F]
Converts Monix's Monad and Comonad instances into the Cats
Bimonad
.Converts Monix's Monad and Comonad instances into the Cats
Bimonad
.You can import monixToCatsBimonad in scope, or initiate/extend the MonixToCatsBimonad class.
- Definition Classes
- MonixToCatsCore6
-
implicit
def
monixToCatsCoflatMap[F[_]](implicit arg0: Cobind[F]): CoflatMap[F]
Converts Monix's Cobind instances into the Cats
CoflatMap
.Converts Monix's Cobind instances into the Cats
CoflatMap
.You can import monixToCatsCoflatMap in scope, or initiate/extend the MonixToCatsCoflatMap class.
- Definition Classes
- MonixToCatsCore4
-
implicit
def
monixToCatsComonad[F[_]](implicit arg0: Comonad[F]): Comonad[F]
Converts Monix's Comonad instances into the Cats
Comonad
.Converts Monix's Comonad instances into the Cats
Comonad
.You can import monixToCatsComonad in scope, or initiate/extend the MonixToCatsComonad class.
- Definition Classes
- MonixToCatsCore5
-
implicit
def
monixToCatsFunctor[F[_]](implicit arg0: Functor[F]): Functor[F]
Converts Monix's Functor instances into the Cats
Functor
.Converts Monix's Functor instances into the Cats
Functor
.You can import monixToCatsFunctor in scope, or initiate/extend the MonixToCatsFunctor class.
- Definition Classes
- MonixToCatsCore0
-
implicit
def
monixToCatsMonad[F[_]](implicit arg0: Monad[F]): Monad[F]
Converts Monix's Monad instances into the Cats
Monad
.Converts Monix's Monad instances into the Cats
Monad
.You can import monixToCatsMonad in scope, or initiate/extend the MonixToCatsMonad class.
- Definition Classes
- MonixToCatsCore2
-
implicit
def
monixToCatsMonadCombine[F[_]](implicit arg0: MonadFilter[F], arg1: MonoidK[F]): MonadCombine[F]
Converts Monix's MonoidK and Monix's MonadFilter instances into the Cats
MonadCombine
.Converts Monix's MonoidK and Monix's MonadFilter instances into the Cats
MonadCombine
.You can import monixToCatsMonadCombine in scope, or initiate/extend the MonixToCatsMonadCombine class.
- Definition Classes
- MonixToCatsCore10
-
implicit
def
monixToCatsMonadError[F[_], E](implicit ev: MonadError[F, E]): MonadError[F, E]
Converts Monix's MonadError instances into the Cats
MonadError
.Converts Monix's MonadError instances into the Cats
MonadError
.You can import monixToCatsMonadError in scope, or initiate/extend the MonixToCatsMonadError class.
- Definition Classes
- MonixToCatsCore3
-
implicit
def
monixToCatsMonadFilter[F[_]](implicit arg0: MonadFilter[F]): MonadFilter[F]
Converts Monix's MonadFilter instances into the Cats
MonadFilter
.Converts Monix's MonadFilter instances into the Cats
MonadFilter
.You can import monixToCatsMonadFilter in scope, or initiate/extend the MonixToCatsMonadFilter class.
- Definition Classes
- MonixToCatsCore7
-
implicit
def
monixToCatsMonadRec[F[_]](implicit arg0: MonadRec[F]): Monad[F]
Converts Monix's MonadRec instances into the Cats
Monad
.Converts Monix's MonadRec instances into the Cats
Monad
.You can import monixToCatsMonadRec in scope, or initiate/extend the MonixToCatsMonadRec class.
- Definition Classes
- MonixToCatsCore11
-
implicit
def
monixToCatsMonoidK[F[_]](implicit arg0: MonoidK[F]): MonoidK[F]
Converts Monix's MonoidK instances into the Cats
MonoidK
.Converts Monix's MonoidK instances into the Cats
MonoidK
.You can import monixToCatsMonoidK in scope, or initiate/extend the MonixToCatsMonoidK class.
- Definition Classes
- MonixToCatsCore9
-
implicit
def
monixToCatsSemigroupK[F[_]](implicit arg0: SemigroupK[F]): SemigroupK[F]
Converts Monix's SemigroupK instances into the Cats
SemigroupK
.Converts Monix's SemigroupK instances into the Cats
SemigroupK
.You can import monixToCatsSemigroupK in scope, or initiate/extend the MonixToCatsSemigroupK class.
- Definition Classes
- MonixToCatsCore8
-
object
reverse extends CatsToMonixConversions
Defines conversions from Cats type-class instances to the Monix type-classes defined in monix.types.
Defines conversions from Cats type-class instances to the Monix type-classes defined in monix.types.
To use:
import monix.cats.reverse._
Note that importing both this and the Monix to Cats conversions in the same scope can create conflicts:
// Don't do this! import monix.cats._ import monix.cats.reverse._