Skip to content

Commit ec565d9

Browse files
author
IOHK
committed
Automatic Update
1 parent 62687b7 commit ec565d9

19 files changed

+1175
-0
lines changed

‎hackage/ghc-tcplugin-api-0.14.0.0-r0-b56f0714fd7e74d75ff12ff6f30ea3cae99d00dd89abb9ff44bc0bfeadadd6ad.nix‎

Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "3.0";
14+
identifier = { name = "ghc-tcplugin-api"; version = "0.14.0.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2021-2024 Sam Derbyshire";
17+
maintainer = "Sam Derbyshire";
18+
author = "Sam Derbyshire";
19+
homepage = "https://github.com/sheaf/ghc-tcplugin-api";
20+
url = "";
21+
synopsis = "An API for type-checker plugins.";
22+
description = "This library provides a streamlined monadic interface\nfor writing GHC type-checking plugins.\n\nEach stage in a type-checking plugin (initialisation, solving, rewriting,\nshutdown) has a corresponding monad, preventing operations that are only\nallowed in some stages to be used in the other stages.\nOperations that work across multiple stages are overloaded across monads\nusing MTL-like typeclasses.\n\nSome operations, like creating evidence for constraints or creating\ncustom type error messages, are also simplified.\n\nPlease refer to the <https://github.com/sheaf/ghc-tcplugin-api associated GitHub repository>\nfor example usage.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
30+
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
31+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
32+
];
33+
buildable = true;
34+
};
35+
};
36+
}

‎hackage/hasmtlib-2.7.2-r0-5eceb477bbd77e474fea92242bd883d0d5fef1a0b81d292b70794732d4282b7a.nix‎

Lines changed: 53 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,53 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "3.0";
14+
identifier = { name = "hasmtlib"; version = "2.7.2"; };
15+
license = "GPL-3.0-only";
16+
copyright = "© 2024 Julian Bruder";
17+
maintainer = "[email protected]";
18+
author = "Julian Bruder";
19+
homepage = "https://github.com/bruderj15/Hasmtlib";
20+
url = "";
21+
synopsis = "A monad for interfacing with external SMT solvers";
22+
description = "Hasmtlib is a library for generating SMTLib2-problems using a monad.\nIt takes care of encoding your problem, marshaling the data to an external solver and parsing and interpreting the result into Haskell types.\nIt is highly inspired by ekmett/ersatz which does the same for QSAT.\nCommunication with external solvers is handled by tweag/smtlib-backends.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
29+
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
30+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
31+
(hsPkgs."lifted-base" or (errorHandler.buildDepError "lifted-base"))
32+
(hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control"))
33+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
34+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
35+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
36+
(hsPkgs."dependent-map" or (errorHandler.buildDepError "dependent-map"))
37+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
38+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
39+
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
40+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
41+
(hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends"))
42+
(hsPkgs."smtlib-backends-process" or (errorHandler.buildDepError "smtlib-backends-process"))
43+
(hsPkgs."some" or (errorHandler.buildDepError "some"))
44+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
45+
(hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
46+
(hsPkgs."finite-typelits" or (errorHandler.buildDepError "finite-typelits"))
47+
(hsPkgs."vector-sized" or (errorHandler.buildDepError "vector-sized"))
48+
(hsPkgs."constrained-some" or (errorHandler.buildDepError "constrained-some"))
49+
];
50+
buildable = true;
51+
};
52+
};
53+
}

‎hackage/hasmtlib-2.8.0-r0-905707bd68a20650704e34a8c95f558b2cf2674841fb73355c5f7308b73d3cfc.nix‎

