TestInstances
trait SyncTypeGenerators
trait OutcomeGenerators
trait ParallelFGenerators
class Object
trait Matchable
class Any
Type members
Classlikes
@implicitNotFound("could not find an instance of Ticker; try using `in ticked { implicit ticker =>`")
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]]
Inherited methods
def outcomeGenerators[F[_] : Applicative, E : Cogen]: ApplicativeErrorGenerators[[_] =>> Outcome[F, E, _$29], E]
Concrete fields
Implicits
Implicits
implicit def arbitraryResource[F[_], A](implicit F: Applicative[F], AFA: Arbitrary[F[A]], AFU: Arbitrary[F[Unit]], AA: Arbitrary[A]): Arbitrary[Resource[F, A]]
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.
implicit def ordResourceFFD[F[_]](implicit ordF: Order[F[FiniteDuration]], F: MonadCancel[F, Throwable]): Order[Resource[F, FiniteDuration]]
implicit def resourceFBooleanToProp[F[_]](r: Resource[F, Boolean])(implicit view: F[Boolean] => Prop, F: MonadCancel[F, Throwable]): Prop
Inherited implicits
implicit def arbitraryOutcome[F[_] : Applicative, E : Cogen, A : Arbitrary]: Arbitrary[Outcome[F, E, A]]
- Inherited from:
- OutcomeGenerators