cats-effect/cats.effect.laws.discipline/arbitrary

arbitrary

object arbitrary
class Object
trait Matchable
class Any

Value members

Concrete methods

def genApply[A](implicit evidence$12: Arbitrary[A]): Gen[SyncIO[A]]
def genAsync[A](implicit evidence$13: Arbitrary[A]): Gen[IO[A]]
def genAsyncF[A](implicit evidence$14: Arbitrary[A]): Gen[IO[A]]
@nowarn("msg=never used")
def genBindSuspend[A](implicit evidence$19: Arbitrary[A], evidence$20: Cogen[A]): Gen[SyncIO[A]]
def genCancelable[A](implicit evidence$15: Arbitrary[A], evidence$16: Cogen[A]): Gen[IO[A]]
def genFail[A]: Gen[SyncIO[A]]
def genFlatMap[A](implicit evidence$21: Arbitrary[A], evidence$22: Cogen[A]): Gen[IO[A]]
def genIO[A](implicit evidence$7: Arbitrary[A], evidence$8: Cogen[A]): Gen[IO[A]]
def genNestedAsync[A](implicit evidence$17: Arbitrary[A], evidence$18: Cogen[A]): Gen[IO[A]]
def genPure[A](implicit evidence$11: Arbitrary[A]): Gen[SyncIO[A]]
def genResource[F[_], A](implicit F: Applicative[F], AFA: Arbitrary[F[A]], AFU: Arbitrary[F[Unit]]): Gen[Resource[F, A]]
def genSyncIO[A](implicit evidence$9: Arbitrary[A], evidence$10: Cogen[A]): Gen[SyncIO[A]]
def getMapOne[A](implicit evidence$23: Arbitrary[A], evidence$24: Cogen[A]): Gen[IO[A]]
def getMapTwo[A](implicit evidence$25: Arbitrary[A], evidence$26: Cogen[A]): Gen[IO[A]]

Implicits

Implicits

implicit def catsEffectLawsArbitraryForIO[A](implicit evidence$1: Arbitrary[A], evidence$2: Cogen[A]): Arbitrary[IO[A]]
implicit def catsEffectLawsArbitraryForIOParallel[A](implicit evidence$5: Arbitrary[A], evidence$6: Cogen[A]): Arbitrary[Type[A]]
implicit def catsEffectLawsArbitraryForResource[F[_], A](implicit F: Applicative[F], AFA: Arbitrary[F[A]], AFU: Arbitrary[F[Unit]]): Arbitrary[Resource[F, A]]
implicit def catsEffectLawsArbitraryForResourceParallel[F[_], A](implicit A: Arbitrary[Resource[F, A]]): Arbitrary[Type[F, A]]
implicit def catsEffectLawsArbitraryForSyncIO[A](implicit evidence$3: Arbitrary[A], evidence$4: Cogen[A]): Arbitrary[SyncIO[A]]
implicit def catsEffectLawsCogenForExitCase[E](implicit cge: Cogen[E]): Cogen[ExitCase[E]]
implicit def catsEffectLawsCogenForIO[A](implicit cga: Cogen[A]): Cogen[IO[A]]