FunctorLaws

object FunctorLaws
class Object
trait Matchable
class Any

Value members

Concrete methods

def composition[F[*]](genM: GenT[F[Int]], genF: GenT[Int => Int])(implicit functor: Functor[F], eqM: Eq[F[Int]]): Property
def identity[F[*]](genM: GenT[F[Int]])(implicit functor: Functor[F], eqM: Eq[F[Int]]): Property