scalaz/scalaz.scalacheck/ScalazProperties/foldable1

foldable1

object foldable1
class Object
trait Matchable
class Any

Type members

Types

type Pair[A] = (A, A)

Value members

Concrete methods

def laws[F[_]](implicit fa: Arbitrary[F[Int]], F: Foldable1[F], EA: Equal[Int]): 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