scalaprops-all/scalaprops.scalazlaws/foldable

foldable

object foldable
class Object
trait Matchable
class Any

Value members

Concrete methods

def all[F[_]](implicit fa: Gen[F[Int]], F: Foldable[F]): Properties[ScalazLaw]
def laws[F[_]](implicit fa: Gen[F[Int]], F: Foldable[F]): Properties[ScalazLaw]
def leftFMConsistent[F[_], A](implicit F: Foldable[F], afa: Gen[F[A]], ea: Equal[A]): Property
def rightFMConsistent[F[_], A](implicit F: Foldable[F], afa: Gen[F[A]], ea: Equal[A]): Property