Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
module Data.RelativeValidity
class (GenValidity a, RelativeValidity a b) => GenRelativeValidity a b where Source #
genUncheckedFor :: b -> Gen a Source #
genValidFor :: b -> Gen a Source #
genInvalidFor :: b -> Gen a Source #