constrained-generators-0.2.0.0: constrained-generators.cabal

cabal-version: 3.0
name: constrained-generators
version: 0.2.0.0
license: Apache-2.0
maintainer: operations@iohk.io
author: IOHK
synopsis:
  Framework for generating constrained random data using
  a subset of first order logic

build-type: Simple
extra-source-files: CHANGELOG.md

source-repository head
  type: git
  location: https://github.com/input-output-hk/constrained-generators

flag dev
  description:       Enable development mode
  default:           False
  manual:            True

library
  exposed-modules:
    Constrained.API
    Constrained.API.Extend
    Constrained.AbstractSyntax
    Constrained.Base
    Constrained.Conformance
    Constrained.Core
    Constrained.DependencyInjection
    Constrained.Env
    Constrained.FunctionSymbol
    Constrained.GenT
    Constrained.Generation
    Constrained.Generic
    Constrained.Graph
    Constrained.List
    Constrained.NumOrd
    Constrained.PrettyUtils
    Constrained.Properties
    Constrained.Spec.List
    Constrained.Spec.Map
    Constrained.Spec.Set
    Constrained.Spec.SumProd
    Constrained.Spec.Tree
    Constrained.SumList
    Constrained.Syntax
    Constrained.Test
    Constrained.TheKnot
    Constrained.TypeErrors

  hs-source-dirs: src

  if flag(dev)
    exposed-modules:
      Constrained.Examples
      Constrained.Examples.Basic
      Constrained.Examples.BinTree
      Constrained.Examples.CheatSheet
      Constrained.Examples.Either
      Constrained.Examples.Fold
      Constrained.Examples.List
      Constrained.Examples.ManualExamples
      Constrained.Examples.Map
      Constrained.Examples.Set
      Constrained.Examples.Tree

    hs-source-dirs: examples

  default-language: Haskell2010
  ghc-options:
    -Wall
    -Wcompat
    -Wincomplete-record-updates
    -Wincomplete-uni-patterns
    -Wpartial-fields
    -Wredundant-constraints
    -Wunused-packages

  build-depends:
    QuickCheck >=2.15.0.1 && <2.18,
    base >=4.18 && <5,
    base-orphans,
    containers,
    mtl,
    prettyprinter,
    random,
    template-haskell,

library examples
  exposed-modules:
    Constrained.Examples
    Constrained.Examples.Basic
    Constrained.Examples.BinTree
    Constrained.Examples.CheatSheet
    Constrained.Examples.Either
    Constrained.Examples.Fold
    Constrained.Examples.List
    Constrained.Examples.ManualExamples
    Constrained.Examples.Map
    Constrained.Examples.Set
    Constrained.Examples.Tree

  hs-source-dirs: examples
  default-language: Haskell2010
  ghc-options:
    -Wall
    -Wcompat
    -Wincomplete-record-updates
    -Wincomplete-uni-patterns
    -Wpartial-fields
    -Wredundant-constraints
    -Wunused-packages

  build-depends:
    QuickCheck >=2.15.0.1,
    base >=4.18 && <5,
    constrained-generators,
    containers,
    prettyprinter,
    random,

test-suite constrained-tests
  type: exitcode-stdio-1.0
  main-is: Tests.hs
  hs-source-dirs: test
  other-modules:
    Constrained.Tests
    Constrained.GraphSpec
  default-language: Haskell2010
  ghc-options:
    -Wall
    -Wcompat
    -Wincomplete-record-updates
    -Wincomplete-uni-patterns
    -Wpartial-fields
    -Wredundant-constraints
    -Wunused-packages
    -rtsopts
    -threaded
    -with-rtsopts=-N

  build-depends:
    QuickCheck >= 2.15.0.1,
    base,
    constrained-generators,
    containers,
    hspec

  if !flag(dev)
    build-depends:
      constrained-generators:examples