Module

Test.QuickCheck.Laws.Data.Foldable

Package
purescript-quickcheck-laws
Repository
garyb/purescript-quickcheck-laws

#checkFoldable Source

checkFoldable :: forall f. Foldable f => Arbitrary (f A) => Proxy2 f -> Effect Unit
  • foldr: foldr = foldrDefault
  • foldl: foldl = foldlDefault

#checkFoldableFunctor Source

checkFoldableFunctor :: forall f. Foldable f => Functor f => Arbitrary (f A) => Proxy2 f -> Effect Unit

foldMap: foldMap = fold <<< map