cats-effect/cats.effect.laws.util/TestInstances

TestInstances

trait TestInstances

Defines instances for Future and for IO, meant for law testing by means of TestContext.

The TestContext interpreter is used here for simulating asynchronous execution.

Companion
object
class Object
trait Matchable
class Any

Implicits

Implicits

implicit def eqFuture[A](implicit A: Eq[A], ec: TestContext): Eq[Future[A]]

Defines equality for Future references that can get interpreted by means of a TestContext.

Defines equality for Future references that can get interpreted by means of a TestContext.

implicit def eqIO[A](implicit A: Eq[A], ec: TestContext): Eq[IO[A]]

Defines equality for IO references that can get interpreted by means of a TestContext.

Defines equality for IO references that can get interpreted by means of a TestContext.

implicit def eqIOPar[A](implicit A: Eq[A], ec: TestContext): Eq[Type[A]]

Defines equality for IO.Par references that can get interpreted by means of a TestContext.

Defines equality for IO.Par references that can get interpreted by means of a TestContext.

implicit def eqResource[F[_], A](implicit E: Eq[F[A]], F: BracketThrow[F]): Eq[Resource[F, A]]

Defines equality for a Resource. Two resources are deemed equivalent if they allocate an equivalent resource. Cleanup, which is run purely for effect, is not considered.

Defines equality for a Resource. Two resources are deemed equivalent if they allocate an equivalent resource. Cleanup, which is run purely for effect, is not considered.

implicit def eqResourcePar[F[_], A](implicit E: Eq[Resource[F, A]]): Eq[Type[F, A]]

Defines equality for Resource.Par. Two resources are deemed equivalent if they allocate an equivalent resource. Cleanup, which is run purely for effect, is not considered.

Defines equality for Resource.Par. Two resources are deemed equivalent if they allocate an equivalent resource. Cleanup, which is run purely for effect, is not considered.

implicit def eqSyncIO[A](implicit A: Eq[A]): Eq[SyncIO[A]]

Defines equality for SyncIO references.

Defines equality for SyncIO references.

implicit val eqThrowable: Eq[Throwable]