cabal-version: 2.2 -- This file has been generated from package.yaml by hpack version 0.31.2. -- -- see: https://github.com/sol/hpack -- -- hash: a74bc91fd3ca58647ff0b218a4aec49ebe837c8af230504def1bf57726751265 name: souffle-haskell version: 0.0.1 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: 2019 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.Internal Language.Souffle.Internal.Bindings Language.Souffle.Internal.Constraints Language.Souffle.Marshal Language.Souffle.TH other-modules: Paths_souffle_haskell autogen-modules: Paths_souffle_haskell hs-source-dirs: lib default-extensions: OverloadedStrings 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 , mtl >=2.0 && <3 , template-haskell >=2 && <3 , type-errors-pretty >=0.0.1.0 && <1 default-language: Haskell2010 test-suite souffle-haskell-test type: exitcode-stdio-1.0 main-is: test.hs other-modules: Test.TestSuiteSpec Paths_souffle_haskell hs-source-dirs: tests default-extensions: OverloadedStrings 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__ extra-libraries: c++ build-depends: base >=4.12 && <5 , hspec >=2.6.1 && <3.0.0 , mtl >=2.0 && <3 , souffle-haskell , template-haskell >=2 && <3 , type-errors-pretty >=0.0.1.0 && <1 default-language: Haskell2010