cabal-version: 2.2 -- This file has been generated from package.yaml by hpack version 0.33.0. -- -- see: https://github.com/sol/hpack -- -- hash: 3cc0bdbc7d2a4e5c9d8aa3151d7c875a61de85bddc1f6d1136c77e58cb874c3e name: souffle-haskell version: 0.2.0 synopsis: Souffle Datalog bindings for Haskell description: Souffle Datalog bindings for Haskell. category: Logic Programming, Foreign Binding, Bindings homepage: https://github.com/luc-tielen/souffle-haskell#README.md bug-reports: https://github.com/luc-tielen/souffle-haskell/issues author: Luc Tielen maintainer: luc.tielen@gmail.com copyright: 2020 Luc Tielen license: MIT license-file: LICENSE build-type: Simple extra-source-files: README.md CHANGELOG.md LICENSE cbits/souffle.h source-repository head type: git location: https://github.com/luc-tielen/souffle-haskell library exposed-modules: Language.Souffle Language.Souffle.Class Language.Souffle.Compiled Language.Souffle.Internal Language.Souffle.Internal.Bindings Language.Souffle.Internal.Constraints Language.Souffle.Interpreted Language.Souffle.Marshal Language.Souffle.TH other-modules: Paths_souffle_haskell autogen-modules: Paths_souffle_haskell hs-source-dirs: lib default-extensions: OverloadedStrings LambdaCase ScopedTypeVariables ghc-options: -Wall -Weverything -Wno-safe -Wno-unsafe -Wno-implicit-prelude -Wno-missed-specializations -Wno-all-missed-specializations -Wno-missing-import-lists -Wno-type-defaults -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-missing-deriving-strategies -optP-Wno-nonportable-include-path -fhide-source-paths -fno-show-valid-hole-fits -fno-sort-valid-hole-fits cpp-options: -std=c++17 cxx-options: -Wall cxx-sources: cbits/souffle.cpp build-depends: base >=4.12 && <5 , deepseq >=1.4.4 && <2 , directory >=1.3.3 && <2 , filepath >=1.4.2 && <2 , free >=5.1 && <6 , mtl >=2.0 && <3 , process >=1.6 && <2 , template-haskell >=2 && <3 , temporary >=1.3 && <2 , text >=1.0 && <2 , type-errors-pretty >=0.0.1.0 && <1 , vector <=1.0 if os(linux) extra-libraries: stdc++ default-language: Haskell2010 build-tools: souffle test-suite souffle-haskell-test type: exitcode-stdio-1.0 main-is: test.hs other-modules: Test.Language.Souffle.CompiledSpec Test.Language.Souffle.InterpretedSpec Paths_souffle_haskell hs-source-dirs: tests default-extensions: OverloadedStrings LambdaCase ScopedTypeVariables ghc-options: -Wall -Weverything -Wno-safe -Wno-unsafe -Wno-implicit-prelude -Wno-missed-specializations -Wno-all-missed-specializations -Wno-missing-import-lists -Wno-type-defaults -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-missing-deriving-strategies -optP-Wno-nonportable-include-path -fhide-source-paths -fno-show-valid-hole-fits -fno-sort-valid-hole-fits cpp-options: -std=c++17 -D__EMBEDDED_SOUFFLE__ build-tools: souffle build-depends: base >=4.12 && <5 , deepseq >=1.4.4 && <2 , directory >=1.3.3 && <2 , filepath >=1.4.2 && <2 , free >=5.1 && <6 , hspec >=2.6.1 && <3.0.0 , mtl >=2.0 && <3 , process >=1.6 && <2 , souffle-haskell , template-haskell >=2 && <3 , temporary >=1.3 && <2 , text >=1.0 && <2 , type-errors-pretty >=0.0.1.0 && <1 , vector <=1.0 if os(darwin) extra-libraries: c++ default-language: Haskell2010