-
Notifications
You must be signed in to change notification settings - Fork 1
/
guix.scm
241 lines (232 loc) · 8.69 KB
/
guix.scm
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
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
(use-modules (guix packages)
(guix download)
(guix gexp)
((guix licenses) #:prefix license:)
(guix git-download)
(guix build-system haskell)
(gnu packages)
(gnu packages haskell-apps)
(gnu packages haskell-web)
(gnu packages haskell-xyz)
(gnu packages haskell-check))
(define-public ghc-natural-transformation
(package
(name "ghc-natural-transformation")
(version "0.4")
(source
(origin
(method url-fetch)
(uri (hackage-uri "natural-transformation" version))
(sha256
(base32 "1by8xwjc23l6pa9l4iv7zp82dykpll3vc3hgxk0pgva724n8xhma"))))
(build-system haskell-build-system)
(properties '((upstream-name . "natural-transformation")))
(native-inputs (list ghc-quickcheck-instances ghc-tasty
ghc-tasty-quickcheck))
(arguments
`(#:cabal-revision ("10"
"18d14fasp1l5xdfgp8swgcyyjd3irqj19cn298ksx9wiw43j818p")))
(home-page "https://github.com/ku-fpg/natural-transformation")
(synopsis "Natural transformation for containers")
(description
"This package provides a natural transformation transforms a container
into another container. Natural transformations act as functor morphisms in
category theory.")
(license license:bsd-3)))
(define-public ghc-freer-simple
(package
(name "ghc-freer-simple")
(version "1.2.1.2")
(source
(origin
(method url-fetch)
(uri (hackage-uri "freer-simple" version))
(sha256
(base32 "11ypffdkpaxc03hlik6ymilhnk41fy7m92zzwqjma97g614vn0lw"))))
(build-system haskell-build-system)
(properties '((upstream-name . "freer-simple")))
(inputs (list ghc-natural-transformation ghc-transformers-base))
(native-inputs (list ghc-quickcheck ghc-tasty ghc-tasty-hunit
ghc-tasty-quickcheck))
(home-page "https://github.com/lexi-lambda/freer-simple")
(synopsis "Friendly effect system for Haskell")
(description
"An implementation of an effect system for Haskell based on the works
of Oleg Kiselyov et al. on freer monads.")
(license license:bsd-3)))
(define-public ghc-data-array-byte
(package
(name "ghc-data-array-byte")
(version "0.1.0.1")
(source
(origin
(method url-fetch)
(uri (hackage-uri "data-array-byte" version))
(sha256
(base32 "002n0af7q08q3fmgsc5b47s1clirxy0lrqglwxzhabg0nfhfrdhv"))))
(build-system haskell-build-system)
(properties '((upstream-name . "data-array-byte")))
(native-inputs (list ghc-quickcheck-classes-base ghc-tasty
ghc-tasty-quickcheck))
(arguments
`(#:cabal-revision ("1"
"1nma7gz7lhain6jvwb3w3s53716ss8ypkk93gxpsaaz824svvw9f")))
(home-page "https://github.com/Bodigrim/data-array-byte")
(synopsis "Compatibility layer for Data.Array.Byte")
(description
"Compatibility layer for Data.Array.Byte, providing boxed wrappers for
ByteArray and MutableByteArray as well as relevant instances for GHC < 9.4.")
(license license:bsd-3)))
(define-public ghc-melf
(package
(name "ghc-melf")
(version "1.3.1")
(source
(origin
(method url-fetch)
(uri (hackage-uri "melf" version))
(sha256
(base32 "0ivfzsw36qy0m93h353r3963vmhirzg3a5mirqn1hfbsk24xf1dx"))))
(build-system haskell-build-system)
(properties '((upstream-name . "melf")))
(inputs (list ghc-lens ghc-prettyprinter ghc-optparse-applicative))
(native-inputs (list ghc-tasty
ghc-tasty-golden
ghc-tasty-hunit
ghc-tasty
ghc-tasty-hunit
ghc-tasty
ghc-tasty-golden
ghc-tasty-hunit))
(home-page "https://github.com/aleksey-makarov/melf")
(synopsis "Monadic Elf parser for Haskell")
(description "Monadic parser for the @acronym{ELF, Executable and Linkable
Format} object format.")
(license license:bsd-3)))
(define-public ghc-bv
(package
(name "ghc-bv")
(version "0.5")
(source
(origin
(method url-fetch)
(uri (hackage-uri "bv" version))
(sha256
(base32 "1nkvqwqcjl57p6ir0sllb54vbj6q0l3s3w7z3z2svxjq2ymqk884"))))
(build-system haskell-build-system)
(properties '((upstream-name . "bv")))
(home-page "https://github.com/iagoabal/haskell-bv")
(synopsis "Bit-vector arithmetic library")
(description "Bit-vectors implemented as a thin wrapper over integers.")
(license license:bsd-3)))
(define-public ghc-deepseq
(package
(name "ghc-deepseq")
(version "1.4.8.1")
(source
(origin
(method url-fetch)
(uri (hackage-uri "deepseq" version))
(sha256
(base32 "0p8nmji6r9171mrmnnsm1x396pz6q0vks0afy475vny73i1rx1a7"))))
(build-system haskell-build-system)
(properties '((upstream-name . "deepseq")))
(home-page "http://hackage.haskell.org/package/deepseq")
(synopsis "Deep evaluation of data structures")
(description
"This package provides methods for fully evaluating data structures (deep
evaluation). Deep evaluation is often used for adding strictness to a program,
e.g. in order to force pending exceptions, remove space leaks, or force lazy
I/O to happen.")
(license license:bsd-3)))
(define-public ghc-hedgehog-classes
(package
(name "ghc-hedgehog-classes")
(version "0.2.5.4")
(source
(origin
(method url-fetch)
(uri (hackage-uri "hedgehog-classes" version))
(sha256
(base32 "0z9ik5asddc2pnz430jsi1pyahkh6jy36ng0vwm7ywcq7cvhcvlz"))))
(build-system haskell-build-system)
(properties '((upstream-name . "hedgehog-classes")))
(inputs (list ghc-hedgehog
ghc-pretty-show
ghc-silently
ghc-wl-pprint-annotated
ghc-aeson
ghc-semirings
ghc-comonad
ghc-vector
ghc-primitive))
(arguments
`(#:cabal-revision ("1"
"06d6wjpg2dqip714az5w01kgz3rl4w8i61l09fb4mx79a43y6pa5")))
(home-page "https://github.com/hedgehogqa/haskell-hedgehog-classes")
(synopsis "Hedgehog will eat your typeclass bugs")
(description
"This library provides Hedgehog properties to ensure that typeclass
instances adhere to the set of laws that they are supposed to.")
(license license:bsd-3)))
(define-public ghc-parameterized-utils
(package
(name "ghc-parameterized-utils")
(version "2.1.8.0")
(source
(origin
(method url-fetch)
(uri (hackage-uri "parameterized-utils" version))
(sha256
(base32 "026lrdnw5rjvny380rmrzpwhmcfgp551whbk0mnx2y2q6ij0sjfm"))))
(build-system haskell-build-system)
(properties '((upstream-name . "parameterized-utils")))
(inputs (list ghc-base-orphans
ghc-th-abstraction
ghc-constraints
ghc-hashable
ghc-hashtables
ghc-indexed-traversable
ghc-lens
ghc-profunctors
ghc-vector))
(native-inputs (list ghc-hedgehog
ghc-tasty
ghc-tasty-ant-xml
ghc-tasty-hunit
ghc-tasty-hedgehog
ghc-hedgehog-classes))
(home-page "https://github.com/GaloisInc/parameterized-utils")
(synopsis
"Classes and data structures for working with data-kind indexed types")
(description
"This package contains collection classes and type representations used
for working with values that have a single parameter. It's intended for things
like expression libraries where one wishes to leverage the Haskell type-checker
to improve type-safety by encoding the object language type system into data
kinds.")
(license license:bsd-3)))
(package
(name "libriscv")
(version "0.1.0.0")
(source
(local-file "." "git-checkout"
#:recursive? #t))
(build-system haskell-build-system)
(inputs (list ghc-template-haskell
ghc-file-embed
ghc-extra
ghc-yaml
ghc-bv
ghc-exceptions
ghc-melf
ghc-freer-simple
ghc-transformers
ghc-optparse-applicative
ghc-parameterized-utils
ghc-tasty
ghc-tasty-hunit))
(synopsis "Extensible implementation of the RISC-V ISA based on FreeMonads")
(description "A Versatile and Flexible RISC-V Model")
(home-page "https://github.com/agra-uni-bremen/libriscv")
(license license:expat))