root
API
Generated with
root/boilerplate.effect.testkit/EffTestInstances

EffTestInstances

boilerplate.effect.testkit.EffTestInstances
See theEffTestInstances companion trait
object EffTestInstances extends EffTestInstances

Attributes

Companion
trait
Graph
Supertypes
trait TestInstances
trait SyncTypeGenerators
trait OutcomeGenerators
trait ParallelFGenerators
class Object
trait Matchable
class Any
Show all
Self type

Members list

Type members

Inherited classlikes

case class Ticker(ctx: TestContext = ...)

Attributes

Inherited from:
TestInstances
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Value members

Inherited methods

def arbitraryIOWithoutContextShift[A : Arbitrary : Cogen]: Arbitrary[IO[A]]

Attributes

Inherited from:
TestInstances
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
def outcomeGenerators[F[_] : Applicative, E : Arbitrary : Cogen]: ApplicativeErrorGenerators[[_] =>> Outcome[F, E, _$33], E]

Attributes

Inherited from:
OutcomeGenerators
def scheduler(implicit ticker: Ticker): Scheduler

Attributes

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

Attributes

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

Attributes

Inherited from:
TestInstances

Inherited fields

lazy val arbitraryThrowable: Arbitrary[Throwable]

Attributes

Inherited from:
TestInstances

Givens

Inherited givens

given arbitraryEff: [E <: Throwable, A] => Arbitrary[IO[Either[E, A]]] => Arbitrary[Eff[E, A]]

Attributes

Inherited from:
EffGenerators
given cogenEff: [E <: Throwable, A] => (Cogen[E], Cogen[A], Ticker, TypeTest[Throwable, E]) => Cogen[Eff[E, A]]

Attributes

Inherited from:
EffTestInstances
given effBooleanToProp: [E <: Throwable] => (Ticker, TypeTest[Throwable, E]) => Conversion[Eff[E, Boolean], Prop]

Attributes

Inherited from:
EffTestInstances
given eqEff: [E <: Throwable, A] => (Eq[E], Eq[A], Ticker, TypeTest[Throwable, E]) => Eq[Eff[E, A]]

Attributes

Inherited from:
EffTestInstances
given isomorphismsEff: [E <: Throwable] => Isomorphisms[Of[E]]

Attributes

Inherited from:
EffTestInstances
given prettyEff: [E <: Throwable, A] => (Ticker, TypeTest[Throwable, E]) => Eff[E, A] => Pretty

Attributes

Inherited from:
EffTestInstances

Implicits

Inherited implicits

implicit def arbitraryExecutionContext(implicit ticker: Ticker): Arbitrary[ExecutionContext]

Attributes

Inherited from:
TestInstances
implicit lazy val arbitraryFiniteDuration: Arbitrary[FiniteDuration]

Attributes

Inherited from:
TestInstances
implicit def arbitraryIO[A](implicit evidence$1: Arbitrary[A], evidence$2: Cogen[A], ticker: Ticker): Arbitrary[IO[A]]

Attributes

Inherited from:
TestInstances
implicit def arbitraryOutcome[F[_] : Applicative, E : Arbitrary : Cogen, A : Arbitrary : Cogen]: Arbitrary[Outcome[F, E, A]]

Attributes

Inherited from:
OutcomeGenerators
implicit def arbitraryParallelF[F[_], A](implicit ArbF: Arbitrary[F[A]]): Arbitrary[instance.T[F, A]]

Attributes

Inherited from:
ParallelFGenerators
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
implicit def arbitrarySyncIO[A : Arbitrary : Cogen]: Arbitrary[SyncIO[A]]

Attributes

Inherited from:
TestInstances
implicit val arbitrarySyncType: Arbitrary[Type]

Attributes

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

Attributes

Inherited from:
TestInstances
implicit def cogenOutcome[F[_], E, A](implicit evidence$1: Cogen[E], A: Cogen[F[A]]): Cogen[Outcome[F, E, A]]

Attributes

Inherited from:
OutcomeGenerators
implicit val cogenSyncType: Cogen[Type]

Attributes

Inherited from:
SyncTypeGenerators
implicit lazy val eqExecutionContext: Eq[ExecutionContext]

Attributes

Inherited from:
TestInstances
implicit def eqIOA[A](implicit evidence$1: Eq[A], ticker: Ticker): Eq[IO[A]]

Attributes

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

Attributes

Inherited from:
ParallelFGenerators
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
implicit def eqSyncIOA[A : Eq]: Eq[SyncIO[A]]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
TestInstances
Generated with