Module

Test.QuickCheck.Laws.Control.Crosswalk

#checkCrosswalk

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

Instances are required to satisfy the following laws:

  • Annihilation: crosswalk (const nil) == const nil

Modules