1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
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
|
