Module

Test.QuickCheck.Laws.Data.Functor

#checkFunctor

checkFunctor :: forall f. Functor f => Arbitrary (f A) => Eq (f A) => Proxy f -> Effect Unit
  • Identity: (<$>) id = id
  • Composition: (<$>) (f <<< g) = (f <$>) <<< (g <$>)

#checkFunctorGen

checkFunctorGen :: forall f. Functor f => Eq (f A) => Gen (f A) -> Effect Unit

Modules