cats-effect-laws/cats.effect.laws

cats.effect.laws

package cats.effect.laws

Type members

Classlikes

trait AsyncLaws[F[_]] extends SyncLaws[F]
Companion
object
object AsyncLaws
Companion
class
trait BracketLaws[F[_], E] extends MonadErrorLaws[F, E]
Companion
object
object BracketLaws
Companion
class
trait ConcurrentEffectLaws[F[_]] extends ConcurrentLaws[F] with EffectLaws[F]
Companion
object
object ConcurrentEffectLaws
Companion
class
trait ConcurrentLaws[F[_]] extends AsyncLaws[F]
Companion
object
object ConcurrentLaws
Companion
class
trait EffectLaws[F[_]] extends AsyncLaws[F]
Companion
object
object EffectLaws
Companion
class
trait SyncEffectLaws[F[_]] extends SyncLaws[F]
Companion
object
object SyncEffectLaws
Companion
class
trait SyncLaws[F[_]] extends BracketLaws[F, Throwable] with DeferLaws[F]
Companion
object
object SyncLaws
Companion
class