Newer
Older
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
let HsSrc =
< FromHackage : { name : Text, version : Text }
| FromGit :
{ url : Text, revision : Optional Text, subdir : Optional Text }
>
let Modifiers =
{ Type = { doJailbreak : Bool, doCheck : Bool }
, default = { doJailbreak = True, doCheck = False }
}
let Attr = λ(a : Type) → { mapKey : Text, mapValue : a }
let HsPkg =
{ Type = { source : HsSrc, modifiers : Modifiers.Type }
, default.modifiers = Modifiers.default
}
let callHackage
: ∀(name : Text) → ∀(version : Text) → Attr HsPkg.Type
= λ(name : Text) →
λ(version : Text) →
{ mapKey = name
, mapValue = HsPkg::{ source = HsSrc.FromHackage { name, version } }
}
let callCabal2nix
: ∀(name : Text) →
∀(url : Text) →
∀(revision : Optional Text) →
∀(subdir : Optional Text) →
Attr HsPkg.Type
= λ(name : Text) →
λ(url : Text) →
λ(revision : Optional Text) →
λ(subdir : Optional Text) →
{ mapKey = name
, mapValue = HsPkg::{ source = HsSrc.FromGit { url, revision, subdir } }
}
in [ callHackage "PyF" "0.11.0.0"
, callHackage "Unique" "0.4.7.9"
, callHackage "algebraic-graphs" "0.7"
, callHackage "base64-bytestring-type" "1.0.1"
, callHackage "bech32" "1.1.2"
, callCabal2nix
"byron-spec-chain"
"https://github.com/milloni/cardano-ledger"
(Some "2857b079bdab6e1545c60c614157ba8e7d19233e")
(Some "eras/byron/chain/executable-spec")
, callCabal2nix
"byron-spec-ledger"
"https://github.com/milloni/cardano-ledger"
(Some "2857b079bdab6e1545c60c614157ba8e7d19233e")
(Some "eras/byron/ledger/executable-spec")
, callHackage "canonical-json" "0.6.0.1"
, callCabal2nix
"cardano-binary"
"https://github.com/input-output-hk/cardano-base"
(Some "46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee")
(Some "binary")
, callCabal2nix
"cardano-binary-test"
"https://github.com/input-output-hk/cardano-base"
(Some "46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee")
(Some "binary/test")
, callCabal2nix
"cardano-crypto"
"https://github.com/input-output-hk/cardano-crypto"
(Some "07397f0e50da97eaa0575d93bee7ac4b2b2576ec")
(None Text)
, callCabal2nix
"cardano-crypto-class"
"https://github.com/input-output-hk/cardano-base"
(Some "46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee")
(Some "cardano-crypto-class")
, callCabal2nix
"cardano-crypto-praos"
"https://github.com/input-output-hk/cardano-base"
(Some "46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee")
(Some "cardano-crypto-praos")
, callCabal2nix
"cardano-crypto-test"
"https://github.com/milloni/cardano-ledger"
(Some "2857b079bdab6e1545c60c614157ba8e7d19233e")
(Some "eras/byron/crypto/test")
, callCabal2nix
"cardano-crypto-wrapper"
"https://github.com/milloni/cardano-ledger"
(Some "2857b079bdab6e1545c60c614157ba8e7d19233e")
(Some "eras/byron/crypto")
Max Tomago
committed
, callCabal2nix
"cardano-data"
"https://github.com/milloni/cardano-ledger"
(Some "bc859395040abf075f4ca44b4ce8c221d2c4bb66")
(Some "libs/cardano-data")
, callCabal2nix
"cardano-ledger-byron"
"https://github.com/milloni/cardano-ledger"
(Some "2857b079bdab6e1545c60c614157ba8e7d19233e")
(Some "eras/byron/ledger/impl")
Max Tomago
committed
, callCabal2nix
"cardano-ledger-core"
"https://github.com/milloni/cardano-ledger"
(Some "bc859395040abf075f4ca44b4ce8c221d2c4bb66")
(Some "libs/cardano-ledger-core")
Max Tomago
committed
, callCabal2nix
"cardano-ledger-shelley"
"https://github.com/milloni/cardano-ledger"
(Some "bc859395040abf075f4ca44b4ce8c221d2c4bb66")
(Some "eras/shelley/impl")
Max Tomago
committed
, callCabal2nix
"cardano-ledger-shelley-ma"
"https://github.com/milloni/cardano-ledger"
(Some "e95d4aa2d7e39c856e8b0aaae3610ffb2391ac19")
(Some "eras/shelley-ma/impl")
, callCabal2nix
"cardano-slotting"
"https://github.com/input-output-hk/cardano-base"
(Some "46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee")
(Some "slotting")
, callCabal2nix
"cardano-strict-containers"
"https://github.com/input-output-hk/cardano-base"
(Some "46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee")
(Some "cardano-strict-containers")
, callCabal2nix
"cardano-prelude"
"https://github.com/input-output-hk/cardano-prelude"
(Some "b6053a23f53acd5c519cc559c3861dda3ebf8b35")
(Some "cardano-prelude")
, callCabal2nix
"cardano-prelude-test"
"https://github.com/input-output-hk/cardano-prelude"
(Some "b6053a23f53acd5c519cc559c3861dda3ebf8b35")
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
(Some "cardano-prelude-test")
, callCabal2nix
"flat"
"https://github.com/Quid2/flat"
(Some "2121ee96201e39764e3a6fcbc53241afb0050647")
(None Text)
, callHackage "generic-monoid" "0.1.0.1"
, callCabal2nix
"ghc-typelits-knownnat"
"https://github.com/clash-lang/ghc-typelits-knownnat"
(Some "1bc4ee33e005e96d1f7785c715588a289707cd48")
(None Text)
, callCabal2nix
"ghc-typelits-natnormalise"
"https://github.com/clash-lang/ghc-typelits-natnormalise"
(Some "e0af5b3c69a7d8e1dd402eb727631801e7d9be3d")
(None Text)
, callCabal2nix
"goblins"
"https://github.com/newhoggy/goblins"
(Some "a315f41ec7250097fa6073b5ef4773e45758578f")
(None Text)
, callCabal2nix
"gray-code"
"https://github.com/milloni/gray-code-0.3.1"
(Some "f310a19e44416206633cfd084f10ffb7cfea9f1d")
(None Text)
, callCabal2nix
"heapwords"
"https://github.com/input-output-hk/cardano-base"
(Some "46cd4c97cff9f1f0a0da976aa9e32bd2899c85ee")
(Some "heapwords")
, callCabal2nix
"inline-r"
"https://github.com/tweag/HaskellR"
(Some "fe9b5bd06cd4d3988e47b9933b11d83b6108e255")
(Some "inline-r")
, callCabal2nix
"moo"
"https://github.com/milloni/moo"
(Some "20e4c6ee880e7d62b18b995750063dd7349a3f8e")
(None Text)
Max Tomago
committed
, callCabal2nix
"non-integral"
"https://github.com/milloni/cardano-ledger"
(Some "bc859395040abf075f4ca44b4ce8c221d2c4bb66")
(Some "libs/non-integral")
, callCabal2nix
"nothunks"
"https://github.com/locallycompact/nothunks"
(Some "0d7e3565407aa4eb21d861d075dff6f20d090f97")
(None Text)
, callCabal2nix
"plutus-core"
"https://github.com/milloni/plutus"
(Some "81cd1ada745c12af2c2c28afce1f6b6b28b38fdd")
(Some "plutus-core")
, callCabal2nix
"plutus-ledger-api"
"https://github.com/milloni/plutus"
(Some "81cd1ada745c12af2c2c28afce1f6b6b28b38fdd")
(Some "plutus-ledger-api")
, callCabal2nix
"plutus-tx"
"https://github.com/milloni/plutus"
(Some "81cd1ada745c12af2c2c28afce1f6b6b28b38fdd")
(Some "plutus-tx")
, callCabal2nix
"prettyprinter-configurable"
"https://github.com/milloni/plutus"
(Some "81cd1ada745c12af2c2c28afce1f6b6b28b38fdd")
(Some "prettyprinter-configurable")
, callHackage "protolude" "0.3.2"
, callHackage "ral" "0.1"
, callHackage "recursion-schemes" "5.2.2.2"
, callHackage "ref-tf" "0.5.0.1"
Max Tomago
committed
, callCabal2nix
"set-algebra"
"https://github.com/milloni/cardano-ledger"
(Some "bc859395040abf075f4ca44b4ce8c221d2c4bb66")
(Some "libs/set-algebra")
, callHackage "singletons-th" "3.1.1"
, callCabal2nix
"small-steps"
"https://github.com/milloni/cardano-ledger"
(Some "2857b079bdab6e1545c60c614157ba8e7d19233e")
(Some "libs/small-steps")
, callCabal2nix
"small-steps-test"
"https://github.com/milloni/cardano-ledger"
(Some "2857b079bdab6e1545c60c614157ba8e7d19233e")
(Some "libs/small-steps-test")
, callHackage "streaming-bytestring" "0.2.4"
, callCabal2nix
"strict-containers"
"https://github.com/milloni/strict-containers"
(Some "9e833be00bc2c5cdb0b4e743b7a2cde00dd4f616")
(Some "strict-containers")
, callHackage "th-desugar" "1.14"
, callCabal2nix
"typerep-map"
"https://github.com/parsonsmatt/typerep-map"
(Some "75b7cd5d45986be07420a6821d352ad2adc0b697")
(None Text)
Max Tomago
committed
, callCabal2nix
"vector-map"
"https://github.com/milloni/cardano-ledger"
(Some "bc859395040abf075f4ca44b4ce8c221d2c4bb66")
(Some "libs/vector-map")
, callCabal2nix
"word-array"
"https://github.com/milloni/plutus"
(Some "81cd1ada745c12af2c2c28afce1f6b6b28b38fdd")
(Some "word-array")