trait Laws[F[_]] extends MonadEval.Laws[F] with Type[F]
Ordering
- Alphabetic
- By Inheritance
Inherited
- Laws
- Type
- Laws
- Type
- Laws
- Type
- Laws
- Type
- Laws
- Type
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Abstract Value Members
-
implicit abstract
def
applicative: Applicative[F]
- Definition Classes
- Type
-
implicit abstract
def
functor: Functor[F]
- Definition Classes
- Type
-
implicit abstract
def
monad: Monad[F]
- Definition Classes
- Type
-
implicit abstract
def
monadEval: MonadEval[F]
- Definition Classes
- Type
-
implicit abstract
def
suspendable: Suspendable[F]
- Definition Classes
- Type
Concrete Value Members
-
def
applicativeComposition[A, B, C](fa: F[A], fab: F[(A) ⇒ B], fbc: F[(B) ⇒ C]): IsEquiv[F[C]]
- Definition Classes
- Laws
-
def
applicativeHomomorphism[A, B](a: A, f: (A) ⇒ B): IsEquiv[F[B]]
- Definition Classes
- Laws
-
def
applicativeIdentity[A](fa: F[A]): IsEquiv[F[A]]
- Definition Classes
- Laws
-
def
applicativeInterchange[A, B](a: A, ff: F[(A) ⇒ B]): IsEquiv[F[B]]
- Definition Classes
- Laws
-
def
applicativeMap[A, B](fa: F[A], f: (A) ⇒ B): IsEquiv[F[B]]
- Definition Classes
- Laws
-
def
applyComposition[A, B, C](fa: F[A], fab: F[(A) ⇒ B], fbc: F[(B) ⇒ C]): IsEquiv[F[C]]
- Definition Classes
- Laws
-
def
covariantComposition[A, B, C](fa: F[A], f: (A) ⇒ B, g: (B) ⇒ C): IsEquiv[F[C]]
- Definition Classes
- Laws
-
def
covariantIdentity[A](fa: F[A]): IsEquiv[F[A]]
- Definition Classes
- Laws
- def evalDelaysEffects[A](seed: A, effect: (A) ⇒ A): IsEquiv[F[A]]
-
def
evalEquivalenceWithPure[A](a: A): IsEquiv[F[A]]
- Definition Classes
- Laws
-
def
evalEquivalenceWithRaiseError[A](ex: Throwable)(implicit M: MonadError[F, Throwable]): IsEquiv[F[A]]
- Definition Classes
- Laws
- def evalEquivalenceWithSuspend[A](fa: F[A]): IsEquiv[F[A]]
-
def
flatMapAssociativity[A, B, C](fa: F[A], f: (A) ⇒ F[B], g: (B) ⇒ F[C]): IsEquiv[F[C]]
- Definition Classes
- Laws
-
def
flatMapConsistentApply[A, B](fa: F[A], fab: F[(A) ⇒ B]): IsEquiv[F[B]]
- Definition Classes
- Laws
-
def
flatMapConsistentMap2[A, B, C](fa: F[A], fb: F[B], f: (A, B) ⇒ C): IsEquiv[F[C]]
- Definition Classes
- Laws
- def suspendDelaysEffects[A](seed: A, effect: (A) ⇒ A): IsEquiv[F[A]]
- def suspendEquivalenceWithEval[A](a: A): IsEquiv[F[A]]
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
.