Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
module Data.RelativeValidity
class (GenUnchecked a, RelativeValidity a b, GenRelativeUnchecked a b) => GenRelativeInvalid a b where Source #
Nothing
genInvalidFor :: b -> Gen a Source #
class (GenValid a, RelativeValidity a b) => GenRelativeValid a b where Source #
Nothing
genValidFor :: b -> Gen a Source #
class (GenUnchecked a, RelativeValidity a b) => GenRelativeUnchecked a b where Source #
Nothing
genUncheckedFor :: b -> Gen a Source #