Cabal revisions of logict-0.8.1.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: logict-version: 0.8.1.0-license: BSD3-license-file: LICENSE-copyright:- (c) 2007-2014 Dan Doel,- (c) 2011-2013 Edward Kmett,- (c) 2014 Roman Cheplyaka,- (c) 2020-2021 Andrew Lelechenko,- (c) 2020-2021 Kevin Quick-maintainer: Andrew Lelechenko <andrew.lelechenko@gmail.com>-author: Dan Doel-homepage: https://github.com/Bodigrim/logict#readme-synopsis: A backtracking logic-programming monad.-description:- Adapted from the paper- <http://okmij.org/ftp/papers/LogicT.pdf Backtracking, Interleaving, and Terminating Monad Transformers>- by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry.-category: Control-build-type: Simple-extra-source-files:- changelog.md- README.md-cabal-version: >=1.10-tested-with: GHC ==7.0.4 GHC ==7.2.2 GHC ==7.4.2 GHC ==7.6.3 GHC ==7.8.4 GHC ==7.10.3 GHC ==8.0.2 GHC ==8.2.2 GHC ==8.4.4 GHC ==8.6.5 GHC ==8.8.4 GHC ==8.10.7 GHC ==9.0.2 GHC ==9.2.7 GHC ==9.4.5 GHC ==9.6.1--source-repository head- type: git- location: https://github.com/Bodigrim/logict--library- exposed-modules:- Control.Monad.Logic- Control.Monad.Logic.Class- default-language: Haskell2010-- ghc-options: -O2 -Wall- if impl(ghc >= 8.0)- ghc-options: -Wcompat-- build-depends:- base >=4.3 && <5,- mtl >=2.0 && <2.4,- transformers <0.7-- if impl(ghc <8.0)- build-depends:- fail < 4.10--executable grandparents- buildable: False- main-is: grandparents.hs- hs-source-dirs: example- default-language: Haskell2010- build-depends:- base,- logict--test-suite logict-tests- type: exitcode-stdio-1.0- main-is: Test.hs- default-language: Haskell2010-- ghc-options: -Wall- if impl(ghc >= 8.0)- ghc-options: -Wcompat -Wno-incomplete-uni-patterns-- build-depends:- base,- async >=2.0 && <2.3,- logict,- mtl,- transformers,- tasty <1.5,- tasty-hunit <0.11-- hs-source-dirs: test+name: logict +version: 0.8.1.0 +x-revision: 1 +license: BSD3 +license-file: LICENSE +copyright: + (c) 2007-2014 Dan Doel, + (c) 2011-2013 Edward Kmett, + (c) 2014 Roman Cheplyaka, + (c) 2020-2021 Andrew Lelechenko, + (c) 2020-2021 Kevin Quick +maintainer: Andrew Lelechenko <andrew.lelechenko@gmail.com> +author: Dan Doel +homepage: https://github.com/Bodigrim/logict#readme +synopsis: A backtracking logic-programming monad. +description: + Adapted from the paper + <http://okmij.org/ftp/papers/LogicT.pdf Backtracking, Interleaving, and Terminating Monad Transformers> + by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry. +category: Control +build-type: Simple +extra-source-files: + changelog.md + README.md +cabal-version: >=1.10 +tested-with: GHC ==7.0.4 GHC ==7.2.2 GHC ==7.4.2 GHC ==7.6.3 GHC ==7.8.4 GHC ==7.10.3 GHC ==8.0.2 GHC ==8.2.2 GHC ==8.4.4 GHC ==8.6.5 GHC ==8.8.4 GHC ==8.10.7 GHC ==9.0.2 GHC ==9.2.7 GHC ==9.4.5 GHC ==9.6.1 + +source-repository head + type: git + location: https://github.com/Bodigrim/logict + +library + exposed-modules: + Control.Monad.Logic + Control.Monad.Logic.Class + default-language: Haskell2010 + + ghc-options: -O2 -Wall + if impl(ghc >= 8.0) + ghc-options: -Wcompat + + build-depends: + base >=4.3 && <5, + mtl >=2.0 && <2.4, + transformers <0.7 + + if impl(ghc <8.0) + build-depends: + fail < 4.10 + +executable grandparents + buildable: False + main-is: grandparents.hs + hs-source-dirs: example + default-language: Haskell2010 + build-depends: + base, + logict + +test-suite logict-tests + type: exitcode-stdio-1.0 + main-is: Test.hs + default-language: Haskell2010 + + ghc-options: -Wall + if impl(ghc >= 8.0) + ghc-options: -Wcompat -Wno-incomplete-uni-patterns + + build-depends: + base, + async >=2.0 && <2.3, + logict, + mtl, + transformers, + tasty <1.6, + tasty-hunit <0.11 + + hs-source-dirs: test