cats-effect-laws/cats.effect.laws

cats.effect.laws

package cats.effect.laws

Type members

Classlikes

trait AsyncLaws[F[_]] extends GenTemporalLaws[F, Throwable] with SyncLaws[F]
Companion
object
object AsyncLaws
Companion
class
trait AsyncTests[F[_]] extends GenTemporalTests[F, Throwable] with SyncTests[F]
Companion
object
object AsyncTests
Companion
class
trait ClockLaws[F[_]]
Companion
object
object ClockLaws
Companion
class
trait ClockTests[F[_]] extends Laws
Companion
object
object ClockTests
Companion
class
trait GenSpawnLaws[F[_], E] extends MonadCancelLaws[F, E] with UniqueLaws[F]
Companion
object
object GenSpawnLaws
Companion
class
trait GenSpawnTests[F[_], E] extends MonadCancelTests[F, E] with UniqueTests[F]
Companion
object
object GenSpawnTests
Companion
class
trait GenTemporalLaws[F[_], E] extends GenSpawnLaws[F, E] with ClockLaws[F]
Companion
object
object GenTemporalLaws
Companion
class
trait GenTemporalTests[F[_], E] extends GenSpawnTests[F, E] with ClockTests[F]
Companion
object
object GenTemporalTests
Companion
class
sealed trait IsEq[A]
Companion
object
object IsEq extends IsEqLowPriorityImplicits
Companion
class
final class IsEqArrow[A](lhs: A) extends AnyVal
trait MonadCancelLaws[F[_], E] extends MonadErrorLaws[F, E]
Companion
object
object MonadCancelLaws
Companion
class
trait MonadCancelTests[F[_], E] extends MonadErrorTests[F, E]
Companion
object
object MonadCancelTests
Companion
class
trait SyncLaws[F[_]] extends MonadCancelLaws[F, Throwable] with ClockLaws[F] with UniqueLaws[F]
Companion
object
object SyncLaws
Companion
class
trait SyncTests[F[_]] extends MonadCancelTests[F, Throwable] with ClockTests[F] with UniqueTests[F]
Companion
object
object SyncTests
Companion
class
final case class Tolerance[+A](value: A)
Companion
object
object Tolerance
Companion
class
trait UniqueLaws[F[_]]
Companion
object
object UniqueLaws
Companion
class
trait UniqueTests[F[_]] extends Laws
Companion
object
object UniqueTests
Companion
class