-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathsymbolic-tophat.cabal
113 lines (108 loc) · 4.15 KB
/
symbolic-tophat.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
cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.31.2.
--
-- see: https://github.com/sol/hpack
--
-- hash: dc725066048646bc54ab097afdfd218356734eac1cb2c789310d41d743433d9b
name: symbolic-tophat
version: 0.1.0.0
description: Please see the README on GitHub at <https://github.com/timjs/symbolic-tophat#readme>
homepage: https://github.com/timjs/symbolic-tophat#readme
bug-reports: https://github.com/timjs/symbolic-tophat/issues
author: Tim Steenvoorden
maintainer: [email protected]
copyright: BSD3
license: BSD3
license-file: LICENSE
build-type: Simple
extra-source-files:
README.md
source-repository head
type: git
location: https://github.com/timjs/symbolic-tophat
library
exposed-modules:
Control.Monad.Root
Control.Monad.Supply
Control.Monad.Track.Class
Data.Root
Data.Some
Data.Universe
Main
Prelude
Tophat.Examples
Tophat.Examples.Flight
Tophat.Examples.Philosophers
Tophat.Examples.Tax
Tophat.Examples.Vending
Tophat.Expr
Tophat.Expr.Run
Tophat.Expr.Sim
Tophat.Heap
Tophat.Input
Tophat.Name
Tophat.Op
Tophat.Pred
Tophat.Type
Tophat.Val
other-modules:
Paths_symbolic_tophat
hs-source-dirs:
src
default-extensions: EmptyDataDecls EmptyCase FlexibleContexts FlexibleInstances InstanceSigs MultiParamTypeClasses LambdaCase MultiWayIf NamedFieldPuns TupleSections NumericUnderscores DeriveGeneric DeriveFunctor DeriveFoldable DeriveTraversable DerivingVia BangPatterns KindSignatures TypeOperators MonadComprehensions BinaryLiterals NegativeLiterals NoStarIsType BlockArguments ScopedTypeVariables TypeApplications PartialTypeSignatures NamedWildCards OverloadedStrings OverloadedLists ConstraintKinds RankNTypes DefaultSignatures PatternSynonyms PatternGuards FunctionalDependencies GADTs ExistentialQuantification DataKinds PolyKinds TypeFamilies QuantifiedConstraints
ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wpartial-fields -Wredundant-constraints -Wno-deprecations -Wno-missing-pattern-synonym-signatures
build-depends:
Stream
, base-noprelude >=4.12 && <5
, containers
, mtl
, prettyprinter
, relude >=0.5 && <1
, sbv >=8.0 && <9
, text
, unordered-containers
, vector
default-language: Haskell2010
executable symbolic-tophat
main-is: Main.hs
other-modules:
Control.Monad.Root
Control.Monad.Supply
Control.Monad.Track.Class
Data.Root
Data.Some
Data.Universe
Prelude
Tophat.Examples
Tophat.Examples.Flight
Tophat.Examples.Philosophers
Tophat.Examples.Tax
Tophat.Examples.Vending
Tophat.Expr
Tophat.Expr.Run
Tophat.Expr.Sim
Tophat.Heap
Tophat.Input
Tophat.Name
Tophat.Op
Tophat.Pred
Tophat.Type
Tophat.Val
Paths_symbolic_tophat
hs-source-dirs:
src
default-extensions: EmptyDataDecls EmptyCase FlexibleContexts FlexibleInstances InstanceSigs MultiParamTypeClasses LambdaCase MultiWayIf NamedFieldPuns TupleSections NumericUnderscores DeriveGeneric DeriveFunctor DeriveFoldable DeriveTraversable DerivingVia BangPatterns KindSignatures TypeOperators MonadComprehensions BinaryLiterals NegativeLiterals NoStarIsType BlockArguments ScopedTypeVariables TypeApplications PartialTypeSignatures NamedWildCards OverloadedStrings OverloadedLists ConstraintKinds RankNTypes DefaultSignatures PatternSynonyms PatternGuards FunctionalDependencies GADTs ExistentialQuantification DataKinds PolyKinds TypeFamilies QuantifiedConstraints
ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wpartial-fields -Wredundant-constraints -Wno-deprecations -Wno-missing-pattern-synonym-signatures -threaded -rtsopts -with-rtsopts=-N
build-depends:
Stream
, base-noprelude >=4.12 && <5
, containers
, mtl
, prettyprinter
, relude >=0.5 && <1
, sbv >=8.0 && <9
, symbolic-tophat
, text
, unordered-containers
, vector
default-language: Haskell2010