Attributes
- Companion:
- object
- Source:
- MonadCancelLaws.scala
- Graph
- Supertypes
- trait MonadLaws[F]trait FlatMapLaws[F]trait ApplicativeLaws[F]trait ApplyLaws[F]trait SemigroupalLaws[F]trait FunctorLaws[F]trait InvariantLaws[F]class Objecttrait Matchableclass Any
- Known subtypes
Members list
Value members
Concrete methods
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Attributes
- Source:
- MonadCancelLaws.scala
Inherited methods
Attributes
- Definition Classes
- Inherited from:
- MonadErrorLaws
- Source:
- MonadErrorLaws.scala
Attributes
- Definition Classes
- Inherited from:
- MonadErrorLaws
- Source:
- MonadErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeLaws
- Source:
- ApplicativeLaws.scala
This law is applyComposition stated in terms of pure
. It is a
combination of applyComposition and applicativeMap and hence not
strictly necessary.
This law is applyComposition stated in terms of pure
. It is a
combination of applyComposition and applicativeMap and hence not
strictly necessary.
Attributes
- Inherited from:
- ApplicativeLaws
- Source:
- ApplicativeLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeLaws
- Source:
- ApplicativeLaws.scala
Attributes
- Inherited from:
- ApplicativeLaws
- Source:
- ApplicativeLaws.scala
Attributes
- Inherited from:
- ApplicativeLaws
- Source:
- ApplicativeLaws.scala
Attributes
- Inherited from:
- ApplicativeLaws
- Source:
- ApplicativeLaws.scala
Attributes
- Inherited from:
- ApplicativeLaws
- Source:
- ApplicativeLaws.scala
Attributes
- Inherited from:
- ApplyLaws
- Source:
- ApplyLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- FunctorLaws
- Source:
- FunctorLaws.scala
Attributes
- Inherited from:
- FunctorLaws
- Source:
- FunctorLaws.scala
Attributes
- Inherited from:
- FlatMapLaws
- Source:
- FlatMapLaws.scala
Attributes
- Inherited from:
- FlatMapLaws
- Source:
- FlatMapLaws.scala
It is possible to implement flatMap from tailRecM and map and it should agree with the flatMap implementation.
It is possible to implement flatMap from tailRecM and map and it should agree with the flatMap implementation.
Attributes
- Inherited from:
- FlatMapLaws
- Source:
- FlatMapLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- InvariantLaws
- Source:
- InvariantLaws.scala
Attributes
- Inherited from:
- InvariantLaws
- Source:
- InvariantLaws.scala
The composition of cats.data.Kleisli
arrows is associative. This is
analogous to flatMapAssociativity.
The composition of cats.data.Kleisli
arrows is associative. This is
analogous to flatMapAssociativity.
Attributes
- Inherited from:
- FlatMapLaws
- Source:
- FlatMapLaws.scala
pure
is the left identity element under left-to-right composition of
cats.data.Kleisli
arrows. This is analogous to monadLeftIdentity.
pure
is the left identity element under left-to-right composition of
cats.data.Kleisli
arrows. This is analogous to monadLeftIdentity.
Attributes
- Inherited from:
- MonadLaws
- Source:
- MonadLaws.scala
pure
is the right identity element under left-to-right composition of
cats.data.Kleisli
arrows. This is analogous to monadRightIdentity.
pure
is the right identity element under left-to-right composition of
cats.data.Kleisli
arrows. This is analogous to monadRightIdentity.
Attributes
- Inherited from:
- MonadLaws
- Source:
- MonadLaws.scala
Attributes
- Inherited from:
- ApplyLaws
- Source:
- ApplyLaws.scala
Attributes
- Inherited from:
- ApplyLaws
- Source:
- ApplyLaws.scala
Make sure that map and flatMap are consistent.
Make sure that map and flatMap are consistent.
Attributes
- Inherited from:
- MonadLaws
- Source:
- MonadLaws.scala
Attributes
- Inherited from:
- MonadErrorLaws
- Source:
- MonadErrorLaws.scala
Attributes
- Inherited from:
- MonadErrorLaws
- Source:
- MonadErrorLaws.scala
Attributes
- Inherited from:
- MonadErrorLaws
- Source:
- MonadErrorLaws.scala
Attributes
- Inherited from:
- MonadLaws
- Source:
- MonadLaws.scala
Attributes
- Inherited from:
- MonadLaws
- Source:
- MonadLaws.scala
Attributes
- Inherited from:
- ApplicativeLaws
- Source:
- ApplicativeLaws.scala
Attributes
- Inherited from:
- ApplicativeLaws
- Source:
- ApplicativeLaws.scala
Attributes
- Inherited from:
- FlatMapLaws
- Source:
- FlatMapLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- ApplyLaws
- Source:
- ApplyLaws.scala
Attributes
- Inherited from:
- ApplyLaws
- Source:
- ApplyLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Attributes
- Inherited from:
- MonadErrorLaws
- Source:
- MonadErrorLaws.scala
Attributes
- Inherited from:
- ApplicativeLaws
- Source:
- ApplicativeLaws.scala
Attributes
- Inherited from:
- MonadErrorLaws
- Source:
- MonadErrorLaws.scala
Attributes
- Inherited from:
- SemigroupalLaws
- Source:
- SemigroupalLaws.scala
Attributes
- Inherited from:
- FlatMapLaws
- Source:
- FlatMapLaws.scala
Attributes
- Inherited from:
- ApplicativeErrorLaws
- Source:
- ApplicativeErrorLaws.scala
Inherited fields
Attributes
- Inherited from:
- MonadLaws
- Source:
- MonadLaws.scala
Implicits
Implicits
Attributes
- Source:
- MonadCancelLaws.scala