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.Groupdefined forA, thenF[A]can also have aGroupinstance.Given an Monix Applicative for
F[A]and acats.Groupdefined forA, thenF[A]can also have aGroupinstance.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.Monoiddefined forA, thenF[A]can also have aMonoidinstance.Given an Monix Applicative for
F[A]and acats.Monoiddefined forA, thenF[A]can also have aMonoidinstance.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.Semigroupdefined forA, thenF[A]can also have aSemigroupinstance.Given a Monix Applicative for
F[A]and acats.Semigroupdefined forA, thenF[A]can also have aSemigroupinstance.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.Groupdefined forA, thenF[A]can also have aGroupinstance.Given an Monix Applicative for
F[A]and acats.Groupdefined forA, thenF[A]can also have aGroupinstance.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.Monoiddefined forA, thenF[A]can also have aMonoidinstance.Given an Monix Applicative for
F[A]and acats.Monoiddefined forA, thenF[A]can also have aMonoidinstance.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.Semigroupdefined forA, thenF[A]can also have aSemigroupinstance.Given a Monix Applicative for
F[A]and acats.Semigroupdefined forA, thenF[A]can also have aSemigroupinstance.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:
Atomictypes, as alternative tojava.util.concurrent.atomicmonix.eval is for dealing with evaluation of results, thus exposing Task and Coeval.
monix.reactive exposes the
Observablepattern:Observableimplementationsmonix.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.