Module

Test.StrongCheck.Laws.Data.Functor

Package
purescript-strongcheck-laws
Repository
garyb/purescript-strongcheck-laws

#checkFunctor Source

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