- Companion
- object
Value members
Concrete methods
Inherited methods
- Inherited from
- BracketLaws
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.
- Inherited from
- ApplicativeLaws
- Inherited from
- ApplicativeErrorLaws
- Inherited from
- BracketLaws
- Inherited from
- BracketLaws
- Inherited from
- BracketLaws
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.
- Inherited from
- FlatMapLaws
- Inherited from
- BracketLaws
- Inherited from
- InvariantLaws
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.
- Inherited from
- FlatMapLaws
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.
- Inherited from
- MonadLaws
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.
- Inherited from
- MonadLaws
Make sure that map and flatMap are consistent.
Make sure that map and flatMap are consistent.
- Inherited from
- MonadLaws
- Inherited from
- MonadErrorLaws
- Inherited from
- SemigroupalLaws