cats-effect-laws/cats.effect.laws.discipline

cats.effect.laws.discipline

package cats.effect.laws.discipline

Type members

Classlikes

trait AsyncTests[F <: ([_$1] =>> Any)] extends SyncTests[F]
Companion
object
object AsyncTests
Companion
class
trait BracketTests[F <: ([_$1] =>> Any), E] extends MonadErrorTests[F, E]
Companion
object
object BracketTests
Companion
class
trait ConcurrentEffectTests[F <: ([_$1] =>> Any)] extends ConcurrentTests[F] with EffectTests[F]
Companion
object
object ConcurrentEffectTests
Companion
class
trait ConcurrentTests[F <: ([_$1] =>> Any)] extends AsyncTests[F]
Companion
object
object ConcurrentTests
Companion
class
trait EffectTests[F <: ([_$1] =>> Any)] extends AsyncTests[F]
Companion
object
object EffectTests
Companion
class
final case class Parameters(stackSafeIterationsCount: Int, allowNonTerminationLaws: Boolean)
Parameters that can be used for tweaking how the tests behave.
Value Params
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
stackSafeIterationsCount
specifies the number of iterations
necessary in loops meant to prove stack safety; needed
because these tests can be very heavy
Companion
object
object Parameters
Companion
class
trait SyncEffectTests[F <: ([_$1] =>> Any)] extends SyncTests[F]
Companion
object
object SyncEffectTests
Companion
class
trait SyncTests[F <: ([_$1] =>> Any)] extends BracketTests[F, Throwable]
Companion
object
object SyncTests
Companion
class
object arbitrary