schrodinger-testkit
0.4-7059859
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
schrodinger-testkit/schrodinger.testkit/RVTestkit

RVTestkit

schrodinger.testkit.RVTestkit
trait RVTestkit extends TestInstances

Attributes

Source:
RVTestkit.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Inherited classlikes

case class Ticker(ctx: TestContext)

Attributes

Inherited from:
TestInstances
Source:
TestInstances.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
TestInstances
Source:
TestInstances.scala

Inherited fields

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

Attributes

Source:
RVTestkit.scala
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]]

Attributes

Source:
RVTestkit.scala
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]]

Attributes

Source:
RVTestkit.scala

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, _$15], F, S]): Arbitrary[RVT[F, S, A]]

Attributes

Inherited from:
RVTestkitLowPriority (hidden)
Source:
RVTestkit.scala
given given_Order_RVT[F[_], S, A](using evidence$12: Monad[F], pseudo: Aux[[_] =>> RVT[F, S, _$20], F, S], seeds: ExhaustiveCheck[S], orderF: Order[F[A]]): Order[RVT[F, S, A]]

Attributes

Inherited from:
RVTestkitLowPriority (hidden)
Source:
RVTestkit.scala

Extensions

Extensions

extension (ruleSet: RuleSet)
final def random: RuleSet

Attributes

Source:
RVTestkit.scala

Implicits

Inherited implicits

implicit lazy val arbitraryFiniteDuration: Arbitrary[FiniteDuration]

Attributes

Inherited from:
TestInstances
Source:
TestInstances.scala
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 def arbitraryResource[F[_], A](implicit F: Applicative[F], AFA: Arbitrary[F[A]], AFU: Arbitrary[F[Unit]], AA: Arbitrary[A]): Arbitrary[Resource[F, A]]

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
TestInstances
Source:
TestInstances.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 lazy val eqExecutionContext: Eq[ExecutionContext]

Attributes

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

Attributes

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

Attributes

Inherited from:
ParallelFGenerators
Source:
Generators.scala
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.

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
TestInstances
Source:
TestInstances.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL