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