Module

Test.QuickCheck.Laws.Control.Alignable

#checkAlignable

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

Modules