name:                lambda-sampler
version:             1.1
synopsis:            Boltzmann sampler utilities for lambda calculus.
description:         Uniform generation of plain and closed lambda terms
                     in the de Bruijn notation.

license:             BSD3
license-file:        LICENSE

author:              Maciej Bendkowski
maintainer:          Maciej Bendkowski <maciej.bendkowski@tcs.uj.edu.pl>
copyright:           (c) 2016-17 Maciej Bendkowski

stability:           experimental

homepage:            https://github.com/maciej-bendkowski/lambda-sampler
bug-reports:         https://github.com/maciej-bendkowski/lambda-sampler/issues

category:            Data
build-type:          Simple

-- extra-source-files:
cabal-version:       >=1.10

library
  exposed-modules:     Data.Lambda
                     , Data.Lambda.Model
                     , Data.Lambda.Random.Oracle
                     , Data.Lambda.Random.System
                     , Data.Lambda.Random.PlainSystem
                     , Data.Lambda.Random.MixedSystem
                     , Data.Lambda.Random
  build-depends:       base >= 4.7 && < 5
                     , MonadRandom >= 0.4
                     , mtl >= 2.2
                     , transformers >= 0.4

  ghc-options:         -O2 -Wall -fno-warn-type-defaults
  default-language:    Haskell2010

test-suite lambda-sampler-tests
  type:                exitcode-stdio-1.0
  hs-source-dirs:      tests
  main-is:             TestSuite.hs
  other-modules:       Utils
  build-depends:       base >= 4.7 && < 5
                     , QuickCheck >= 2.9
                     , test-framework >= 0.8
                     , test-framework-quickcheck2 >= 0.3
                     , lambda-sampler
  default-language:    Haskell2010

source-repository head
  type:     git
  location: https://github.com/maciej-bendkowski/lambda-sampler