Module

Test.QuickCheck.Laws.Data.Foldable

#checkFoldable 

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

#checkFoldableGen 

checkFoldableGen :: forall f. Foldable f => Gen (f A) -> Effect Unit

#checkFoldableFunctor 

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

foldMap: foldMap = fold <<< map

#checkFoldableFunctorGen 

checkFoldableFunctorGen :: forall f. Foldable f => Functor f => Gen (f A) -> Effect Unit

Modules