-
Notifications
You must be signed in to change notification settings - Fork 2
/
exalog-engine.cabal
139 lines (134 loc) · 4.27 KB
/
exalog-engine.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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
cabal-version: 2.2
-- This file has been generated from package.yaml by hpack version 0.33.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: 7442fb98b92785215ea7fffbd875c318f6808c7177d68d9a2a3f71f973485363
name: exalog-engine
version: 0.1.0.0
synopsis: A Datalog engine with support for external processes as predicates
description: Please see the README on GitHub at <https://github.com/madgen/exalog-engine#readme>
category: Language
homepage: https://github.com/madgen/exalog-engine#readme
bug-reports: https://github.com/madgen/exalog-engine/issues
author: Mistral Contrastin
maintainer: [email protected]
copyright: 2018
license: BSD-3-Clause
license-file: LICENSE
build-type: Simple
extra-source-files:
README.md
ChangeLog.md
source-repository head
type: git
location: https://github.com/madgen/exalog-engine
library
hs-source-dirs:
src
default-extensions: NoImplicitPrelude LambdaCase OverloadedStrings
ghc-options: -Wall -fwarn-tabs -fwarn-incomplete-uni-patterns -fwarn-incomplete-record-updates
build-depends:
aeson >=1.4 && <1.5
, base >=4.7 && <5
, bimap >=0.4 && <0.5
, comonad >=5.0 && <5.1
, containers >=0.6 && <0.7
, fgl >=5.7 && <5.8
, finite-typelits >=0.1.4 && <0.1.5
, ghc-prim >=0.5 && <0.6
, ghc-typelits-natnormalise >=0.7 && <0.8
, pretty >=1.1 && <1.2
, protolude >=0.2 && <0.3
, singletons >=2.6 && <2.7
, text >=1.2 && <1.3
, transformers >=0.5 && <0.6
, unordered-containers >=0.2 && <0.3
, vector-sized >=1.4 && <1.5
exposed-modules:
Language.Exalog.Adornment
Language.Exalog.Annotation
Language.Exalog.Core
Language.Exalog.Dataflow
Language.Exalog.DataflowRepair
Language.Exalog.Delta
Language.Exalog.Dependency
Language.Exalog.Error
Language.Exalog.ForeignFunction
Language.Exalog.Fresh
Language.Exalog.KnowledgeBase.Class
Language.Exalog.KnowledgeBase.Knowledge
Language.Exalog.KnowledgeBase.Set
Language.Exalog.Logger
Language.Exalog.Pretty
Language.Exalog.Pretty.Helper
Language.Exalog.Provenance
Language.Exalog.RangeRestriction
Language.Exalog.Renamer
Language.Exalog.SemiNaive
Language.Exalog.Solver
Language.Exalog.SrcLoc
Language.Exalog.Stratification
Language.Exalog.Unification
Language.Exalog.Util.List.Zipper
Language.Exalog.WellModing
Language.Exalog.Wildcard
other-modules:
Paths_exalog_engine
default-language: Haskell2010
test-suite exalog-engine-test
type: exitcode-stdio-1.0
main-is: Spec.hs
hs-source-dirs:
test
fixtures
default-extensions: NoImplicitPrelude LambdaCase OverloadedStrings
ghc-options: -Wall -fwarn-tabs -fwarn-incomplete-uni-patterns -fwarn-incomplete-record-updates -threaded -rtsopts -with-rtsopts=-N
build-tool-depends:
hspec-discover:hspec-discover >=2.7 && <2.8
build-depends:
QuickCheck >=2.13 && <2.14
, aeson >=1.4 && <1.5
, base >=4.7 && <5
, bimap >=0.4 && <0.5
, comonad >=5.0 && <5.1
, containers >=0.6 && <0.7
, exalog-engine
, fgl >=5.7 && <5.8
, finite-typelits >=0.1.4 && <0.1.5
, ghc-prim >=0.5 && <0.6
, ghc-typelits-natnormalise >=0.7 && <0.8
, hspec >=2.7 && <2.8
, pretty >=1.1 && <1.2
, protolude >=0.2 && <0.3
, singletons >=2.6 && <2.7
, text >=1.2 && <1.3
, transformers >=0.5 && <0.6
, unordered-containers >=0.2 && <0.3
, vector-sized >=1.4 && <1.5
other-modules:
Language.Exalog.AdornmentSpec
Language.Exalog.DataflowSpec
Language.Exalog.DeltaSpec
Language.Exalog.ProvenanceSpec
Language.Exalog.RangeRestrictionSpec
Language.Exalog.SolverSpec
Language.Exalog.WellModingSpec
Fixture.Ancestor.Common
Fixture.Ancestor.EDB
Fixture.Ancestor.LinearAncestor
Fixture.Ancestor.NonLinearAncestor
Fixture.Constant
Fixture.Dataflow
Fixture.DomainDependent
Fixture.Foreign
Fixture.Negation
Fixture.RangeRestriction
Fixture.RepeatedVars
Fixture.SpanIrrelevance
Fixture.Unification
Fixture.Util
Fixture.WellModing
Fixture.Wildcard
Paths_exalog_engine
default-language: Haskell2010