-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathqura.cabal
131 lines (125 loc) · 3.57 KB
/
qura.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
cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.36.0.
--
-- see: https://github.com/sol/hpack
name: qura
version: 0.1.0.0
description: Please see the README on GitHub at <https://github.com/andreacolledan/qura#readme>
homepage: https://github.com/andreacolledan/qura#readme
bug-reports: https://github.com/andreacolledan/qura/issues
author: Andrea Colledan
maintainer: [email protected]
copyright: 2024 Andrea Colledan
license: MIT
license-file: LICENSE
build-type: Simple
extra-source-files:
README.md
CHANGELOG.md
source-repository head
type: git
location: https://github.com/andreacolledan/qura
library
exposed-modules:
Circuit
Index.AST
Index.Parse
Index.Semantics
Index.Semantics.Global.Bits
Index.Semantics.Global.GateCount
Index.Semantics.Global.Qubits
Index.Semantics.Global.Resource
Index.Semantics.Global.TCount
Index.Semantics.Global.Width
Index.Semantics.Local.Depth
Index.Semantics.Local.Resource
Index.Semantics.Local.TDepth
Index.Unify
Lang.Analysis
Lang.Analysis.Derivation
Lang.Analysis.Environment
Lang.Analysis.InferBaseType
Lang.Analysis.InferRefinedType
Lang.Analysis.TypeError
Lang.Expr.AST
Lang.Expr.Parse
Lang.Expr.Pattern
Lang.Library.Constant
Lang.Library.Prelude
Lang.Module.AST
Lang.Module.Parse
Lang.Type.AST
Lang.Type.Parse
Lang.Type.Semantics
Lang.Type.Unify
Parser
PrettyPrinter
Solving.CVC5
Util
other-modules:
Paths_qura
hs-source-dirs:
src
ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -Wno-unused-top-binds -Wincomplete-patterns -Wno-name-shadowing
build-depends:
ansi-terminal
, argparser
, base >=4.7 && <5
, extra
, filepath
, hspec
, megaparsec
, mtl
, optparse-applicative
, parser-combinators
, process
, transformers
, unordered-containers
default-language: Haskell2010
executable qura
main-is: Main.hs
other-modules:
Paths_qura
hs-source-dirs:
app
ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -Wno-unused-top-binds -Wincomplete-patterns -Wno-name-shadowing -threaded -rtsopts -with-rtsopts=-N
build-depends:
ansi-terminal
, argparser
, base >=4.7 && <5
, extra
, filepath
, hspec
, megaparsec
, mtl
, optparse-applicative
, parser-combinators
, process
, qura
, transformers
, unordered-containers
default-language: Haskell2010
test-suite qura-test
type: exitcode-stdio-1.0
main-is: Spec.hs
other-modules:
Paths_qura
hs-source-dirs:
test
ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints -Wno-unused-top-binds -Wincomplete-patterns -Wno-name-shadowing -threaded -rtsopts -with-rtsopts=-N
build-depends:
ansi-terminal
, argparser
, base >=4.7 && <5
, extra
, filepath
, hspec
, megaparsec
, mtl
, optparse-applicative
, parser-combinators
, process
, qura
, transformers
, unordered-containers
default-language: Haskell2010