Skip to content

Commit 5adaa9f

Browse files
author
IOHK
committed
Automatic Update
1 parent 004f3ef commit 5adaa9f

File tree

28 files changed

+1264
-1
lines changed

28 files changed

+1264
-1
lines changed

‎default.nix‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15691,6 +15691,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
1569115691
"symmetry-operations-symbols" = import ./nix/symmetry-operations-symbols.nix;
1569215692
"symon" = import ./nix/symon.nix;
1569315693
"symparsec" = import ./nix/symparsec.nix;
15694+
"symtegration" = import ./nix/symtegration.nix;
1569415695
"sync" = import ./nix/sync.nix;
1569515696
"sync-mht" = import ./nix/sync-mht.nix;
1569615697
"synchronous-channels" = import ./nix/synchronous-channels.nix;

‎hackage/ac-library-hs-1.1.1.0-r0-e4361b79d0d61350845380e9161d9facf61edbce08f985336cd572d3dca8bb0b.nix‎

Lines changed: 125 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,125 @@
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.4";
14+
identifier = { name = "ac-library-hs"; version = "1.1.1.0"; };
15+
license = "CC0-1.0";
16+
copyright = "";
17+
maintainer = "toyboot4e <[email protected]>";
18+
author = "toyboot4e <[email protected]>";
19+
homepage = "";
20+
url = "";
21+
synopsis = "Data structures and algorithms";
22+
description = "Haskell port of [ac-library](https://github.com/atcoder/ac-library), a library for competitive\nprogramming on [AtCoder](https://atcoder.jp/).\n\n- Functions primarily use half-open interval \\([l, r)\\).\n- The extra module contains additional utilities beyond the original C++ library.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
30+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
31+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
32+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
33+
(hsPkgs."vector-algorithms" or (errorHandler.buildDepError "vector-algorithms"))
34+
(hsPkgs."wide-word" or (errorHandler.buildDepError "wide-word"))
35+
];
36+
buildable = true;
37+
};
38+
exes = {
39+
"example-lazy-segtree" = {
40+
depends = [
41+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
42+
(hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
43+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
44+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
45+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
46+
(hsPkgs."vector-algorithms" or (errorHandler.buildDepError "vector-algorithms"))
47+
(hsPkgs."wide-word" or (errorHandler.buildDepError "wide-word"))
48+
(hsPkgs."ac-library-hs" or (errorHandler.buildDepError "ac-library-hs"))
49+
];
50+
buildable = true;
51+
};
52+
};
53+
tests = {
54+
"ac-library-hs-test" = {
55+
depends = [
56+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
57+
(hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
58+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
59+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
60+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
61+
(hsPkgs."vector-algorithms" or (errorHandler.buildDepError "vector-algorithms"))
62+
(hsPkgs."wide-word" or (errorHandler.buildDepError "wide-word"))
63+
(hsPkgs."ac-library-hs" or (errorHandler.buildDepError "ac-library-hs"))
64+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
65+
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
66+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
67+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
68+
(hsPkgs."quickcheck-classes" or (errorHandler.buildDepError "quickcheck-classes"))
69+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
70+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
71+
(hsPkgs."tasty-hspec" or (errorHandler.buildDepError "tasty-hspec"))
72+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
73+
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
74+
(hsPkgs."tasty-rerun" or (errorHandler.buildDepError "tasty-rerun"))
75+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
76+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
77+
];
78+
buildable = true;
79+
};
80+
"benchlib-test" = {
81+
depends = [
82+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
83+
(hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
84+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
85+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
86+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
87+
(hsPkgs."vector-algorithms" or (errorHandler.buildDepError "vector-algorithms"))
88+
(hsPkgs."wide-word" or (errorHandler.buildDepError "wide-word"))
89+
(hsPkgs."ac-library-hs" or (errorHandler.buildDepError "ac-library-hs"))
90+
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
91+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
92+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
93+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
94+
(hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
95+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
96+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
97+
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
98+
(hsPkgs."tasty-rerun" or (errorHandler.buildDepError "tasty-rerun"))
99+
];
100+
buildable = true;
101+
};
102+
};
103+
benchmarks = {
104+
"ac-library-hs-benchmark" = {
105+
depends = [
106+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
107+
(hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
108+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
109+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
110+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
111+
(hsPkgs."vector-algorithms" or (errorHandler.buildDepError "vector-algorithms"))
112+
(hsPkgs."wide-word" or (errorHandler.buildDepError "wide-word"))
113+
(hsPkgs."ac-library-hs" or (errorHandler.buildDepError "ac-library-hs"))
114+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
115+
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
116+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
117+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
118+
(hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
119+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
120+
];
121+
buildable = true;
122+
};
123+
};
124+
};
125+
}

‎hackage/bluefin-0.0.14.1-r0-1df30a9c084709da74f0126d560efc7d17eff8f2b94933cdb9971585fabec33f.nix‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
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 = "bluefin"; version = "0.0.14.1"; };
15+
license = "MIT";
16+
copyright = "";
17+
maintainer = "Tom Ellis";
18+
author = "Tom Ellis";
19+
homepage = "https://github.com/tomjaguarpaw/bluefin";
20+
url = "";
21+
synopsis = "The Bluefin effect system";
22+
description = "The Bluefin effect system";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."bluefin-internal" or (errorHandler.buildDepError "bluefin-internal"))
29+
];
30+
buildable = true;
31+
};
32+
};
33+
}

