scalaz-scalacheck-binding/scalaz.scalacheck/ScalazProperties/functor

functor

object functor
class Object
trait Matchable
class Any

Value members

Concrete methods

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