- Companion:
- object
- Source:
- GenTemporalLaws.scala
Value members
Concrete methods
Inherited methods
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
- Source:
- ApplicativeLaws.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.
- Inherited from:
- FlatMapLaws
- Source:
- FlatMapLaws.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.
- 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.
- 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.
- Inherited from:
- MonadLaws
- Source:
- MonadLaws.scala
Make sure that map and flatMap are consistent.
Make sure that map and flatMap are consistent.
- Inherited from:
- MonadLaws
- Source:
- MonadLaws.scala