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: cb51a770f8c870d3cd94c86e5b26c9d8d35fbc6a8b0362de9966a9e140b86421 name: predicate-typed version: 0.1.0.1 synopsis: Predicates, Refinement types and Dsl description: Please see the README on GitHub at homepage: https://github.com/gbwey/predicate-typed#readme bug-reports: https://github.com/gbwey/predicate-typed/issues author: Grant Weyburne maintainer: Grant Weyburne copyright: Copyright 2019, Grant Weyburne license: BSD3 license-file: LICENSE build-type: Simple extra-source-files: README.md ChangeLog.md source-repository head type: git location: https://github.com/gbwey/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 , ghc-prim , lens , mtl , pcre-heavy , pcre-light , pretty , pretty-terminal , 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 , doctest , ghc-prim , lens , mtl , pcre-heavy , pcre-light , predicate-typed , pretty , pretty-terminal , 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 , ghc-prim , lens , mtl , pcre-heavy , pcre-light , predicate-typed , pretty , pretty-terminal , safe , semialign , stm , tasty , tasty-hunit , tasty-quickcheck , template-haskell , text , th-lift , th-orphans , these , these-lens , time , tree-view default-language: Haskell2010