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