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 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