Package

cats.effect.laws

discipline

Permalink

package discipline

Visibility
  1. Public
  2. All

Type Members

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

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

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

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

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

    Permalink
  6. final case class Parameters(stackSafeIterationsCount: Int) extends Product with Serializable

    Permalink

    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

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

    Permalink

Value Members

  1. object AsyncTests

    Permalink
  2. object BracketTests

    Permalink
  3. object ConcurrentEffectTests

    Permalink
  4. object ConcurrentTests

    Permalink
  5. object EffectTests

    Permalink
  6. object Parameters extends Serializable

    Permalink
  7. object SyncTests

    Permalink
  8. object arbitrary

    Permalink

Ungrouped