discipline

Type Members

1. trait AsyncTests[F[_]] extends SyncTests[F]

   

2. trait BracketTests[F[_], E] extends MonadErrorTests[F, E]

   

3. trait ConcurrentEffectTests[F[_]] extends ConcurrentTests[F] with EffectTests[F]

   

4. trait ConcurrentTests[F[_]] extends AsyncTests[F]

   

5. trait EffectTests[F[_]] extends AsyncTests[F]

   

6. final case class Parameters(stackSafeIterationsCount: Int, allowNonTerminationLaws: Boolean) extends Product with Serializable

   

   Parameters that can be used for tweaking how the tests behave.

   Parameters that can be used for tweaking how the tests behave.

   stackSafeIterationsCount

   specifies the number of iterations necessary in loops meant to prove stack safety; needed because these tests can be very heavy

   allowNonTerminationLaws

   specifies if the laws that detect non-termination (e.g. IO.never) should be enabled or not. Default is true, however if the only way to detect non-termination is to block the thread with a timeout, then that makes tests really hard to evaluate, so it's best if they are disabled

7. trait SyncTests[F[_]] extends BracketTests[F, Throwable]