cabal-version: 2.4 author: Tom Harding build-type: Simple category: Data extra-source-files: README.md homepage: https://github.com/i-am-tom/holmes/ license-file: LICENSE license: MIT maintainer: i.am.tom.harding@gmail.com name: holmes description: A reference library for constraint-solving with propagators and CDCL. synopsis: Tools and combinators for solving constraint problems. version: 0.3.0.0 library exposed-modules: Control.Monad.Cell.Class , Control.Monad.Holmes , Control.Monad.MoriarT , Control.Monad.Watson , Data.Input.Config , Data.JoinSemilattice.Defined , Data.JoinSemilattice.Intersect , Data.Propagator , Data.Holmes other-modules: Data.JoinSemilattice.Class.Abs , Data.JoinSemilattice.Class.Boolean , Data.JoinSemilattice.Class.Eq , Data.JoinSemilattice.Class.FlatMapping , Data.JoinSemilattice.Class.Fractional , Data.JoinSemilattice.Class.Integral , Data.JoinSemilattice.Class.Lifting , Data.JoinSemilattice.Class.Mapping , Data.JoinSemilattice.Class.Merge , Data.JoinSemilattice.Class.Ord , Data.JoinSemilattice.Class.Sum , Data.JoinSemilattice.Class.Zipping , Data.CDCL build-depends: base >= 4.12 && < 4.14 , containers >= 0.6 && < 0.7 , hashable >= 1.3 && < 1.4 , hedgehog >= 1.0 && < 1.1 , logict >= 0.7 && < 0.8 , mtl >= 2.2 && < 2.3 , primitive >= 0.7 && < 0.8 , transformers >= 0.5 && < 0.6 , unordered-containers >= 0.2 && < 0.3 ghc-options: -Wall -Wextra hs-source-dirs: src default-language: Haskell2010 -------------------------------------------------- -- EXAMPLE PROJECTS test-suite examples type: exitcode-stdio-1.0 main-is: Main.hs build-depends: base , hashable >= 1.3 && < 1.4 , holmes , hspec >= 2.7 && < 2.8 , split >= 0.2 && < 0.3 , unordered-containers >= 0.2 && < 0.3 , relude >= 0.6 && < 0.7 , tasty >= 1.2 && < 1.3 , tasty-discover , tasty-hspec other-modules: Futoshiki , WaveFunctionCollapse ghc-options: -Wall -Wextra -threaded hs-source-dirs: examples build-tool-depends: tasty-discover:tasty-discover default-language: Haskell2010 -------------------------------------------------- -- UNIT TESTS test-suite test type: exitcode-stdio-1.0 main-is: Main.hs build-depends: base , containers >= 0.6 && < 0.7 , hashable >= 1.3 && < 1.4 , hedgehog >= 1.0 && < 1.1 , holmes , primitive >= 0.7 && < 0.8 , transformers >= 0.5 && < 0.6 , tasty >= 1.2 && < 1.3 , tasty-discover , tasty-hedgehog , tasty-hspec other-modules: Test.Control.Monad.Cell.Class , Test.Data.Input.Config , Test.Data.JoinSemilattice.Class.Abs , Test.Data.JoinSemilattice.Class.Boolean , Test.Data.JoinSemilattice.Class.Eq , Test.Data.JoinSemilattice.Class.Fractional , Test.Data.JoinSemilattice.Class.Integral , Test.Data.JoinSemilattice.Class.Ord , Test.Data.JoinSemilattice.Class.Sum , Test.Data.JoinSemilattice.Defined , Test.Data.JoinSemilattice.Intersect , Test.Data.Propagator , Test.Util.Laws ghc-options: -Wall -Wextra -threaded hs-source-dirs: test build-tool-depends: markdown-unlit:markdown-unlit , tasty-discover:tasty-discover default-language: Haskell2010 -------------------------------------------------- -- LITERATE HASKELL README / HSPEC RUNNER test-suite readme build-depends: base , hashable >= 1.3 && < 1.4 , holmes , hspec >= 2.7 && < 2.8 main-is: README.lhs type: exitcode-stdio-1.0 default-language: Haskell2010 ghc-options: -pgmL markdown-unlit -Wall build-tool-depends: markdown-unlit:markdown-unlit