TestInstances
cats.effect.testkit.TestInstances
Attributes
- Source:
- TestInstances.scala
- Graph
- Supertypes
- trait SyncTypeGeneratorstrait OutcomeGeneratorstrait ParallelFGeneratorsclass Objecttrait Matchableclass Any
- Self type
Members list
Concise view
Type members
Classlikes
Attributes
- Source:
- TestInstances.scala
- Graph
- Supertypes
Value members
Concrete methods
Attributes
- Source:
- TestInstances.scala
def genResource[F[_], A](implicit F: Applicative[F], AFA: Arbitrary[F[A]], AFU: Arbitrary[F[Unit]], AA: Arbitrary[A]): Gen[Resource[F, A]]
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
Inherited methods
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
Concrete fields
Attributes
- Source:
- TestInstances.scala
Implicits
Implicits
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.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
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.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
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
implicit def ordResourceFFD[F[_]](implicit ordF: Order[F[FiniteDuration]], F: MonadCancel[F, Throwable]): Order[Resource[F, FiniteDuration]]
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
implicit def resourceFBooleanToProp[F[_]](r: Resource[F, Boolean])(implicit view: F[Boolean] => Prop, F: MonadCancel[F, Throwable]): Prop
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
Attributes
- Source:
- TestInstances.scala
Inherited implicits
Attributes
- Inherited from:
- OutcomeGenerators
- Source:
- Generators.scala
Attributes
- Inherited from:
- ParallelFGenerators
- Source:
- Generators.scala
Attributes
- Inherited from:
- SyncTypeGenerators
- Source:
- Generators.scala
Attributes
- Inherited from:
- OutcomeGenerators
- Source:
- Generators.scala
Attributes
- Inherited from:
- SyncTypeGenerators
- Source:
- Generators.scala
Attributes
- Inherited from:
- ParallelFGenerators
- Source:
- Generators.scala