ScalazArbitraryPlatform
abstract
Instances of [[scalacheck.Arbitrary]]
for JVM-only parts of Scalaz.
Implicits
Implicits
Inherited implicits
implicit
def cogenContravariantCoyoneda[F[_] : Contravariant, A](implicit evidence$21: Contravariant[F], F: Cogen[F[A]]): Cogen[ContravariantCoyoneda[F, A]]
- Inherited from
- ScalazArbitrary1
implicit
def cogenCoyoneda[F[_] : Functor, A](implicit evidence$28: Functor[F], F: Cogen[F[A]]): Cogen[Coyoneda[F, A]]
- Inherited from
- ScalazArbitrary1
implicit
def cogenIndexedContsT[W[_], M[_], R, O, A](implicit F: Cogen[W[A => M[O]] => M[R]]): Cogen[IndexedContsT[W, M, R, O, A]]
- Inherited from
- ScalazArbitrary1
implicit
def cogenIndexedReaderWriterStateT[F[_] : Monad, R, W, S1, S2, A](implicit evidence$23: Monad[F], F: Cogen[(R, S1) => F[(W, A, S2)]]): Cogen[IndexedReaderWriterStateT[F, R, W, S1, S2, A]]
- Inherited from
- ScalazArbitrary1
implicit
def cogenIndexedStateT[F[_] : Monad, S1, S2, A](implicit evidence$24: Monad[F], F: Cogen[S1 => F[(S2, A)]]): Cogen[IndexedStateT[F, S1, S2, A]]
- Inherited from
- ScalazArbitrary1
implicit
def cogenIndexedStoreT[F[_], I : Cogen, A, B](implicit evidence$20: Cogen[I], F: Cogen[F[A => B]]): Cogen[IndexedStoreT[F, I, A, B]]
- Inherited from
- ScalazArbitrary1
implicit
def cogenLazyEitherT[F[_], A, B](implicit F: Cogen[F[LazyEither[A, B]]]): Cogen[LazyEitherT[F, A, B]]
- Inherited from
- ScalazArbitrary1
implicit
def cogenLazyTuple4[A1 : Cogen, A2 : Cogen, A3 : Cogen, A4 : Cogen]: Cogen[LazyTuple4[A1, A2, A3, A4]]
- Inherited from
- ScalazArbitrary1
implicit
def cogenOneAnd[F[_], A : Cogen](implicit evidence$9: Cogen[A], F: Cogen[F[A]]): Cogen[OneAnd[F, A]]
- Inherited from
- ScalazArbitrary1
implicit
def cogenStreamT[F[_] : Monad, A](implicit evidence$22: Monad[F], F: Cogen[F[Stream[A]]]): Cogen[StreamT[F, A]]
- Inherited from
- ScalazArbitrary1