dragen-0.1.0.0: Automatic derivation of optimized QuickCheck random generators.

Safe HaskellNone
LanguageHaskell2010

Arbitrary

Documentation

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 #