cabal-version: 1.12 -- This file has been generated from package.yaml by hpack version 0.31.2. -- -- see: https://github.com/sol/hpack -- -- hash: 91077e765e3f765a00629565212c20b373d1e8cd724f4f9c4f381835f0e4f561 name: predicate-typed version: 0.6.0.0 synopsis: Predicates, Refinement types and Dsl description: Please see the README on GitHub at category: Data 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 source-repository head type: git location: https://github.com/gbwey/predicate-typed library exposed-modules: Predicate Predicate.Core Predicate.Examples.Common Predicate.Examples.Refined2 Predicate.Examples.Refined3 Predicate.Prelude Predicate.Refined Predicate.Refined2 Predicate.Refined3 Predicate.TH_Orphans Predicate.Util Predicate.Util_TH other-modules: Paths_predicate_typed hs-source-dirs: src ghc-options: -fomit-interface-pragmas -Wincomplete-uni-patterns -Wincomplete-record-updates -Wcompat -Widentities -fhide-source-paths build-depends: QuickCheck , aeson , base >=4.7 && <5 , binary , bytestring , comonad , containers , deepseq , directory , ghc-prim , hashable , lens , mtl , pcre-heavy >=1.0.0.2 , pcre-light , pretty , pretty-terminal >=0.1.0.0 , safe , template-haskell , text , th-lift , these , time , tree-view >=0.5 if impl(ghc >= 8.6) default-extensions: NoStarIsType ghc-options: -Wmissing-export-lists -Wpartial-fields -Wredundant-constraints 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 , hashable , lens , mtl , pcre-heavy >=1.0.0.2 , pcre-light , predicate-typed , pretty , pretty-terminal >=0.1.0.0 , safe , template-haskell , text , th-lift , these , time , tree-view >=0.5 if impl(ghc >= 8.6) default-extensions: NoStarIsType ghc-options: -Wno-missing-export-lists default-language: Haskell2010 test-suite predicate-typed-test type: exitcode-stdio-1.0 main-is: TestSpec.hs other-modules: TastyExtras TestJson TestPredicate TestRefined TestRefined2 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 , hashable , lens , mtl , pcre-heavy >=1.0.0.2 , pcre-light , predicate-typed , pretty , pretty-terminal >=0.1.0.0 , safe , stm , tasty , tasty-hunit , tasty-quickcheck , template-haskell , text , th-lift , these , time , tree-view >=0.5 if impl(ghc >= 8.6) default-extensions: NoStarIsType ghc-options: -Wno-missing-export-lists default-language: Haskell2010