Data.GenValidity.Hspec

Tests for GenValidity instances

proxy

genspec

arbitrarySpec

validitySpec

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