dragen-0.1.0.0: dragen.cabal
cabal-version: 1.12
name: dragen
version: 0.1.0.0
license: BSD3
license-file: LICENSE
copyright: 2018 Agustín Mista
maintainer: Agustín Mista
author: Agustín Mista
homepage: https://github.com/OctopiChalmers/dragen#readme
bug-reports: https://github.com/OctopiChalmers/dragen/issues
synopsis: Automatic derivation of optimized QuickCheck random generators.
description:
DRAGEN is a Template Haskell tool for automatically deriving QuickCheck generators in compile-time. The user sets a desired distribution of values, and DRAGEN will try optimize the generation parameters to satisfy it using probabilistic analyses based on multi-type branching processes.
DRAGEN is based on the following paper
Branching processes for QuickCheck generators. Agustín Mista, Alejandro Russo, John Hughes. Haskell Symposium, 2018. https://dl.acm.org/citation.cfm?doid=3242744.3242747
category: Testing
build-type: Simple
extra-source-files:
README.md
source-repository head
type: git
location: https://github.com/OctopiChalmers/dragen
library
exposed-modules:
Countable
Dragen
TypeInfo
Reification
Prediction
Optimization
Arbitrary
Megadeth
hs-source-dirs: src
other-modules:
Paths_dragen
default-language: Haskell2010
build-depends:
QuickCheck >=2.11.3 && <2.12,
base >=4.7 && <5,
containers >=0.5.11.0 && <0.6,
extra >=1.6.9 && <1.7,
ghc-prim >=0.5.2.0 && <0.6,
matrix >=0.3.6.1 && <0.4,
split >=0.2.3.3 && <0.3,
template-haskell >=2.13.0.0 && <2.14,
transformers >=0.5.5.0 && <0.6
test-suite examples
type: exitcode-stdio-1.0
main-is: Main.hs
hs-source-dirs: test/
other-modules:
Examples
TestCountable
Paths_dragen
default-language: Haskell2010
build-depends:
QuickCheck >=2.11.3 && <2.12,
base >=4.7 && <5,
containers >=0.5.11.0 && <0.6,
dragen -any,
extra >=1.6.9 && <1.7,
ghc-prim >=0.5.2.0 && <0.6,
matrix >=0.3.6.1 && <0.4,
split >=0.2.3.3 && <0.3,
template-haskell >=2.13.0.0 && <2.14,
text >=1.2.3.0 && <1.3,
transformers >=0.5.5.0 && <0.6