packages feed

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