cats-effect-testkit/cats.effect.testkit/TestInstances

TestInstances

trait TestInstances extends ParallelFGenerators with OutcomeGenerators with SyncTypeGenerators
Source:
TestInstances.scala
class Object
trait Matchable
class Any

Type members

Classlikes

case class Ticker(ctx: TestContext)

Value members

Concrete methods

def genResource[F[_], A](implicit F: Applicative[F], AFA: Arbitrary[F[A]], AFU: Arbitrary[F[Unit]], AA: Arbitrary[A]): Gen[Resource[F, A]]
def scheduler(implicit ticker: Ticker): Scheduler
def unsafeRun[A](ioa: IO[A])(implicit ticker: Ticker): Outcome[Option, Throwable, A]

Inherited methods

Concrete fields

Implicits

Implicits

implicit def arbitraryIO[A : Cogen](implicit evidence$2: Arbitrary[A], evidence$3: Cogen[A], ticker: Ticker): Arbitrary[IO[A]]
implicit def arbitraryResource[F[_], A](implicit F: Applicative[F], AFA: Arbitrary[F[A]], AFU: Arbitrary[F[Unit]], AA: Arbitrary[A]): Arbitrary[Resource[F, A]]
implicit def cogenIO[A : Cogen](implicit evidence$1: Cogen[A], ticker: Ticker): Cogen[IO[A]]
implicit def eqIOA[A : Eq](implicit evidence$8: Eq[A], ticker: Ticker): Eq[IO[A]]
implicit def eqResource[F[_], A](implicit E: Eq[F[A]], F: MonadCancel[F, Throwable]): 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.

Source:
TestInstances.scala
implicit def eqSyncIOA[A : Eq]: Eq[SyncIO[A]]
implicit lazy val eqThrowable: Eq[Throwable]
implicit def ioBooleanToProp(iob: IO[Boolean])(implicit ticker: Ticker): Prop
implicit def materializeRuntime(implicit ticker: Ticker): IORuntime
implicit def ordResourceFFD[F[_]](implicit ordF: Order[F[FiniteDuration]], F: MonadCancel[F, Throwable]): Order[Resource[F, FiniteDuration]]
implicit def orderIoFiniteDuration(implicit ticker: Ticker): Order[IO[FiniteDuration]]
implicit def resourceFBooleanToProp[F[_]](r: Resource[F, Boolean])(implicit view: F[Boolean] => Prop, F: MonadCancel[F, Throwable]): Prop

Inherited implicits

implicit def arbitraryParallelF[F[_], A](implicit ArbF: Arbitrary[F[A]]): Arbitrary[T[F, A]]
implicit def cogenOutcome[F[_], E : Cogen, A](implicit evidence$72: Cogen[E], A: Cogen[F[A]]): Cogen[Outcome[F, E, A]]
Inherited from:
OutcomeGenerators
Source:
Generators.scala
implicit val cogenSyncType: Cogen[Type]
implicit def eqParallelF[F[_], A](implicit EqF: Eq[F[A]]): Eq[T[F, A]]