scalaz-scalacheck-binding/scalaz.scalacheck/ScalazProperties/foldable1

foldable1

object foldable1
class Object
trait Matchable
class Any

Value members

Concrete methods

def laws[F[_]](implicit fa: Arbitrary[F[Int]], F: Foldable1[F]): Properties
def leftFM1Consistent[F[_], A](implicit F: Foldable1[F], fa: Arbitrary[F[A]], ea: Equal[A]): Prop
def rightFM1Consistent[F[_], A](implicit F: Foldable1[F], fa: Arbitrary[F[A]], ea: Equal[A]): Prop