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