scalaprops-all/scalaprops.scalazlaws/bifoldable

bifoldable

object bifoldable
class Object
trait Matchable
class Any

Value members

Concrete methods

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