forked from antalsz/hs-to-coq
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathhs-to-coq.cabal
143 lines (140 loc) · 4.33 KB
/
hs-to-coq.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
140
141
142
143
-- This file has been generated from package.yaml by hpack version 0.20.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: 4b93bb89642639fbec63b7814da80989426c1eed0f62cd1e07694a630060971c
name: hs-to-coq
version: 0.0.0
license-file: LICENSE
build-type: Simple
cabal-version: >= 1.10
library
hs-source-dirs:
src/lib
other-extensions: TupleSections, LambdaCase, MultiWayIf, RecordWildCards, TypeApplications, OverloadedStrings, RankNTypes, ConstraintKinds, MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts, TypeSynonymInstances, FlexibleInstances, UndecidableInstances, DeriveDataTypeable, StandaloneDeriving, GeneralizedNewtypeDeriving, PatternSynonyms, ViewPatterns, TemplateHaskell, CPP
build-depends:
array
, base
, bifunctors
, containers
, directory
, filepath
, ghc
, ghc-boot
, ghc-paths
, indents
, lens
, mtl
, optparse-applicative
, parsec
, pipes
, syb
, template-haskell
, text
, transformers
, wl-pprint-text
exposed-modules:
Control.Monad.DefinedIdents
Control.Monad.Parse
Control.Monad.Parse.Class
Control.Monad.Trans.NewlinesParse
Control.Monad.Trans.Parse
Control.Monad.Trans.Variables
Control.Monad.Trans.Variables.Internal
Control.Monad.Variables
Control.Monad.Variables.Class
Control.Monad.Variables.Class.Internal
Control.Monad.Variables.Internal
HsToCoq.CLI
HsToCoq.CLI.FileTree
HsToCoq.CLI.FileTree.Parser
HsToCoq.ConvertHaskell
HsToCoq.ConvertHaskell.Axiomatize
HsToCoq.ConvertHaskell.Declarations.Class
HsToCoq.ConvertHaskell.Declarations.DataType
HsToCoq.ConvertHaskell.Declarations.Instances
HsToCoq.ConvertHaskell.Declarations.Notations
HsToCoq.ConvertHaskell.Declarations.TyCl
HsToCoq.ConvertHaskell.Declarations.TypeSynonym
HsToCoq.ConvertHaskell.Declarations.Value
HsToCoq.ConvertHaskell.Definitions
HsToCoq.ConvertHaskell.Expr
HsToCoq.ConvertHaskell.InfixNames
HsToCoq.ConvertHaskell.Literals
HsToCoq.ConvertHaskell.Module
HsToCoq.ConvertHaskell.Monad
HsToCoq.ConvertHaskell.Parameters.Edits
HsToCoq.ConvertHaskell.Parameters.Parsers
HsToCoq.ConvertHaskell.Parameters.Parsers.Lexing
HsToCoq.ConvertHaskell.Pattern
HsToCoq.ConvertHaskell.Sigs
HsToCoq.ConvertHaskell.Type
HsToCoq.ConvertHaskell.Variables
HsToCoq.Coq.FreeVars
HsToCoq.Coq.Gallina
HsToCoq.Coq.Gallina.Orphans
HsToCoq.Coq.Gallina.Rewrite
HsToCoq.Coq.Gallina.Util
HsToCoq.Coq.Preamble
HsToCoq.Coq.Pretty
HsToCoq.Coq.Subst
HsToCoq.PrettyPrint
HsToCoq.ProcessFiles
HsToCoq.Util.Char
HsToCoq.Util.Coerce
HsToCoq.Util.Containers
HsToCoq.Util.Foldable
HsToCoq.Util.Function
HsToCoq.Util.Functor
HsToCoq.Util.GHC
HsToCoq.Util.GHC.Deriving
HsToCoq.Util.GHC.DynFlags
HsToCoq.Util.GHC.Exception
HsToCoq.Util.GHC.FastString
HsToCoq.Util.GHC.HsExpr
HsToCoq.Util.GHC.HsTypes
HsToCoq.Util.GHC.Module
HsToCoq.Util.GHC.Monad
HsToCoq.Util.GHC.Name
HsToCoq.Util.GHC.OnOff
HsToCoq.Util.GHC.RdrName
HsToCoq.Util.List
HsToCoq.Util.Messages
HsToCoq.Util.Monad
HsToCoq.Util.Monad.ListT
HsToCoq.Util.Parsec
HsToCoq.Util.TempFiles
HsToCoq.Util.Traversable
other-modules:
Paths_hs_to_coq
default-language: Haskell2010
executable hs-to-coq
main-is: Main.hs
hs-source-dirs:
src/exe
other-extensions: TupleSections, LambdaCase, MultiWayIf, RecordWildCards, TypeApplications, OverloadedStrings, RankNTypes, ConstraintKinds, MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts, TypeSynonymInstances, FlexibleInstances, UndecidableInstances, DeriveDataTypeable, StandaloneDeriving, GeneralizedNewtypeDeriving, PatternSynonyms, ViewPatterns, TemplateHaskell, CPP
build-depends:
array
, base
, bifunctors
, containers
, directory
, filepath
, ghc
, ghc-boot
, ghc-paths
, hs-to-coq
, indents
, lens
, mtl
, optparse-applicative
, parsec
, pipes
, syb
, template-haskell
, text
, transformers
, wl-pprint-text
other-modules:
Paths_hs_to_coq
default-language: Haskell2010