dragen-0.1.0.0: Automatic derivation of optimized QuickCheck random generators.
Arbitrary
customListGen :: Arbitrary t => Int -> Int -> Gen [t] Source #
customMaybeGen :: Arbitrary t => Int -> Int -> Gen (Maybe t) Source #
chooseExpQ :: FreqMap -> Name -> Name -> Name -> Bool -> Type -> ExpQ Source #
makeArbExpsQ :: FreqMap -> Name -> Name -> Name -> [ConView] -> [ExpQ] Source #
frequencyExpQ :: FreqMap -> Name -> Name -> Name -> [ConView] -> ExpQ Source #
genTupleArbs :: Int -> ExpQ Source #
isMutRec :: TypeEnv -> ConView -> Bool Source #
updateMutRec :: TypeEnv -> ConView -> ConView Source #
deriveArbitraryInstance :: TypeEnv -> FreqMap -> Name -> Q [Dec] Source #
devArbitrary :: TypeEnv -> FreqMap -> Name -> Q [Dec] Source #