Data.GenRelativeValidity

Documentation

module Data.RelativeValidity

class (GenValidity a, RelativeValidity a b) => GenRelativeValidity a b where

Methods

genUncheckedFor :: b -> Gen a

genValidFor :: b -> Gen a

genInvalidFor :: b -> Gen a