schrodinger-testkit/schrodinger.testkit/RVTestkit

RVTestkit

trait RVTestkit extends RVTestkitLowPriority with TestInstances
trait TestInstances
trait SyncTypeGenerators
trait OutcomeGenerators
trait ParallelFGenerators
trait RVTestkitLowPriority
class Object
trait Matchable
class Any

Type members

Inherited classlikes

@implicitNotFound("could not find an instance of Ticker; try using `in ticked { implicit ticker =>`")
case class Ticker(ctx: TestContext)
Inherited from:
TestInstances

Value members

Inherited methods

def genResource[F[_], A](implicit F: Applicative[F], AFA: Arbitrary[F[A]], AFU: Arbitrary[F[Unit]], AA: Arbitrary[A]): Gen[Resource[F, A]]
Inherited from:
TestInstances
def outcomeGenerators[F[_] : Applicative, E : Cogen]: ApplicativeErrorGenerators[[_] =>> Outcome[F, E, _$29], E]
Inherited from:
OutcomeGenerators
def scheduler(implicit ticker: Ticker): Scheduler
Inherited from:
TestInstances
def unsafeRun[A](ioa: IO[A])(implicit ticker: Ticker): Outcome[Option, Throwable, A]
Inherited from:
TestInstances
def unsafeRunSync[A](ioa: SyncIO[A]): Outcome[Id, Throwable, A]
Inherited from:
TestInstances

Inherited fields

lazy val arbitraryThrowable: Arbitrary[Throwable]
Inherited from:
TestInstances

Givens

Givens

given given_Arbitrary_RVT[F[_], S, A](using evidence$3: Async[F], evidence$4: SplittableRng[S], evidence$5: ExhaustiveCheck[S], evidence$6: Arbitrary[A], evidence$7: Cogen[A], Cogen[F[Unit]], Ticker): Arbitrary[RVT[F, S, A]]
given given_Cogen_RVT[F[_], S, A](using evidence$8: Monad[F], pseudo: Aux[[_] =>> RVT[F, S, _$12], F, S], seeds: ExhaustiveCheck[S], cogen: Cogen[F[A]]): Cogen[RVT[F, S, A]]
given given_Eq_RVT[F[_], S, A](using evidence$1: Monad[F], evidence$2: Eq[A], Aux[[_] =>> RVT[F, S, _$2], F, S], ExhaustiveCheck[S], Confidence, Eq[F[SimulationResult[A]]]): Eq[RVT[F, S, A]]

Inherited givens

given given_Arbitrary_RVT[F[_], S, A](using evidence$9: Monad[F], evidence$10: Arbitrary[A], evidence$11: Cogen[A], Aux[[_] =>> RVT[F, S, _$14], F, S]): Arbitrary[RVT[F, S, A]]
Inherited from:
RVTestkitLowPriority
given given_Order_RVT[F[_], S, A](using evidence$12: Monad[F], pseudo: Aux[[_] =>> RVT[F, S, _$19], F, S], seeds: ExhaustiveCheck[S], orderF: Order[F[A]]): Order[RVT[F, S, A]]
Inherited from:
RVTestkitLowPriority

Extensions

Extensions

extension (ruleSet: RuleSet)
final def random: RuleSet

Implicits

Inherited implicits

implicit def arbitraryExecutionContext(implicit ticker: Ticker): Arbitrary[ExecutionContext]
Inherited from:
TestInstances
implicit lazy val arbitraryFiniteDuration: Arbitrary[FiniteDuration]
Inherited from:
TestInstances
implicit def arbitraryIO[A : Cogen](implicit evidence$2: Arbitrary[A], evidence$3: Cogen[A], ticker: Ticker): Arbitrary[IO[A]]
Inherited from:
TestInstances
implicit def arbitraryOutcome[F[_] : Applicative, E : Cogen, A : Arbitrary]: Arbitrary[Outcome[F, E, A]]
Inherited from:
OutcomeGenerators
implicit def arbitraryParallelF[F[_], A](implicit ArbF: Arbitrary[F[A]]): Arbitrary[T[F, A]]
Inherited from:
ParallelFGenerators
implicit def arbitraryResource[F[_], A](implicit F: Applicative[F], AFA: Arbitrary[F[A]], AFU: Arbitrary[F[Unit]], AA: Arbitrary[A]): Arbitrary[Resource[F, A]]
Inherited from:
TestInstances
implicit def arbitrarySyncIO[A : Cogen]: Arbitrary[SyncIO[A]]
Inherited from:
TestInstances
implicit val arbitrarySyncType: Arbitrary[Type]
Inherited from:
SyncTypeGenerators
implicit def cogenIO[A : Cogen](implicit evidence$1: Cogen[A], ticker: Ticker): Cogen[IO[A]]
Inherited from:
TestInstances
implicit def cogenOutcome[F[_], E : Cogen, A](implicit evidence$69: Cogen[E], A: Cogen[F[A]]): Cogen[Outcome[F, E, A]]
Inherited from:
OutcomeGenerators
implicit val cogenSyncType: Cogen[Type]
Inherited from:
SyncTypeGenerators
implicit lazy val eqExecutionContext: Eq[ExecutionContext]
Inherited from:
TestInstances
implicit def eqIOA[A : Eq](implicit evidence$6: Eq[A], ticker: Ticker): Eq[IO[A]]
Inherited from:
TestInstances
implicit def eqParallelF[F[_], A](implicit EqF: Eq[F[A]]): Eq[T[F, A]]
Inherited from:
ParallelFGenerators
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.

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