Module

Test.QuickCheck.Laws.Data.Foldable

#checkFoldable

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

#checkFoldableFunctor

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

foldMap: foldMap = fold <<< map

Modules