‎hackage/code-conjure-0.5.16-r0-5a4c829b50b50afae8e64804f4afe67d241162df558a3cae29dae293b071dc58.nix‎

Lines changed: 99 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,99 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "1.18";
14+
identifier = { name = "code-conjure"; version = "0.5.16"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "Rudy Matela <[email protected]>";
18+
author = "Rudy Matela";
19+
homepage = "https://github.com/rudymatela/conjure#readme";
20+
url = "";
21+
synopsis = "synthesize Haskell functions out of partial definitions";
22+
description = "Conjure is a tool that synthesizes Haskell functions out of partial definitions.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."leancheck" or (errorHandler.buildDepError "leancheck"))
30+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
31+
(hsPkgs."speculate" or (errorHandler.buildDepError "speculate"))
32+
(hsPkgs."express" or (errorHandler.buildDepError "express"))
33+
];
34+
buildable = true;
35+
};
36+
tests = {
37+
"expr" = {
38+
depends = [
39+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
40+
(hsPkgs."leancheck" or (errorHandler.buildDepError "leancheck"))
41+
(hsPkgs."express" or (errorHandler.buildDepError "express"))
42+
(hsPkgs."speculate" or (errorHandler.buildDepError "speculate"))
43+
(hsPkgs."code-conjure" or (errorHandler.buildDepError "code-conjure"))
44+
];
45+
buildable = true;
46+
};
47+
"defn" = {
48+
depends = [
49+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
50+
(hsPkgs."leancheck" or (errorHandler.buildDepError "leancheck"))
51+
(hsPkgs."express" or (errorHandler.buildDepError "express"))
52+
(hsPkgs."speculate" or (errorHandler.buildDepError "speculate"))
53+
(hsPkgs."code-conjure" or (errorHandler.buildDepError "code-conjure"))
54+
];
55+
buildable = true;
56+
};
57+
"conjurable" = {
58+
depends = [
59+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
60+
(hsPkgs."leancheck" or (errorHandler.buildDepError "leancheck"))
61+
(hsPkgs."express" or (errorHandler.buildDepError "express"))
62+
(hsPkgs."speculate" or (errorHandler.buildDepError "speculate"))
63+
(hsPkgs."code-conjure" or (errorHandler.buildDepError "code-conjure"))
64+
];
65+
buildable = true;
66+
};
67+
"utils" = {
68+
depends = [
69+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
70+
(hsPkgs."leancheck" or (errorHandler.buildDepError "leancheck"))
71+
(hsPkgs."express" or (errorHandler.buildDepError "express"))
72+
(hsPkgs."speculate" or (errorHandler.buildDepError "speculate"))
73+
(hsPkgs."code-conjure" or (errorHandler.buildDepError "code-conjure"))
74+
];
75+
buildable = true;
76+
};
77+
"derive" = {
78+
depends = [
79+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
80+
(hsPkgs."leancheck" or (errorHandler.buildDepError "leancheck"))
81+
(hsPkgs."express" or (errorHandler.buildDepError "express"))
82+
(hsPkgs."speculate" or (errorHandler.buildDepError "speculate"))
83+
(hsPkgs."code-conjure" or (errorHandler.buildDepError "code-conjure"))
84+
];
85+
buildable = true;
86+
};
87+
"red" = {
88+
depends = [
89+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
90+
(hsPkgs."leancheck" or (errorHandler.buildDepError "leancheck"))
91+
(hsPkgs."express" or (errorHandler.buildDepError "express"))
92+
(hsPkgs."speculate" or (errorHandler.buildDepError "speculate"))
93+
(hsPkgs."code-conjure" or (errorHandler.buildDepError "code-conjure"))
94+
];
95+
buildable = true;
96+
};
97+
};
98+
};
99+
}

‎hackage/diagrams-core-1.5.1.1-r3-512ca4b348beb595797d664f7a411d530e96423116a73b95c5b556235f3eeb71.nix‎

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "1.18";
14+
identifier = { name = "diagrams-core"; version = "1.5.1.1"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Brent Yorgey";
19+
homepage = "https://diagrams.github.io";
20+
url = "";
21+
synopsis = "Core libraries for diagrams EDSL";
22+
description = "The core modules underlying diagrams,\nan embedded domain-specific language\nfor compositional, declarative drawing.";
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."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
31+
(hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))
32+
(hsPkgs."monoid-extras" or (errorHandler.buildDepError "monoid-extras"))
33+
(hsPkgs."dual-tree" or (errorHandler.buildDepError "dual-tree"))
34+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
35+
(hsPkgs."linear" or (errorHandler.buildDepError "linear"))
36+
(hsPkgs."adjunctions" or (errorHandler.buildDepError "adjunctions"))
37+
(hsPkgs."distributive" or (errorHandler.buildDepError "distributive"))
38+
(hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors"))
39+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
40+
];
41+
buildable = true;
42+
};
43+
};
44+
}

0 commit comments

Comments
 (0)