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._
- Source
- package.scala
- 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._
This is the API documentation for the Monix library.
Package Overview
monix.execution exposes lower level primitives for dealing with asynchronous execution:
Atomic
types, as alternative tojava.util.concurrent.atomic
monix.eval is for dealing with evaluation of results, thus exposing Task and Coeval.
monix.reactive exposes the
Observable
pattern:Observable
implementationsmonix.types implements type-class shims, to be translated to type-classes provided by libraries such as Cats or Scalaz.
monix.cats is the optional integration with the Cats library, providing translations for the types described in
monix.types
.monix.scalaz is the optional integration with the Scalaz library, providing translations for the types described in
monix.types
.