cats-effect-testkit
3.6-bb17ea2
API
Generated with
cats-effect-testkit/cats.effect.testkit/TestInstances

TestInstances

cats.effect.testkit.TestInstances
trait TestInstances extends ParallelFGenerators, OutcomeGenerators, SyncTypeGenerators

Attributes

Source
TestInstances.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Show all
Self type

Members list

Type members

Classlikes

case class Ticker(ctx: TestContext)

Attributes

Source
TestInstances.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

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]]

Attributes

Source
TestInstances.scala
def scheduler(implicit ticker: Ticker): Scheduler

Attributes

Source
TestInstances.scala
def unsafeRun[A](ioa: IO[A])(implicit ticker: Ticker): Outcome[Option, Throwable, A]

Attributes

Source
TestInstances.scala
def unsafeRunSync[A](ioa: SyncIO[A]): Outcome[Id, Throwable, A]

Attributes

Source
TestInstances.scala

Inherited methods

def outcomeGenerators[F[_] : Applicative, E : Cogen]: ApplicativeErrorGenerators[[_] =>> Outcome[F, E, _$33], E]

Attributes

Inherited from:
OutcomeGenerators
Source
Generators.scala

Concrete fields

lazy val arbitraryThrowable: Arbitrary[Throwable]

Attributes

Source
TestInstances.scala

Implicits

Implicits

implicit def arbitraryExecutionContext(implicit ticker: Ticker): Arbitrary[ExecutionContext]

Attributes

Source
TestInstances.scala
implicit lazy val arbitraryFiniteDuration: Arbitrary[FiniteDuration]

Attributes

Source
TestInstances.scala
implicit def arbitraryIO[A : Cogen](implicit evidence$2: Arbitrary[A], evidence$3: Cogen[A], ticker: Ticker): Arbitrary[IO[A]]

Attributes

Source
TestInstances.scala
implicit def arbitraryResource[F[_], A](implicit F: Applicative[F], AFA: Arbitrary[F[A]], AFU: Arbitrary[F[Unit]], AA: Arbitrary[A]): Arbitrary[Resource[F, A]]

Attributes

Source
TestInstances.scala
implicit def arbitrarySyncIO[A : Cogen]: Arbitrary[SyncIO[A]]

Attributes

Source
TestInstances.scala
implicit def cogenIO[A : Cogen](implicit evidence$1: Cogen[A], ticker: Ticker): Cogen[IO[A]]

Attributes

Source
TestInstances.scala
implicit lazy val eqExecutionContext: Eq[ExecutionContext]

Attributes

Source
TestInstances.scala
implicit def eqIOA[A : Eq](implicit evidence$8: Eq[A], ticker: Ticker): Eq[IO[A]]

Attributes

Source
TestInstances.scala
implicit def eqResource[F[_], A](implicit E: Eq[F[A]], F: MonadCancel[F, Throwable]): Eq[Resource[F, A]]

Defines equality for a Resource.

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.

Attributes

Source
TestInstances.scala
implicit def eqSyncIOA[A : Eq]: Eq[SyncIO[A]]

Attributes

Source
TestInstances.scala
implicit lazy val eqThrowable: Eq[Throwable]

Attributes

Source
TestInstances.scala
implicit def ioBooleanToProp(iob: IO[Boolean])(implicit ticker: Ticker): Prop

Attributes

Source
TestInstances.scala
implicit def materializeRuntime(implicit ticker: Ticker): IORuntime

Attributes

Source
TestInstances.scala
implicit def ordResourceFFD[F[_]](implicit ordF: Order[F[FiniteDuration]], F: MonadCancel[F, Throwable]): Order[Resource[F, FiniteDuration]]

Attributes

Source
TestInstances.scala
implicit def orderIoFiniteDuration(implicit ticker: Ticker): Order[IO[FiniteDuration]]

Attributes

Source
TestInstances.scala
implicit def resourceFBooleanToProp[F[_]](r: Resource[F, Boolean])(implicit view: F[Boolean] => Prop, F: MonadCancel[F, Throwable]): Prop

Attributes

Source
TestInstances.scala
implicit lazy val showThrowable: Show[Throwable]

Attributes

Source
TestInstances.scala
implicit def syncIoBooleanToProp(iob: SyncIO[Boolean]): Prop

Attributes

Source
TestInstances.scala

Inherited implicits

implicit def arbitraryOutcome[F[_] : Applicative, E : Arbitrary, A : Cogen]: Arbitrary[Outcome[F, E, A]]

Attributes

Inherited from:
OutcomeGenerators
Source
Generators.scala
implicit def arbitraryParallelF[F[_], A](implicit ArbF: Arbitrary[F[A]]): Arbitrary[T[F, A]]

Attributes

Inherited from:
ParallelFGenerators
Source
Generators.scala
implicit val arbitrarySyncType: Arbitrary[Type]

Attributes

Inherited from:
SyncTypeGenerators
Source
Generators.scala
implicit def cogenOutcome[F[_], E : Cogen, A](implicit evidence$72: Cogen[E], A: Cogen[F[A]]): Cogen[Outcome[F, E, A]]

Attributes

Inherited from:
OutcomeGenerators
Source
Generators.scala
implicit val cogenSyncType: Cogen[Type]

Attributes

Inherited from:
SyncTypeGenerators
Source
Generators.scala
implicit def eqParallelF[F[_], A](implicit EqF: Eq[F[A]]): Eq[T[F, A]]

Attributes

Inherited from:
ParallelFGenerators
Source
Generators.scala
Generated with