Module

Test.QuickCheck.Laws.Control.Alignable

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

#checkAlignable Source

checkAlignable :: forall f. Alignable f => Arbitrary (f A) => Arbitrary (f B) => Eq (f (These A B)) => Proxy f -> Effect Unit

Instances are required to satisfy the following laws:

  • Left Identity: align identity nil x == fmap That x
  • Right Identity: align identity x nil ≡ fmap This x