-
Notifications
You must be signed in to change notification settings - Fork 14
/
Copy pathdatalog.cabal
107 lines (100 loc) · 3.22 KB
/
datalog.cabal
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
name: datalog
version: 0.2.0.2
synopsis: An implementation of datalog in Haskell
license: BSD3
license-file: LICENSE
author: Tristan Ravitch
maintainer: [email protected]
category: Database
build-type: Simple
cabal-version: >=1.10
tested-with: GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.2, GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.3
description: This is an implementation of datalog in pure Haskell.
It is implemented as a library and can be used from within
any Haskell application. As a consequence, it supports both
standard Datalog operations and arbitrary predicates written
in Haskell.
extra-source-files: CHANGES.md
library
default-language: Haskell2010
exposed-modules: Database.Datalog
other-modules: Database.Datalog.Adornment
Database.Datalog.Database
Database.Datalog.Errors
Database.Datalog.Evaluate
Database.Datalog.MagicSets
Database.Datalog.Relation
Database.Datalog.Rules
Database.Datalog.Stratification
build-depends: base == 4.*,
containers,
unordered-containers,
hashable,
exceptions >= 0.5 && < 0.11,
text,
transformers >= 0.3 && < 0.6,
vector >= 0.9 && < 0.13
hs-source-dirs: src
ghc-options: -Wall
executable datalog-repl
default-language: Haskell2010
main-is: Main.hs
other-modules: Parser, Commands
hs-source-dirs: tools/repl
ghc-options: -Wall
build-depends: base == 4.*,
datalog,
containers,
exceptions >= 0.5 && < 0.11,
hashable,
haskeline,
parsec,
pretty,
text,
transformers,
unordered-containers,
vector
test-suite NQueensTest
default-language: Haskell2010
hs-source-dirs: tests
type: exitcode-stdio-1.0
main-is: NQueens.hs
ghc-options: -Wall
build-depends: datalog,
base == 4.*,
text,
containers,
hashable,
test-framework,
test-framework-hunit,
HUnit
test-suite AncestorTest
default-language: Haskell2010
hs-source-dirs: tests
type: exitcode-stdio-1.0
main-is: AncestorTest.hs
ghc-options: -Wall
build-depends: datalog,
base == 4.*,
text,
containers,
test-framework,
test-framework-hunit,
HUnit
test-suite WorksForTest
default-language: Haskell2010
hs-source-dirs: tests
type: exitcode-stdio-1.0
main-is: WorksForTest.hs
ghc-options: -Wall
build-depends: datalog,
base == 4.*,
text,
containers,
hashable,
test-framework,
test-framework-hunit,
HUnit
source-repository head
type: git
location: git://github.com/travitch/datalog.git