root/scalaz.scalacheck/ScalazProperties/invariantFunctor

invariantFunctor

object invariantFunctor
class Object
trait Matchable
class Any

Value members

Concrete methods

def composite[F[_], X, Y, Z](implicit F: InvariantFunctor[F], af: Arbitrary[F[X]], axy: Arbitrary[X => Y], ayz: Arbitrary[Y => Z], ayx: Arbitrary[Y => X], azy: Arbitrary[Z => Y], ef: Equal[F[Z]]): Prop
def identity[F[_], X](implicit F: InvariantFunctor[F], afx: Arbitrary[F[X]], ef: Equal[F[X]]): Prop
def laws[F[_]](implicit F: InvariantFunctor[F], af: Arbitrary[F[Int]], axy: Arbitrary[Int => Int], ef: Equal[F[Int]]): Properties