Data.GenValidity

class GenUnchecked a

class GenValid a

class GenInvalid a

shrinkT2

shrinkT3

upTo

genSplit

genSplit3

genSplit4

arbPartition

genListOf

class GGenUnchecked f

gShrinkUnchecked

uncheckedRecursivelyShrink

class GUncheckedRecursivelyShrink f

uncheckedSubterms

class GUncheckedSubterms f a

class GUncheckedSubtermsIncl f a