scalaprops-all/scalaprops.scalazlaws/zip

zip

object zip
class Object
trait Matchable
class Any

Value members

Concrete methods

def all[F[_]](implicit fa: Gen[F[Int]], F: Zip[F], FF: Functor[F], EF: Equal[F[Int]], FI: Gen[F[Int => Int]]): Properties[ScalazLaw]
def laws[F[_]](implicit fa: Gen[F[Int]], F: Zip[F], FF: Functor[F], EF: Equal[F[Int]], FI: Gen[F[Int => Int]]): Properties[ScalazLaw]
def zipApply[F[_] : Functor, X, Y, Z](implicit evidence$1: Functor[F], F: Zip[F], afx: Gen[F[X]], au: Gen[F[Y => Z]], av: Gen[F[X => Y]], e: Equal[F[Z]]): Property
def zipPreservation[F[_], X](implicit F: Zip[F], FF: Functor[F], afx: Gen[F[X]], ef: Equal[F[X]]): Property
def zipSymmetric[F[_], X, Y](implicit F: Zip[F], FF: Functor[F], afx: Gen[F[X]], afy: Gen[F[Y]], ef: Equal[F[X]]): Property