scalaz/scalaz.scalacheck/ScalazArbitrary1

ScalazArbitrary1

abstract
class ScalazArbitrary1
class Object
trait Matchable
class Any

Implicits

Implicits

implicit
def cogenAlter[F[_], A](implicit F: Cogen[F[A]]): Cogen[Alter[F, A]]
implicit
def cogenAp[F[_], A](implicit F: Cogen[F[A]]): Cogen[Ap[F, A]]
implicit
def cogenCokleisli[F[_], A, B](implicit F: Cogen[F[A] => B]): Cogen[Cokleisli[F, A, B]]
implicit
def cogenConst[A, B](implicit A: Cogen[A]): Cogen[Const[A, B]]
implicit
def cogenContravariantCoyoneda[F[_] : Contravariant, A](implicit evidence$21: Contravariant[F], F: Cogen[F[A]]): Cogen[ContravariantCoyoneda[F, A]]
implicit
def cogenCoproduct[F[_], G[_], A](implicit A: Cogen[F[A] \/ G[A]]): Cogen[Coproduct[F, G, A]]
implicit
def cogenCoyoneda[F[_] : Functor, A](implicit evidence$28: Functor[F], F: Cogen[F[A]]): Cogen[Coyoneda[F, A]]
implicit
def cogenDList[A : Cogen]: Cogen[DList[A]]
implicit
def cogenDequeue[A : Cogen]: Cogen[Dequeue[A]]
implicit
def cogenDiev[A : Cogen]: Cogen[Diev[A]]
implicit
def cogenDisjunction[A, B](implicit A: Cogen[A], B: Cogen[B]): Cogen[A \/ B]
implicit
def cogenEither3[A1 : Cogen, A2 : Cogen, A3 : Cogen]: Cogen[Either3[A1, A2, A3]]
implicit
def cogenEitherT[F[_], A, B](implicit F: Cogen[F[A \/ B]]): Cogen[EitherT[F, A, B]]
implicit
def cogenEndo[A](implicit A: Cogen[A => A]): Cogen[Endo[A]]
implicit
def cogenEndomorphic[F[_, _], A](implicit F: Cogen[F[A, A]]): Cogen[Endomorphic[F, A]]
implicit
def cogenEphemeralStream[A : Cogen]: Cogen[EphemeralStream[A]]
implicit
def cogenHeap[A : Cogen]: Cogen[Heap[A]]
implicit
def cogenIList[A : Cogen]: Cogen[IList[A]]
implicit
def cogenIMap[A : Cogen, B : Cogen]: Cogen[A ==>> B]
implicit
def cogenISet[A : Cogen]: Cogen[ISet[A]]
implicit
def cogenIdT[F[_], A](implicit F: Cogen[F[A]]): Cogen[IdT[F, A]]
implicit
def cogenImmutableArray[A : Cogen]: Cogen[ImmutableArray[A]]
implicit
def cogenIndSeq[A : Cogen]: Cogen[IndSeq[A]]
implicit
def cogenIndexedContsT[W[_], M[_], R, O, A](implicit F: Cogen[W[A => M[O]] => M[R]]): Cogen[IndexedContsT[W, M, R, O, A]]
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]]
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]]
implicit
def cogenIndexedStoreT[F[_], I : Cogen, A, B](implicit evidence$20: Cogen[I], F: Cogen[F[A => B]]): Cogen[IndexedStoreT[F, I, A, B]]
implicit
def cogenKleisli[F[_], A, B](implicit F: Cogen[A => F[B]]): Cogen[Kleisli[F, A, B]]
implicit
def cogenLazyEither[A : Cogen, B : Cogen]: Cogen[LazyEither[A, B]]
implicit
def cogenLazyEitherT[F[_], A, B](implicit F: Cogen[F[LazyEither[A, B]]]): Cogen[LazyEitherT[F, A, B]]
implicit
def cogenLazyOption[A : Cogen]: Cogen[LazyOption[A]]
implicit
def cogenLazyOptionT[F[_], A](implicit F: Cogen[F[LazyOption[A]]]): Cogen[LazyOptionT[F, A]]
implicit
def cogenLazyTuple2[A1 : Cogen, A2 : Cogen]: Cogen[LazyTuple2[A1, A2]]
implicit
def cogenLazyTuple3[A1 : Cogen, A2 : Cogen, A3 : Cogen]: Cogen[LazyTuple3[A1, A2, A3]]
implicit
def cogenLazyTuple4[A1 : Cogen, A2 : Cogen, A3 : Cogen, A4 : Cogen]: Cogen[LazyTuple4[A1, A2, A3, A4]]
implicit
def cogenMaybe[A : Cogen]: Cogen[Maybe[A]]
implicit
def cogenMaybeT[F[_], A](implicit F: Cogen[F[Maybe[A]]]): Cogen[MaybeT[F, A]]
implicit
def cogenName[A](implicit A: Cogen[A]): Cogen[Name[A]]
implicit
def cogenNeed[A](implicit A: Cogen[A]): Cogen[Need[A]]
implicit
def cogenNonEmptyList[A : Cogen]: Cogen[NonEmptyList[A]]
implicit
def cogenNullArgument[A, B](implicit F: Cogen[Option[A] => B]): Cogen[NullArgument[A, B]]
implicit
def cogenNullResult[A, B](implicit F: Cogen[A => Option[B]]): Cogen[NullResult[A, B]]
implicit
def cogenOneAnd[F[_], A : Cogen](implicit evidence$9: Cogen[A], F: Cogen[F[A]]): Cogen[OneAnd[F, A]]
implicit
def cogenOneOr[F[_], A : Cogen](implicit evidence$8: Cogen[A], F: Cogen[F[A]]): Cogen[OneOr[F, A]]
implicit
def cogenOptionT[F[_], A](implicit F: Cogen[F[Option[A]]]): Cogen[OptionT[F, A]]
implicit
val cogenOrdering: Cogen[Ordering]
implicit
def cogenStreamT[F[_] : Monad, A](implicit evidence$22: Monad[F], F: Cogen[F[Stream[A]]]): Cogen[StreamT[F, A]]
implicit
def cogenStrictTree[A : Cogen]: Cogen[StrictTree[A]]
implicit
def cogenTannen[F[_], G[_, _], A, B](implicit F: Cogen[F[G[A, B]]]): Cogen[Tannen[F, G, A, B]]
implicit
def cogenThese[A, B](implicit A: Cogen[A], B: Cogen[B]): Cogen[A \&/ B]
implicit
def cogenTheseT[F[_], A, B](implicit F: Cogen[F[A \&/ B]]): Cogen[TheseT[F, A, B]]
implicit
def cogenTracedT[W[_], A, B](implicit W: Cogen[W[A => B]]): Cogen[TracedT[W, A, B]]
implicit
def cogenTree[A : Cogen]: Cogen[Tree[A]]
implicit
def cogenTreeLoc[A : Cogen]: Cogen[TreeLoc[A]]
implicit
def cogenUnwriterT[F[_], A, B](implicit F: Cogen[F[(A, B)]]): Cogen[UnwriterT[F, A, B]]
implicit
def cogenValidation[A : Cogen, B : Cogen]: Cogen[Validation[A, B]]
implicit
def cogenValue[A](implicit A: Cogen[A]): Cogen[Value[A]]
implicit
def cogenWriterT[F[_], A, B](implicit F: Cogen[F[(A, B)]]): Cogen[WriterT[F, A, B]]
implicit
def cogenZipper[A](implicit A: Cogen[A]): Cogen[Zipper[A]]