laws

Type Members

1. trait AsyncLaws[F[_]] extends DeferrableLaws[F] with EventualLaws[F]

   

2. trait CatchableLaws[F[_]] extends EvaluableLaws[F]

   

3. trait DeferrableLaws[F[_]] extends EvaluableLaws[F]

   

   Laws that have to be satisfied for effects4s.Deferrable data types, assuming that the F[_] data-type is also a Monad.

4. trait EvaluableLaws[F[_]] extends AnyRef

   

   Laws that have to be satisfied for effects4s.Evaluable, assuming that the F[_] data-type is also an Applicative.

5. trait EventualLaws[F[_]] extends CatchableLaws[F]