Test.Validity

data Proxy k t

Tests for Arbitrary instances involving Validity

arbitrarySpec

arbitraryGeneratesOnlyValid

shrinkProducesOnlyValids

Tests for GenValidity instances

genValiditySpec

genValidityValidGeneratesValid

genValidityInvalidGeneratesInvalid

Tests for RelativeValidity instances

relativeValiditySpec

relativeValidityImpliesValidA

relativeValidityImpliesValidB

Tests for GenRelativeValidity instances

genRelativeValiditySpec

genRelativeValidityValidGeneratesValid

genRelativeValidityInvalidGeneratesInvalid

Standard tests involving validity

producesValidsOnGen

alwaysProducesValid

producesValidsOnValids

producesValidsOnGens2

alwaysProducesValid2

producesValidsOnValids2

Standard tests involving functions that can fail

class CanFail f

succeedsOnGen

succeedsOnValidInput

failsOnGen

failsOnInvalidInput

validIfSucceedsOnGen

validIfSucceeds