cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.31.1.
--
-- see: https://github.com/sol/hpack
--
-- hash: 9a478dac9f97bf4a987d2f412413056ea9656a469275286e14b91c4c1744b6e7

name:           predicate-typed
version:        0.1.0.0
synopsis:       Predicates, Refinement types and Dsl
description:    Please see the README on GitHub at <https://github.com/gbwey/predicate-typed#readme>
homepage:       https://github.com/github.com/gbwey#readme
bug-reports:    https://github.com/github.com/gbwey/issues
author:         Grant Weyburne
maintainer:     gbwey9@gmail.com
copyright:      2019 gbwey
license:        BSD3
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    ChangeLog.md

source-repository head
  type: git
  location: https://github.com/github.com/gbwey
  subdir: predicate-typed

library
  exposed-modules:
      Predicate
      Refined
      Refined3
      Refined3Helper
      TH_Orphans
      UtilP
      UtilP_TH
  other-modules:
      Paths_predicate_typed
  hs-source-dirs:
      src
  ghc-options: -fomit-interface-pragmas
  build-depends:
      QuickCheck
    , aeson
    , base >=4.7 && <5
    , binary
    , bytestring
    , comonad
    , containers
    , deepseq
    , directory
    , discrimination
    , ghc-prim
    , lens
    , mtl
    , pcre-heavy
    , pcre-light
    , pretty
    , pretty-terminal
    , pretty-tree
    , safe
    , semialign
    , template-haskell
    , text
    , th-lift
    , th-orphans
    , these
    , these-lens
    , time
    , tree-view
  default-language: Haskell2010

test-suite doctests
  type: exitcode-stdio-1.0
  main-is: doctests.hs
  hs-source-dirs:
      ./.
      src
  ghc-options: -threaded -fomit-interface-pragmas
  build-depends:
      QuickCheck
    , aeson
    , base >=4.7 && <5
    , binary
    , bytestring
    , comonad
    , containers
    , deepseq
    , directory
    , discrimination
    , doctest
    , ghc-prim
    , lens
    , mtl
    , pcre-heavy
    , pcre-light
    , predicate-typed
    , pretty
    , pretty-terminal
    , pretty-tree
    , safe
    , semialign
    , template-haskell
    , text
    , th-lift
    , th-orphans
    , these
    , these-lens
    , time
    , tree-view
  default-language: Haskell2010

test-suite predicate-typed-test
  type: exitcode-stdio-1.0
  main-is: TestSpec.hs
  other-modules:
      TastyExtras
      TestJson
      TestPredicate
      TestRefined
      TestRefined3
      Paths_predicate_typed
  hs-source-dirs:
      test
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -fomit-interface-pragmas
  build-depends:
      QuickCheck
    , aeson
    , base >=4.7 && <5
    , binary
    , bytestring
    , comonad
    , containers
    , deepseq
    , directory
    , discrimination
    , ghc-prim
    , lens
    , mtl
    , pcre-heavy
    , pcre-light
    , predicate-typed
    , pretty
    , pretty-terminal
    , pretty-tree
    , safe
    , semialign
    , stm
    , tasty
    , tasty-hunit
    , tasty-quickcheck
    , template-haskell
    , text
    , th-lift
    , th-orphans
    , these
    , these-lens
    , time
    , tree-view
  default-language: Haskell2010