| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Dragen
Synopsis
- dragenArbitrary :: Name -> Size -> CostFunction -> DecsQ
- uniform :: CostFunction
- weighted :: [(Name, Int)] -> CostFunction
- only :: [Name] -> CostFunction
- without :: [Name] -> CostFunction
- types :: [Name] -> TypeEnv -> [Name]
- constructors :: [Name] -> TypeEnv -> [Name]
- confirm :: Countable a => Size -> Gen a -> IO ()
Documentation
dragenArbitrary :: Name -> Size -> CostFunction -> DecsQ Source #
Derives an Abitrary instance for the type target, optimizing each type
constructor frequency in order to minimize the output of a given cost
function.
only :: [Name] -> CostFunction Source #
without :: [Name] -> CostFunction Source #