Module

Test.QuickCheck.Laws.Control.Crosswalk

Package: purescript-these
Repository: purescript-contrib/purescript-these

#checkCrosswalk Source

checkCrosswalk :: forall f t. Crosswalk f => Alignable t => Arbitrary (f A) => Eq (t (f A)) => Proxy2 f -> Proxy2 t -> Effect Unit

Instances are required to satisfy the following laws:

Annihilation: crosswalk (const nil) == const nil

Modules: Data.Align; Data.These; Data.These.Gen; Test.QuickCheck.Laws.Control.Align; Test.QuickCheck.Laws.Control.Alignable; Test.QuickCheck.Laws.Control.Crosswalk