RVTestkit
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 =>`")
- 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
Inherited fields
Givens
Inherited givens
Extensions
Extensions
extension (ruleSet: RuleSet)
Implicits
Inherited implicits
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 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 cogenOutcome[F[_], E : Cogen, A](implicit evidence$69: Cogen[E], A: Cogen[F[A]]): Cogen[Outcome[F, E, A]]
- Inherited from:
- OutcomeGenerators
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 ordResourceFFD[F[_]](implicit ordF: Order[F[FiniteDuration]], F: MonadCancel[F, Throwable]): Order[Resource[F, 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