scalaz-scalacheck-binding/scalaz.scalacheck/ScalazProperties/foldable

foldable

object foldable
class Object
trait Matchable
class Any

Value members

Concrete methods

def laws[F[_]](implicit fa: Arbitrary[F[Int]], F: Foldable[F]): Properties
def leftFMConsistent[F[_], A](implicit F: Foldable[F], afa: Arbitrary[F[A]], ea: Equal[A]): Prop
def rightFMConsistent[F[_], A](implicit F: Foldable[F], afa: Arbitrary[F[A]], ea: Equal[A]): Prop