Lines changed: 53 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,53 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "3.0";
14+
identifier = { name = "hasmtlib"; version = "2.8.0"; };
15+
license = "GPL-3.0-only";
16+
copyright = "© 2024 Julian Bruder";
17+
maintainer = "[email protected]";
18+
author = "Julian Bruder";
19+
homepage = "https://github.com/bruderj15/Hasmtlib";
20+
url = "";
21+
synopsis = "A monad for interfacing with external SMT solvers";
22+
description = "Hasmtlib is a library for generating SMTLib2-problems using a monad.\nIt takes care of encoding your problem, marshaling the data to an external solver and parsing and interpreting the result into Haskell types.\nIt is highly inspired by ekmett/ersatz which does the same for QSAT.\nCommunication with external solvers is handled by tweag/smtlib-backends.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
29+
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
30+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
31+
(hsPkgs."lifted-base" or (errorHandler.buildDepError "lifted-base"))
32+
(hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control"))
33+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
34+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
35+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
36+
(hsPkgs."dependent-map" or (errorHandler.buildDepError "dependent-map"))
37+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
38+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
39+
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
40+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
41+
(hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends"))
42+
(hsPkgs."smtlib-backends-process" or (errorHandler.buildDepError "smtlib-backends-process"))
43+
(hsPkgs."some" or (errorHandler.buildDepError "some"))
44+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
45+
(hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
46+
(hsPkgs."finite-typelits" or (errorHandler.buildDepError "finite-typelits"))
47+
(hsPkgs."vector-sized" or (errorHandler.buildDepError "vector-sized"))
48+
(hsPkgs."constrained-some" or (errorHandler.buildDepError "constrained-some"))
49+
];
50+
buildable = true;
51+
};
52+
};
53+
}

‎hackage/hindent-6.2.1-r0-9624171d959b77c36975ef802a2c4c668c05865183db5c6d04b02d5d6d9c88ba.nix‎

