Newer
Older
https://gitlab.horizon-haskell.net/dhall/horizon-spec/-/raw/0.10.0/horizon-spec/package.dhall
: H.Url → H.Revision → H.Subdir → H.HaskellPackage.Type
= λ(repo : H.Url) →
λ(revision : H.Revision) →
λ(subdir : H.Subdir) →
= λ(name : H.Name) →
λ(version : H.Version) →
H.callTarball
"https://input-output-hk.github.io/cardano-haskell-packages/package/${name}-${version}.tar.gz"
"https://github.com/locallycompact/cardano-base"
let callCardanoWallet
: H.Subdir → H.HaskellPackage.Type
= callRepository
"https://github.com/input-output-hk/cardano-wallet"
"14ab2f7b42a7805892fcb626340dce0736e9257a"
let callCardanoLedger
: H.Subdir → H.HaskellPackage.Type
= callRepository
"https://github.com/input-output-hk/cardano-ledger"
= callRepository
"https://github.com/input-output-hk/cardano-node"
Daniel Firth
committed
let callIoSim
= callRepository
"https://github.com/input-output-hk/io-sim"
"df0ddc92200cc880478a656604a736cfb9250568"
Daniel Firth
committed
let callIohkMonitoringFramework
= callRepository
"https://github.com/input-output-hk/iohk-monitoring-framework"
"1b5ae75d3186159f8175ad625db324d075450343"
let callOuroborosConsensus
: H.Subdir → H.HaskellPackage.Type
= callRepository
"https://github.com/input-output-hk/ouroboros-consensus"
"9ebe62d3f1a5b932c984a7b435f93692916fec60"
"https://github.com/input-output-hk/ouroboros-network"
"3c91184485de25d17d8a4c1979b7ad106e2a5512"
= callRepository
"https://github.com/input-output-hk/plutus-apps"
"b7ac5b2035f3675b3ceb289cf3a1551230714987"
Daniel Firth
committed
"https://github.com/input-output-hk/plutus"
= callRepository
"https://github.com/input-output-hk/typed-protocols"
"a8af24cab3a5be0a27f398e6e068c29bed053d1e"
let callFsSim
: H.Subdir → H.HaskellPackage.Type
= callRepository
"https://github.com/input-output-hk/fs-sim"
"ee0ddcda91c8a66465e442096ba7c7289f3662f8"
H.Modifiers::{ enableProfiling = False }
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
( toMap
{ OddWord =
H.callGit
"https://github.com/locallycompact/OddWord"
"ace47523b97ac2bc4dcdef5542927e5216e32afd"
(None H.Subdir)
, Win32-network =
H.callGit
"https://github.com/input-output-hk/Win32-network"
"1a6bd1f67d1463d7243ab4c34fc4f7d84ee0554a"
(None H.Subdir)
, FailT = H.callHackage "FailT" "0.1.2.0"
, algebraic-graphs = H.callHackage "algebraic-graphs" "0.7"
, base-deriving-via = callCardanoBase "base-deriving-via"
, binary-search = H.callHackage "binary-search" "2.0.0"
, byron-spec-chain =
callCardanoLedger "eras/byron/chain/executable-spec"
, byron-spec-ledger =
callCardanoLedger "eras/byron/ledger/executable-spec"
, cardano-api = callCardanoNode "cardano-api"
, cardano-binary = callCardanoBase "cardano-binary"
, cardano-binary-test = callCardanoBase "cardano-binary/test"
, cardano-cli = callCardanoNode "cardano-cli"
, cardano-crypto =
H.callGit
"https://github.com/input-output-hk/cardano-crypto"
"07397f0e50da97eaa0575d93bee7ac4b2b2576ec"
(None H.Subdir)
, cardano-crypto-class = callCardanoBase "cardano-crypto-class"
, cardano-crypto-praos = callCardanoBase "cardano-crypto-praos"
, cardano-crypto-tests = callCardanoBase "cardano-crypto-tests"
, cardano-crypto-test = callCardanoLedger "eras/byron/crypto/test"
, cardano-crypto-wrapper = callCardanoLedger "eras/byron/crypto"
, cardano-data = callCardanoLedger "libs/cardano-data"
, cardano-git-rev = callCardanoNode "cardano-git-rev"
, cardano-mempool = callCardanoBase "cardano-mempool"
, cardano-ledger-allegra = callCardanoLedger "eras/allegra/impl"
, cardano-ledger-mary = callCardanoLedger "eras/mary/impl"
, cardano-ledger-byron = callCardanoLedger "eras/byron/ledger/impl"
, cardano-ledger-byron-test =
callCardanoLedger "eras/byron/ledger/impl/test"
, cardano-ledger-core = callCardanoLedger "libs/cardano-ledger-core"
, cardano-ledger-alonzo-test =
callCardanoLedger "eras/alonzo/test-suite"
, cardano-ledger-alonzo = callCardanoLedger "eras/alonzo/impl"
, cardano-ledger-api = callCardanoLedger "libs/cardano-ledger-api"
, cardano-ledger-babbage = callCardanoLedger "eras/babbage/impl"
, cardano-ledger-babbage-test =
callCardanoLedger "eras/babbage/test-suite"
, cardano-ledger-binary =
callCardanoLedger "libs/cardano-ledger-binary"
, cardano-ledger-conway = callCardanoLedger "eras/conway/impl"
, cardano-ledger-conway-test =
callCardanoLedger "eras/conway/test-suite"
, cardano-ledger-pretty =
callCardanoLedger "libs/cardano-ledger-pretty"
, cardano-ledger-shelley = callCardanoLedger "eras/shelley/impl"
, cardano-ledger-shelley-test =
callCardanoLedger "eras/shelley/test-suite"
, cardano-ledger-shelley-ma =
callCardanoLedger "eras/shelley-ma/impl"
, cardano-ledger-shelley-ma-test =
callCardanoLedger "eras/shelley-ma/test-suite"
, cardano-ledger-test = callCardanoLedger "libs/cardano-ledger-test"
, cardano-protocol-tpraos =
callCardanoLedger "libs/cardano-protocol-tpraos"
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
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
, cardano-node = callCardanoNode "cardano-node"
, cardano-ping = callOuroborosNetwork "cardano-ping"
, cardano-slotting = callCHaP "cardano-slotting" "0.1.1.1"
, cardano-strict-containers =
callCardanoBase "cardano-strict-containers"
, cardano-prelude = callCHaP "cardano-prelude" "0.1.0.1"
, cardano-prelude-test = callCHaP "cardano-prelude-test" "0.1.0.1"
, contra-tracer = callCHaP "contra-tracer" "0.1.0.1"
, ekg-forward =
H.callGit
"https://github.com/input-output-hk/ekg-forward"
"5cb1dbac35ac07870302511403faf8efb96c56c3"
(None H.Subdir)
, fgl = H.callHackage "fgl" "5.8.1.1"
, fgl-arbitrary = H.callHackage "fgl-arbitrary" "0.2.0.6"
, flat =
H.callGit
"https://github.com/Quid2/flat"
"2121ee96201e39764e3a6fcbc53241afb0050647"
(None H.Subdir)
, fs-api = callFsSim "fs-api"
, fs-sim = callFsSim "fs-sim"
, graphviz = H.callHackage "graphviz" "2999.20.1.0"
, goblins =
H.callGit
"https://github.com/newhoggy/goblins"
"a315f41ec7250097fa6073b5ef4773e45758578f"
(None H.Subdir)
, gray-code =
H.callGit
"https://github.com/milloni/gray-code-0.3.1"
"f310a19e44416206633cfd084f10ffb7cfea9f1d"
(None H.Subdir)
, heapwords = callCardanoBase "heapwords"
, hedgehog-corpus = H.callHackage "hedgehog-corpus" "0.2.0"
, hs-rqlite = H.callHackage "hs-rqlite" "0.1.2.0"
, io-classes = callIoSim "io-classes"
, io-classes-mtl = callIoSim "io-classes-mtl"
, io-sim = callIoSim "io-sim"
, iohk-monitoring = callCHaP "iohk-monitoring" "0.1.11.1"
, libsystemd-journal = H.callHackage "libsystemd-journal" "1.4.5"
, lobemo-backend-aggregation =
callIohkMonitoringFramework "plugins/backend-aggregation"
, lobemo-backend-editor =
callIohkMonitoringFramework "plugins/backend-editor"
, lobemo-backend-ekg =
callIohkMonitoringFramework "plugins/backend-ekg"
, lobemo-backend-graylog =
callIohkMonitoringFramework "plugins/backend-graylog"
, lobemo-backend-monitoring =
callIohkMonitoringFramework "plugins/backend-monitoring"
, lobemo-backend-trace-acceptor =
callIohkMonitoringFramework "plugins/backend-trace-acceptor"
, lobemo-backend-trace-forwarder =
callIohkMonitoringFramework "plugins/backend-trace-forwarder"
, lobemo-scribe-systemd =
callIohkMonitoringFramework "plugins/scribe-systemd"
, measures = callCardanoBase "measures"
, microbench = H.callHackage "microbench" "0.1"
, monoidal-containers =
H.callHackage "monoidal-containers" "0.6.4.0"
, monoidal-synchronisation =
callOuroborosNetwork "monoidal-synchronisation"
, moo =
H.callGit
"https://github.com/astanin/moo"
"dbda5e76ac3b4c72c805ec0cdb9bcdff7bb6247d"
(None H.Subdir)
, network-mux = callOuroborosNetwork "network-mux"
, non-integral = callCardanoLedger "libs/non-integral"
, nothunks =
H.callGit
"https://github.com/locallycompact/nothunks"
"0d7e3565407aa4eb21d861d075dff6f20d090f97"
(None H.Subdir)
, ntp-client = callCHaP "ntp-client" "0.0.1"
, optparse-applicative-fork =
H.callGit
"https://github.com/input-output-hk/optparse-applicative/"
"7497a29cb998721a9068d5725d49461f2bba0e7a"
(None H.Subdir)
, ouroboros-consensus = callOuroborosConsensus "ouroboros-consensus"
, ouroboros-consensus-cardano =
callOuroborosConsensus "ouroboros-consensus-cardano"
, ouroboros-consensus-diffusion =
callOuroborosConsensus "ouroboros-consensus-diffusion"
, ouroboros-consensus-protocol =
callOuroborosConsensus "ouroboros-consensus-protocol"
, ouroboros-network-api =
callOuroborosNetwork "ouroboros-network-api"
, ouroboros-network-framework =
callOuroborosNetwork "ouroboros-network-framework"
, ouroboros-network-mock =
callOuroborosNetwork "ouroboros-network-mock"
, ouroboros-network-protocols =
callOuroborosNetwork "ouroboros-network-protocols"
, ouroboros-network-testing =
callOuroborosNetwork "ouroboros-network-testing"
, ouroboros-network = callOuroborosNetwork "ouroboros-network"
, plutus-core = callPlutus "plutus-core"
, plutus-ledger-api = callPlutus "plutus-ledger-api"
, plutus-preprocessor = callCardanoLedger "libs/plutus-preprocessor"
, plutus-tx = callPlutus "plutus-tx"
, plutus-tx-plugin = callPlutus "plutus-tx-plugin"
, prettyprinter-configurable =
callPlutus "prettyprinter-configurable"
, pvar = H.callHackage "pvar" "1.0.0.0"
, quickcheck-state-machine =
H.callHackage "quickcheck-state-machine" "0.7.2"
, quickcheck-transformer =
H.callHackage "quickcheck-transformer" "0.3.1.2"
, set-algebra = callCardanoLedger "libs/set-algebra"
, si-timers = H.callHackage "si-timers" "1.1.0.0"
, small-steps = callCardanoLedger "libs/small-steps"
, small-steps-test = callCardanoLedger "libs/small-steps-test"
, strict-containers = callCHaP "strict-containers" "0.1.0.0"
, strict-stm = callIoSim "strict-stm"
, threepenny-gui = H.callHackage "threepenny-gui" "0.9.4.0"
, trace-dispatcher = callCardanoNode "trace-dispatcher"
, trace-forward = callCardanoNode "trace-forward"
, trace-resources = callCardanoNode "trace-resources"
, tracer-transformers = callCHaP "tracer-transformers" "0.1.0.2"
, typed-protocols-cborg = callTypedProtocols "typed-protocols-cborg"
, typed-protocols-examples =
callTypedProtocols "typed-protocols-examples"
, typed-protocols = callTypedProtocols "typed-protocols"
, unix-bytestring = H.callHackage "unix-bytestring" "0.4.0"
, vector-map = callCardanoLedger "libs/vector-map"
, websockets-snap = H.callHackage "websockets-snap" "0.10.3.1"
, wl-pprint-text = H.callHackage "wl-pprint-text" "1.2.0.2"
, word-array = callPlutus "word-array"
}
)
in H.HorizonExport.MakeOverlay
{ packagesDir = "pkgs"
, overlayFile = "overlay.nix"