forked from tweag/cooked-validators
-
Notifications
You must be signed in to change notification settings - Fork 0
/
cooked-validators.cabal
181 lines (177 loc) · 3.93 KB
/
cooked-validators.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
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
cabal-version: 3.4
-- This file has been generated from package.yaml by hpack version 0.35.1.
--
-- see: https://github.com/sol/hpack
name: cooked-validators
version: 2.0.0
license: MIT
license-file: LICENSE
build-type: Simple
library
exposed-modules:
Cooked
Cooked.Attack
Cooked.Attack.AddToken
Cooked.Attack.DatumHijacking
Cooked.Attack.DoubleSat
Cooked.Attack.DupToken
Cooked.Currencies
Cooked.Ltl
Cooked.MockChain
Cooked.MockChain.Balancing
Cooked.MockChain.BlockChain
Cooked.MockChain.Direct
Cooked.MockChain.GenerateTx
Cooked.MockChain.Staged
Cooked.MockChain.Testing
Cooked.MockChain.UtxoSearch
Cooked.MockChain.UtxoState
Cooked.Output
Cooked.Pretty
Cooked.Pretty.Class
Cooked.Pretty.Common
Cooked.Pretty.Cooked
Cooked.Pretty.Options
Cooked.RawUPLC
Cooked.ShowBS
Cooked.Skeleton
Cooked.Tweak
Cooked.Tweak.AddInputsAndOutputs
Cooked.Tweak.Common
Cooked.Tweak.Labels
Cooked.Tweak.OutPermutations
Cooked.Tweak.TamperDatum
Cooked.Tweak.ValidityRange
Cooked.ValueUtils
Cooked.Wallet
other-modules:
Paths_cooked_validators
autogen-modules:
Paths_cooked_validators
hs-source-dirs:
src
ghc-options: -Wall -Wno-missed-extra-shared-lib -fobject-code -fno-ignore-interface-pragmas -fno-omit-interface-pragmas -fplugin-opt PlutusTx.Plugin:defer-errors
build-depends:
QuickCheck
, aeson
, base >=4.9 && <5
, bytestring
, cardano-api
, cardano-crypto
, cardano-ledger-shelley
, cardano-node-emulator
, cardano-wallet-core
, containers
, data-default
, deepseq
, either
, flat
, foldl
, freer-extras
, freer-simple
, hashable
, hedgehog-quickcheck
, lens
, list-t
, memory
, monad-control
, mtl
, nonempty-containers
, optics-core
, optics-th
, optics-vl
, plutus-contract
, plutus-core
, plutus-ledger
, plutus-ledger-api
, plutus-pab
, plutus-script-utils
, plutus-tx
, plutus-tx-plugin
, prettyprinter
, random
, random-shuffle
, scientific
, streaming
, tasty
, tasty-hunit
, tasty-quickcheck
, text
, transformers
default-language: Haskell2010
test-suite spec
type: exitcode-stdio-1.0
main-is: Spec.hs
other-modules:
Cooked.Attack.DatumHijackingSpec
Cooked.Attack.DoubleSatSpec
Cooked.Attack.DupTokenSpec
Cooked.AttackSpec
Cooked.InlineDatumsSpec
Cooked.LtlSpec
Cooked.MinAdaSpec
Cooked.MockChain.BlockChainSpec
Cooked.MockChainSpec
Cooked.ReferenceInputsSpec
Cooked.ReferenceScriptsSpec
Cooked.ShowBSSpec
Cooked.TestUtils
Cooked.Tweak.CommonSpec
Cooked.Tweak.OutPermutationsSpec
Cooked.Tweak.ValidityRangeSpec
Cooked.TweakSpec
Paths_cooked_validators
autogen-modules:
Paths_cooked_validators
hs-source-dirs:
tests/
build-depends:
QuickCheck
, aeson
, base >=4.9 && <5
, bytestring
, cardano-api
, cardano-crypto
, cardano-ledger-shelley
, cardano-node-emulator
, cardano-wallet-core
, containers
, cooked-validators
, data-default
, deepseq
, either
, flat
, foldl
, freer-extras
, freer-simple
, hashable
, hedgehog-quickcheck
, lens
, list-t
, memory
, monad-control
, mtl
, nonempty-containers
, optics-core
, optics-th
, optics-vl
, parsec
, plutus-contract
, plutus-core
, plutus-ledger
, plutus-ledger-api
, plutus-pab
, plutus-script-utils
, plutus-tx
, plutus-tx-plugin
, prettyprinter
, random
, random-shuffle
, scientific
, streaming
, tasty
, tasty-hunit
, tasty-quickcheck
, text
, transformers
default-language: Haskell2010