Newer
Older
let H = ./horizon-spec.dhall
let callCardanoLedger
: ∀(name : Text) → ∀(subdir : Text) → H.Attr H.HaskellPackage.Type
= λ(name : Text) →
λ(subdir : Text) →
H.callCabal2nix
name
"https://github.com/milloni/cardano-ledger"
"3aa1fd8469424778454644f0d371988fb4490b4a"
(Some subdir)
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
let plutusLibraries =
H.modPackageList
mods
[ callCardanoLedger
"cardano-ledger-alonzo-test"
"eras/alonzo/test-suite"
, callCardanoLedger "cardano-ledger-alonzo" "eras/alonzo/impl"
, callCardanoLedger "cardano-ledger-babbage" "eras/babbage/impl"
, callCardanoLedger
"cardano-ledger-babbage-test"
"eras/babbage/test-suite"
, callCardanoLedger "cardano-ledger-conway" "eras/conway/impl"
, callCardanoLedger
"cardano-ledger-conway-test"
"eras/conway/test-suite"
, callCardanoLedger "cardano-ledger-pretty" "libs/cardano-ledger-pretty"
, callCardanoLedger "cardano-ledger-shelley" "eras/shelley/impl"
, callCardanoLedger
"cardano-ledger-shelley-test"
"eras/shelley/test-suite"
, callCardanoLedger "cardano-ledger-shelley-ma" "eras/shelley-ma/impl"
, callCardanoLedger
"cardano-ledger-shelley-ma-test"
"eras/shelley-ma/test-suite"
, callCardanoLedger "cardano-ledger-test" "libs/cardano-ledger-test"
, callCardanoLedger
"cardano-protocol-tpraos"
"libs/cardano-protocol-tpraos"
, H.callCabal2nix
"plutus-core"
"https://github.com/milloni/plutus"
"81cd1ada745c12af2c2c28afce1f6b6b28b38fdd"
(Some "plutus-core")
, H.callCabal2nix
"plutus-ledger-api"
"https://github.com/milloni/plutus"
"81cd1ada745c12af2c2c28afce1f6b6b28b38fdd"
(Some "plutus-ledger-api")
, H.callCabal2nix
"plutus-tx"
"https://github.com/milloni/plutus"
"81cd1ada745c12af2c2c28afce1f6b6b28b38fdd"
(Some "plutus-tx")
]
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
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
let otherLibraries =
[ H.callHackage "HTF" "0.15.0.0"
, H.callHackage "PyF" "0.11.0.0"
, H.callHackage "Stream" "0.4.7.2"
, H.callHackage "Unique" "0.4.7.9"
, H.callHackage "algebraic-graphs" "0.7"
, H.callHackage "base58-bytestring" "0.1.0"
, H.callHackage "base64-bytestring-type" "1.0.1"
, H.callCabal2nix
"base-deriving-via"
"https://github.com/input-output-hk/cardano-base"
"46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee"
(Some "base-deriving-via")
, H.callHackage "base-prelude" "1.6.1"
, H.callHackage "bech32" "1.1.2"
, H.callHackage "bin" "0.1.2"
, callCardanoLedger "byron-spec-chain" "eras/byron/chain/executable-spec"
, callCardanoLedger
"byron-spec-ledger"
"eras/byron/ledger/executable-spec"
, H.callHackage "canonical-json" "0.6.0.1"
, H.callCabal2nix
"cardano-binary"
"https://github.com/input-output-hk/cardano-base"
"46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee"
(Some "binary")
, H.callCabal2nix
"cardano-binary-test"
"https://github.com/input-output-hk/cardano-base"
"46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee"
(Some "binary/test")
, H.callCabal2nix
"cardano-crypto"
"https://github.com/input-output-hk/cardano-crypto"
"07397f0e50da97eaa0575d93bee7ac4b2b2576ec"
(None Text)
, H.callCabal2nix
"cardano-crypto-class"
"https://github.com/input-output-hk/cardano-base"
"46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee"
(Some "cardano-crypto-class")
, H.callCabal2nix
"cardano-crypto-praos"
"https://github.com/input-output-hk/cardano-base"
"46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee"
(Some "cardano-crypto-praos")
, callCardanoLedger "cardano-crypto-test" "eras/byron/crypto/test"
, callCardanoLedger "cardano-crypto-wrapper" "eras/byron/crypto"
, callCardanoLedger "cardano-data" "libs/cardano-data"
, callCardanoLedger "cardano-ledger-api" "libs/cardano-ledger-api"
, callCardanoLedger "cardano-ledger-byron" "eras/byron/ledger/impl"
, callCardanoLedger
"cardano-ledger-byron-test"
"eras/byron/ledger/impl/test"
, callCardanoLedger "cardano-ledger-core" "libs/cardano-ledger-core"
, H.callCabal2nix
"cardano-slotting"
"https://github.com/input-output-hk/cardano-base"
"46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee"
(Some "slotting")
, H.callCabal2nix
"cardano-strict-containers"
"https://github.com/input-output-hk/cardano-base"
"46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee"
(Some "cardano-strict-containers")
, H.callCabal2nix
"cardano-prelude"
"https://github.com/input-output-hk/cardano-prelude"
"b6053a23f53acd5c519cc559c3861dda3ebf8b35"
(Some "cardano-prelude")
, H.callCabal2nix
"cardano-prelude-test"
"https://github.com/input-output-hk/cardano-prelude"
"b6053a23f53acd5c519cc559c3861dda3ebf8b35"
(Some "cardano-prelude-test")
, H.callHackage "composition-prelude" "3.0.0.2"
, H.callHackage "contra-tracer" "0.2.0.0"
, H.callHackage "data-ordlist" "0.4.7.0"
, H.callHackage "dependent-sum-template" "0.1.1.1"
, H.callHackage "deriving-compat" "0.6.1"
, H.callHackage "dictionary-sharing" "0.1.0.0"
, H.callHackage "dom-lt" "0.2.3"
, H.callCabal2nix
"flat"
"https://github.com/Quid2/flat"
"2121ee96201e39764e3a6fcbc53241afb0050647"
(None Text)
, H.callHackage "generic-monoid" "0.1.0.1"
, H.callCabal2nix
"ghc-typelits-knownnat"
"https://github.com/clash-lang/ghc-typelits-knownnat"
"1bc4ee33e005e96d1f7785c715588a289707cd48"
(None Text)
, H.callCabal2nix
"ghc-typelits-natnormalise"
"https://github.com/clash-lang/ghc-typelits-natnormalise"
"e0af5b3c69a7d8e1dd402eb727631801e7d9be3d"
(None Text)
, H.callCabal2nix
"goblins"
"https://github.com/newhoggy/goblins"
"a315f41ec7250097fa6073b5ef4773e45758578f"
(None Text)
, H.callCabal2nix
"gray-code"
"https://github.com/milloni/gray-code-0.3.1"
"f310a19e44416206633cfd084f10ffb7cfea9f1d"
(None Text)
, H.callHackage "haskell-src" "1.0.4"
, H.callCabal2nix
"heapwords"
"https://github.com/input-output-hk/cardano-base"
"46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee"
(Some "heapwords")
, H.callHackage "hedgehog-fn" "1.0"
, H.callHackage "hedgehog-quickcheck" "0.1.1"
, H.callHackage "heredoc" "0.2.0.0"
, H.callHackage "hex-text" "0.1.0.7"
, H.callHackage "hxt" "9.3.1.22"
, H.callHackage "hxt-charproperties" "9.5.0.0"
, H.callHackage "hxt-regex-xmlschema" "9.2.0.7"
, H.callHackage "hxt-unicode" "9.0.2.4"
, H.callHackage "inline-c" "0.9.1.6"
, H.callCabal2nix
"inline-r"
"https://github.com/tweag/HaskellR"
"fe9b5bd06cd4d3988e47b9933b11d83b6108e255"
(Some "inline-r")
, H.callHackage "int-cast" "0.2.0.0"
, H.callCabal2nix
"measures"
"https://github.com/input-output-hk/cardano-base"
"46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee"
(Some "measures")
, H.callHackage "mersenne-random-pure64" "0.2.2.0"
, H.callHackage "monoidal-containers" "0.6.3.0"
, H.callCabal2nix
"moo"
"https://github.com/astanin/moo"
"dbda5e76ac3b4c72c805ec0cdb9bcdff7bb6247d"
(None Text)
, H.callHackage "mtl-prelude" "2.0.3.1"
, H.callHackage "multiset" "0.3.4.3"
, H.callHackage "lazysmallcheck" "0.6"
, H.callHackage "lazy-search" "0.1.3.0"
, H.callHackage "list-t" "1.0.5.3"
, H.callHackage "newtype" "0.2.2.0"
, H.callHackage "nonempty-vector" "0.2.1.0"
, callCardanoLedger "non-integral" "libs/non-integral"
, H.callCabal2nix
"nothunks"
"https://github.com/locallycompact/nothunks"
"0d7e3565407aa4eb21d861d075dff6f20d090f97"
(None Text)
, H.callHackage "partial-order" "0.2.0.0"
, callCardanoLedger "plutus-preprocessor" "libs/plutus-preprocessor"
, H.callCabal2nix
"prettyprinter-configurable"
"https://github.com/milloni/plutus"
"81cd1ada745c12af2c2c28afce1f6b6b28b38fdd"
(Some "prettyprinter-configurable")
, H.callHackage "protolude" "0.3.2"
, H.callHackage "quiet" "0.2"
, H.callHackage "ral" "0.1"
, H.callHackage "recursion-schemes" "5.2.2.2"
, H.callHackage "ref-tf" "0.5.0.1"
, callCardanoLedger "set-algebra" "libs/set-algebra"
, H.callHackage "singletons-th" "3.1.1"
, callCardanoLedger "small-steps" "libs/small-steps"
, callCardanoLedger "small-steps-test" "libs/small-steps-test"
, H.callHackage "streaming-binary" "0.3.0.1"
, H.callHackage "streaming-bytestring" "0.2.4"
, H.callCabal2nix
"strict-containers"
"https://github.com/milloni/strict-containers"
"9e833be00bc2c5cdb0b4e743b7a2cde00dd4f616"
(Some "strict-containers")
, H.callHackage "testing-type-modifiers" "0.1.0.1"
, H.callHackage "th-desugar" "1.14"
, H.callCabal2nix
"typerep-map"
"https://github.com/parsonsmatt/typerep-map"
"75b7cd5d45986be07420a6821d352ad2adc0b697"
(None Text)
, H.callHackage "validation-selective" "0.1.0.2"
, callCardanoLedger "vector-map" "libs/vector-map"
, H.callCabal2nix
"word-array"
"https://github.com/milloni/plutus"
"81cd1ada745c12af2c2c28afce1f6b6b28b38fdd"
(Some "word-array")
, H.callHackage "xmlgen" "0.6.2.2"
, H.callHackage "size-based" "0.1.3.1"
]
in plutusLibraries # otherLibraries