RVTestkit
schrodinger.testkit.RVTestkit
Attributes
- Source:
- RVTestkit.scala
- Graph
- Supertypes
- trait TestInstancestrait SyncTypeGeneratorstrait OutcomeGeneratorstrait ParallelFGeneratorsclass Objecttrait Matchableclass Any
Members list
Concise view
Type members
Inherited classlikes
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
- Graph
- Supertypes
Value members
Inherited methods
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
def outcomeGenerators[F[_] : Applicative, E : Cogen]: ApplicativeErrorGenerators[[_] =>> Outcome[F, E, _$33], E]
Attributes
- Inherited from:
- [Gen[Canceled[F,E,A]]](Gen.const[Canceled[F,E,A]](Outcome.Canceled.apply[F,E,A]()))).++[Tuple2[String,Gen[Outcome[F,E,A]]]](super.baseGen[A](evidence$73,evidence$74)) } (new$anon():ApplicativeErrorGenerators[[_$33>:Nothing<:Any]=>Outcome[F,E,_$33],E]) }">OutcomeGenerators
- Source:
- Generators.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Inherited fields
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
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
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
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)
Attributes
- Source:
- RVTestkit.scala
Implicits
Inherited implicits
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
implicit def arbitraryIO[A : Cogen](implicit evidence$2: Arbitrary[A], evidence$3: Cogen[A], ticker: Ticker): Arbitrary[IO[A]]
Attributes
- Inherited from:
- OutcomeGenerators
- Source:
- Generators.scala
Attributes
- Inherited from:
- ParallelFGenerators
- Source:
- Generators.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Attributes
- Inherited from:
- SyncTypeGenerators
- Source:
- Generators.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Attributes
- Inherited from:
- OutcomeGenerators
- Source:
- Generators.scala
Attributes
- Inherited from:
- SyncTypeGenerators
- Source:
- Generators.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Attributes
- Inherited from:
- ParallelFGenerators
- Source:
- Generators.scala
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
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
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
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala
Attributes
- Inherited from:
- TestInstances
- Source:
- TestInstances.scala