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)) => Proxy f -> Proxy t -> Effect Unit

Instances are required to satisfy the following laws:

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