Module

Test.QuickCheck.Laws.Data.Functor

#checkFunctor 

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

Modules