Lines changed: 180 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,180 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "2.0";
14+
identifier = { name = "hindent"; version = "6.2.1"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2014 Chris Done, 2015 Andrew Gibiansky, 2021 Mihai Maruseac";
17+
maintainer = "Mihai Maruseac";
18+
author = "Mihai Maruseac, Chris Done, Andrew Gibiansky, Tobias Pflug, Pierre Radermecker";
19+
homepage = "https://github.com/mihaimaruseac/hindent";
20+
url = "";
21+
synopsis = "Extensible Haskell pretty printer";
22+
description = "Extensible Haskell pretty printer. Both a library and an executable.\nSee the GitHub page for usage \\/ explanation: <https://github.com/mihaimaruseac/hindent>";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
29+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
30+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
31+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
32+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
33+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
34+
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
35+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
36+
(hsPkgs."ghc-lib-parser" or (errorHandler.buildDepError "ghc-lib-parser"))
37+
(hsPkgs."ghc-lib-parser-ex" or (errorHandler.buildDepError "ghc-lib-parser-ex"))
38+
(hsPkgs."monad-loops" or (errorHandler.buildDepError "monad-loops"))
39+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
40+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
41+
(hsPkgs."path" or (errorHandler.buildDepError "path"))
42+
(hsPkgs."path-io" or (errorHandler.buildDepError "path-io"))
43+
(hsPkgs."regex-tdfa" or (errorHandler.buildDepError "regex-tdfa"))
44+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
45+
(hsPkgs."syb" or (errorHandler.buildDepError "syb"))
46+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
47+
(hsPkgs."unicode-show" or (errorHandler.buildDepError "unicode-show"))
48+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
49+
(hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
50+
];
51+
buildable = true;
52+
};
53+
sublibs = {
54+
"hindent-internal" = {
55+
depends = [
56+
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
57+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
58+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
59+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
60+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
61+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
62+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
63+
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
64+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
65+
(hsPkgs."ghc-lib-parser" or (errorHandler.buildDepError "ghc-lib-parser"))
66+
(hsPkgs."ghc-lib-parser-ex" or (errorHandler.buildDepError "ghc-lib-parser-ex"))
67+
(hsPkgs."monad-loops" or (errorHandler.buildDepError "monad-loops"))
68+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
69+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
70+
(hsPkgs."path" or (errorHandler.buildDepError "path"))
71+
(hsPkgs."path-io" or (errorHandler.buildDepError "path-io"))
72+
(hsPkgs."regex-tdfa" or (errorHandler.buildDepError "regex-tdfa"))
73+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
74+
(hsPkgs."syb" or (errorHandler.buildDepError "syb"))
75+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
76+
(hsPkgs."unicode-show" or (errorHandler.buildDepError "unicode-show"))
77+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
78+
(hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
79+
];
80+
buildable = true;
81+
};
82+
};
83+
exes = {
84+
"hindent" = {
85+
depends = [
86+
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
87+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
88+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
89+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
90+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
91+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
92+
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
93+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
94+
(hsPkgs."ghc-lib-parser" or (errorHandler.buildDepError "ghc-lib-parser"))
95+
(hsPkgs."ghc-lib-parser-ex" or (errorHandler.buildDepError "ghc-lib-parser-ex"))
96+
(hsPkgs."hindent" or (errorHandler.buildDepError "hindent"))
97+
(hsPkgs."monad-loops" or (errorHandler.buildDepError "monad-loops"))
98+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
99+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
100+
(hsPkgs."path" or (errorHandler.buildDepError "path"))
101+
(hsPkgs."path-io" or (errorHandler.buildDepError "path-io"))
102+
(hsPkgs."regex-tdfa" or (errorHandler.buildDepError "regex-tdfa"))
103+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
104+
(hsPkgs."syb" or (errorHandler.buildDepError "syb"))
105+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
106+
(hsPkgs."unicode-show" or (errorHandler.buildDepError "unicode-show"))
107+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
108+
(hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
109+
];
110+
buildable = true;
111+
};
112+
};
113+
tests = {
114+
"hindent-test" = {
115+
depends = [
116+
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
117+
(hsPkgs."Diff" or (errorHandler.buildDepError "Diff"))
118+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
119+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
120+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
121+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
122+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
123+
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
124+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
125+
(hsPkgs."ghc-lib-parser" or (errorHandler.buildDepError "ghc-lib-parser"))
126+
(hsPkgs."ghc-lib-parser-ex" or (errorHandler.buildDepError "ghc-lib-parser-ex"))
127+
(hsPkgs."hindent" or (errorHandler.buildDepError "hindent"))
128+
(hsPkgs."hindent".components.sublibs.hindent-internal or (errorHandler.buildDepError "hindent:hindent-internal"))
129+
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
130+
(hsPkgs."monad-loops" or (errorHandler.buildDepError "monad-loops"))
131+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
132+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
133+
(hsPkgs."path" or (errorHandler.buildDepError "path"))
134+
(hsPkgs."path-io" or (errorHandler.buildDepError "path-io"))
135+
(hsPkgs."regex-tdfa" or (errorHandler.buildDepError "regex-tdfa"))
136+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
137+
(hsPkgs."syb" or (errorHandler.buildDepError "syb"))
138+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
139+
(hsPkgs."unicode-show" or (errorHandler.buildDepError "unicode-show"))
140+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
141+
(hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
142+
];
143+
buildable = true;
144+
};
145+
};
146+
benchmarks = {
147+
"hindent-bench" = {
148+
depends = [
149+
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
150+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
151+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
152+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
153+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
154+
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
155+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
156+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
157+
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
158+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
159+
(hsPkgs."ghc-lib-parser" or (errorHandler.buildDepError "ghc-lib-parser"))
160+
(hsPkgs."ghc-lib-parser-ex" or (errorHandler.buildDepError "ghc-lib-parser-ex"))
161+
(hsPkgs."hindent" or (errorHandler.buildDepError "hindent"))
162+
(hsPkgs."hindent".components.sublibs.hindent-internal or (errorHandler.buildDepError "hindent:hindent-internal"))
163+
(hsPkgs."monad-loops" or (errorHandler.buildDepError "monad-loops"))
164+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
165+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
166+
(hsPkgs."path" or (errorHandler.buildDepError "path"))
167+
(hsPkgs."path-io" or (errorHandler.buildDepError "path-io"))
168+
(hsPkgs."regex-tdfa" or (errorHandler.buildDepError "regex-tdfa"))
169+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
170+
(hsPkgs."syb" or (errorHandler.buildDepError "syb"))
171+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
172+
(hsPkgs."unicode-show" or (errorHandler.buildDepError "unicode-show"))
173+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
174+
(hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
175+
];
176+
buildable = true;
177+
};
178+
};
179+
};
180+
}

0 commit comments

Comments
 (0)