Skip to content

Commit 10cbef0

Browse files
author
IOHK
committed
Automatic Update
1 parent 5cb9903 commit 10cbef0

File tree

37 files changed

+2582
-8
lines changed

37 files changed

+2582
-8
lines changed

default.nix

+2
Original file line numberDiff line numberDiff line change
@@ -6190,6 +6190,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
61906190
"generic-church" = import ./nix/generic-church.nix;
61916191
"generic-constraints" = import ./nix/generic-constraints.nix;
61926192
"generic-data" = import ./nix/generic-data.nix;
6193+
"generic-data-asserts" = import ./nix/generic-data-asserts.nix;
61936194
"generic-data-functions" = import ./nix/generic-data-functions.nix;
61946195
"generic-data-surgery" = import ./nix/generic-data-surgery.nix;
61956196
"generic-deepseq" = import ./nix/generic-deepseq.nix;
@@ -14040,6 +14041,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
1404014041
"securemem" = import ./nix/securemem.nix;
1404114042
"sednaDBXML" = import ./nix/sedna_D_B_X_M_L.nix;
1404214043
"seitz-symbol" = import ./nix/seitz-symbol.nix;
14044+
"sel" = import ./nix/sel.nix;
1404314045
"selda" = import ./nix/selda.nix;
1404414046
"selda-json" = import ./nix/selda-json.nix;
1404514047
"selda-postgresql" = import ./nix/selda-postgresql.nix;
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,107 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = { th = true; old-locale = false; };
12+
package = {
13+
specVersion = "1.10";
14+
identifier = { name = "distributed-process"; version = "0.7.6"; };
15+
license = "BSD-3-Clause";
16+
copyright = "Well-Typed LLP, Tweag I/O Limited";
17+
maintainer = "Tim Watson <[email protected]>";
18+
author = "Duncan Coutts, Nicolas Wu, Edsko de Vries";
19+
homepage = "http://haskell-distributed.github.com/";
20+
url = "";
21+
synopsis = "Cloud Haskell: Erlang-style concurrency in Haskell";
22+
description = "This is an implementation of Cloud Haskell, as described in\n/Towards Haskell in the Cloud/ by Jeff Epstein, Andrew Black,\nand Simon Peyton Jones\n(<http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/>),\nalthough some of the details are different. The precise message\npassing semantics are based on /A unified semantics for future Erlang/\nby Hans Svensson, Lars-&#xc5;ke Fredlund and Clara Benac Earle.\nYou will probably also want to install a Cloud Haskell backend such\nas distributed-process-simplelocalnet.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = ([
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
30+
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
31+
(hsPkgs."network-transport" or (errorHandler.buildDepError "network-transport"))
32+
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
33+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
34+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
35+
(hsPkgs."data-accessor" or (errorHandler.buildDepError "data-accessor"))
36+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
37+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
38+
(hsPkgs."distributed-static" or (errorHandler.buildDepError "distributed-static"))
39+
(hsPkgs."rank1dynamic" or (errorHandler.buildDepError "rank1dynamic"))
40+
(hsPkgs."syb" or (errorHandler.buildDepError "syb"))
41+
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
42+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
43+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
44+
] ++ (if flags.old-locale
45+
then [
46+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
47+
(hsPkgs."old-locale" or (errorHandler.buildDepError "old-locale"))
48+
]
49+
else [
50+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
51+
])) ++ (pkgs.lib).optional (flags.th) (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"));
52+
buildable = true;
53+
};
54+
benchmarks = {
55+
"distributed-process-throughput" = {
56+
depends = [
57+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
58+
(hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process"))
59+
(hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp"))
60+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
61+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
62+
];
63+
buildable = true;
64+
};
65+
"distributed-process-latency" = {
66+
depends = [
67+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
68+
(hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process"))
69+
(hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp"))
70+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
71+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
72+
];
73+
buildable = true;
74+
};
75+
"distributed-process-channels" = {
76+
depends = [
77+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
78+
(hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process"))
79+
(hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp"))
80+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
81+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
82+
];
83+
buildable = true;
84+
};
85+
"distributed-process-spawns" = {
86+
depends = [
87+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
88+
(hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process"))
89+
(hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp"))
90+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
91+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
92+
];
93+
buildable = true;
94+
};
95+
"distributed-process-ring" = {
96+
depends = [
97+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
98+
(hsPkgs."distributed-process" or (errorHandler.buildDepError "distributed-process"))
99+
(hsPkgs."network-transport-tcp" or (errorHandler.buildDepError "network-transport-tcp"))
100+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
101+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
102+
];
103+
buildable = true;
104+
};
105+
};
106+
};
107+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
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.10";
14+
identifier = { name = "domain-auth"; version = "0.2.4"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "Kazu Yamamoto <[email protected]>";
18+
author = "Kazu Yamamoto <[email protected]>";
19+
homepage = "";
20+
url = "";
21+
synopsis = "Domain authentication library";
22+
description = "Library for Sender Policy Framework, SenderID,\nDomainKeys and DKIM.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
30+
(hsPkgs."asn1-encoding" or (errorHandler.buildDepError "asn1-encoding"))
31+
(hsPkgs."asn1-types" or (errorHandler.buildDepError "asn1-types"))
32+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
33+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
34+
(hsPkgs."crypton" or (errorHandler.buildDepError "crypton"))
35+
(hsPkgs."crypton-x509" or (errorHandler.buildDepError "crypton-x509"))
36+
(hsPkgs."dns" or (errorHandler.buildDepError "dns"))
37+
(hsPkgs."iproute" or (errorHandler.buildDepError "iproute"))
38+
(hsPkgs."memory" or (errorHandler.buildDepError "memory"))
39+
(hsPkgs."network" or (errorHandler.buildDepError "network"))
40+
(hsPkgs."pretty-simple" or (errorHandler.buildDepError "pretty-simple"))
41+
(hsPkgs."word8" or (errorHandler.buildDepError "word8"))
42+
];
43+
buildable = true;
44+
};
45+
};
46+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
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.12";
14+
identifier = { name = "generic-data-asserts"; version = "0.1.1"; };
15+
license = "MIT";
16+
copyright = "";
17+
maintainer = "Ben Orchard <[email protected]>";
18+
author = "Ben Orchard";
19+
homepage = "https://github.com/raehik/generic-rep-asserts#readme";
20+
url = "";
21+
synopsis = "Structural assertions on generic data representations.";
22+
description = "Please see README.md.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
28+
buildable = true;
29+
};
30+
tests = {
31+
"spec" = {
32+
depends = [
33+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
34+
(hsPkgs."generic-data-asserts" or (errorHandler.buildDepError "generic-data-asserts"))
35+
(hsPkgs."type-spec" or (errorHandler.buildDepError "type-spec"))
36+
];
37+
buildable = true;
38+
};
39+
};
40+
};
41+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
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.12";
14+
identifier = { name = "generic-data-functions"; version = "0.4.1"; };
15+
license = "MIT";
16+
copyright = "";
17+
maintainer = "Ben Orchard <[email protected]>";
18+
author = "Ben Orchard";
19+
homepage = "https://github.com/raehik/generic-data-functions#readme";
20+
url = "";
21+
synopsis = "Familiar functions lifted to generic data types";
22+
description = "Please see README.md.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."contravariant" or (errorHandler.buildDepError "contravariant"))
30+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
31+
];
32+
buildable = true;
33+
};
34+
};
35+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
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.24";
14+
identifier = { name = "liquid-base"; version = "4.14.3.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego.";
17+
maintainer = "Ranjit Jhala <[email protected]>";
18+
author = "Ranjit Jhala, Niki Vazou, Eric Seidel";
19+
homepage = "https://github.com/ucsd-progsys/liquidhaskell";
20+
url = "";
21+
synopsis = "Drop-in base replacement for LH";
22+
description = "Superseded by liquidhaskell >= 9.2";
23+
buildType = "Custom";
24+
setup-depends = [
25+
(hsPkgs.buildPackages.Cabal or (pkgs.buildPackages.Cabal or (errorHandler.setupDepError "Cabal")))
26+
(hsPkgs.buildPackages.base or (pkgs.buildPackages.base or (errorHandler.setupDepError "base")))
27+
(hsPkgs.buildPackages.liquidhaskell or (pkgs.buildPackages.liquidhaskell or (errorHandler.setupDepError "liquidhaskell")))
28+
];
29+
};
30+
components = {
31+
"library" = {
32+
depends = [
33+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
34+
(hsPkgs."liquid-ghc-prim" or (errorHandler.buildDepError "liquid-ghc-prim"))
35+
(hsPkgs."liquidhaskell" or (errorHandler.buildDepError "liquidhaskell"))
36+
] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "9") (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"));
37+
buildable = true;
38+
};
39+
};
40+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
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.24";
14+
identifier = { name = "liquid-ghc-prim"; version = "0.6.1"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego.";
17+
maintainer = "Ranjit Jhala <[email protected]>";
18+
author = "Ranjit Jhala, Niki Vazou, Eric Seidel";
19+
homepage = "https://github.com/ucsd-progsys/liquidhaskell";
20+
url = "";
21+
synopsis = "Drop-in ghc-prim replacement for LH";
22+
description = "Superseded by liquidhaskell >= 0.9.2";
23+
buildType = "Custom";
24+
setup-depends = [
25+
(hsPkgs.buildPackages.Cabal or (pkgs.buildPackages.Cabal or (errorHandler.setupDepError "Cabal")))
26+
(hsPkgs.buildPackages.base or (pkgs.buildPackages.base or (errorHandler.setupDepError "base")))
27+
(hsPkgs.buildPackages.liquidhaskell or (pkgs.buildPackages.liquidhaskell or (errorHandler.setupDepError "liquidhaskell")))
28+
];
29+
};
30+
components = {
31+
"library" = {
32+
depends = [
33+
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
34+
(hsPkgs."liquidhaskell" or (errorHandler.buildDepError "liquidhaskell"))
35+
];
36+
buildable = true;
37+
};
38+
};
39+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
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.24";
14+
identifier = { name = "liquid-ghc-prim"; version = "0.7.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2010-19 Ranjit Jhala & Niki Vazou & Eric L. Seidel, University of California, San Diego.";
17+
maintainer = "Ranjit Jhala <[email protected]>";
18+
author = "Ranjit Jhala, Niki Vazou, Eric Seidel";
19+
homepage = "https://github.com/ucsd-progsys/liquidhaskell";
20+
url = "";
21+
synopsis = "Drop-in ghc-prim replacement for LH";
22+
description = "Superseded by liquidhaskell >= 0.9.2";
23+
buildType = "Custom";
24+
setup-depends = [
25+
(hsPkgs.buildPackages.Cabal or (pkgs.buildPackages.Cabal or (errorHandler.setupDepError "Cabal")))
26+
(hsPkgs.buildPackages.base or (pkgs.buildPackages.base or (errorHandler.setupDepError "base")))
27+
(hsPkgs.buildPackages.liquidhaskell or (pkgs.buildPackages.liquidhaskell or (errorHandler.setupDepError "liquidhaskell")))
28+
];
29+
};
30+
components = {
31+
"library" = {
32+
depends = [
33+
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
34+
(hsPkgs."liquidhaskell" or (errorHandler.buildDepError "liquidhaskell"))
35+
];
36+
buildable = true;
37+
};
38+
};
39+
}

0 commit comments

Comments
 (0)