Skip to content

Commit 958f69d

Browse files
author
IOHK
committed
Automatic Update
1 parent cee1570 commit 958f69d

File tree

153 files changed

+6120
-33
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

153 files changed

+6120
-33
lines changed

‎hackage/FiniteCategories-0.6.5.0-r0-77a0798b73b3827cd2605d862fb6d70efece7c55d204ce9d20182cc251d0b9ad.nix

+54
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,54 @@
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 = "FiniteCategories"; version = "0.6.5.0"; };
15+
license = "GPL-3.0-or-later";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Guillaume Sabbagh";
19+
homepage = "https://gitlab.utc.fr/gsabbagh/FiniteCategories";
20+
url = "";
21+
synopsis = "Finite categories and usual categorical constructions on them.";
22+
description = "This package provides tools to create categories at the value level. This is different from the __Hask__ category where types are objects in a category with an infinite collection of objects and functions, here we construct categories where objects and arrows are arbitrary values so that we can change categories during runtime. Each category implements two functions following the category structure axioms : @ar@ which returns arrows between two objects of the category and @identity@ which returns the identity of an object. A FiniteCategory implements an additional function : @ob@ which returns objects of the category. Thanks to these functions, we can construct automatically all the usual constructions on the categories (limits and colimits, adjunctions, Yoneda embedding, etc.) Functors are different from usual @Functor@ typeclass, we store functors as mapping between objects and morphisms of two categories. This package is also different from the package @data-category@ because we can enumerate objects and arrows in a finite category. This allows us to construct limit, colimits, adjunctions, etc. automatically for arbitrary finite categories. On the other hand, we loose typecheck at compilation time which ensures that composition is sound in __Hask__, composition in our package might lead to an error raised during runtime. See the Readme file for installation help. See the package FiniteCategoriesGraphViz to visualize categories with graphviz.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
30+
(hsPkgs."WeakSets" or (errorHandler.buildDepError "WeakSets"))
31+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
32+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
33+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
34+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
35+
];
36+
buildable = true;
37+
};
38+
tests = {
39+
"FiniteCategories-test" = {
40+
depends = [
41+
(hsPkgs."FiniteCategories" or (errorHandler.buildDepError "FiniteCategories"))
42+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
43+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
44+
(hsPkgs."WeakSets" or (errorHandler.buildDepError "WeakSets"))
45+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
46+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
47+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
48+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
49+
];
50+
buildable = true;
51+
};
52+
};
53+
};
54+
}

‎hackage/aeson-2.2.2.0-r0-33bcfda9d41c4865b48df346705d4bc3d486c4e5f9e25106abfd82879a8297a0.nix

+113
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,113 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = { ordered-keymap = true; };
12+
package = {
13+
specVersion = "2.2";
14+
identifier = { name = "aeson"; version = "2.2.2.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "(c) 2011-2016 Bryan O'Sullivan\n(c) 2011 MailRank, Inc.";
17+
maintainer = "Adam Bergmark <[email protected]>";
18+
author = "Bryan O'Sullivan <[email protected]>";
19+
homepage = "https://github.com/haskell/aeson";
20+
url = "";
21+
synopsis = "Fast JSON parsing and encoding";
22+
description = "A JSON parsing and encoding library optimized for ease of use\nand high performance.\n\nTo get started, see the documentation for the @Data.Aeson@ module\nbelow.\n\n(A note on naming: in Greek mythology, Aeson was the father of Jason.)";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
30+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
31+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
32+
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
33+
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
34+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
35+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
36+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
37+
(hsPkgs."generically" or (errorHandler.buildDepError "generically"))
38+
(hsPkgs."time-compat" or (errorHandler.buildDepError "time-compat"))
39+
(hsPkgs."character-ps" or (errorHandler.buildDepError "character-ps"))
40+
(hsPkgs."data-fix" or (errorHandler.buildDepError "data-fix"))
41+
(hsPkgs."dlist" or (errorHandler.buildDepError "dlist"))
42+
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
43+
(hsPkgs."indexed-traversable" or (errorHandler.buildDepError "indexed-traversable"))
44+
(hsPkgs."integer-conversion" or (errorHandler.buildDepError "integer-conversion"))
45+
(hsPkgs."integer-logarithms" or (errorHandler.buildDepError "integer-logarithms"))
46+
(hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri"))
47+
(hsPkgs."OneTuple" or (errorHandler.buildDepError "OneTuple"))
48+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
49+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
50+
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
51+
(hsPkgs."semialign" or (errorHandler.buildDepError "semialign"))
52+
(hsPkgs."strict" or (errorHandler.buildDepError "strict"))
53+
(hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
54+
(hsPkgs."text-iso8601" or (errorHandler.buildDepError "text-iso8601"))
55+
(hsPkgs."text-short" or (errorHandler.buildDepError "text-short"))
56+
(hsPkgs."th-abstraction" or (errorHandler.buildDepError "th-abstraction"))
57+
(hsPkgs."these" or (errorHandler.buildDepError "these"))
58+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
59+
(hsPkgs."uuid-types" or (errorHandler.buildDepError "uuid-types"))
60+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
61+
(hsPkgs."witherable" or (errorHandler.buildDepError "witherable"))
62+
] ++ pkgs.lib.optional (!(compiler.isGhc && compiler.version.ge "9.0")) (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"));
63+
buildable = true;
64+
};
65+
tests = {
66+
"aeson-tests" = {
67+
depends = ([
68+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
69+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
70+
(hsPkgs."base-compat" or (errorHandler.buildDepError "base-compat"))
71+
(hsPkgs."base-orphans" or (errorHandler.buildDepError "base-orphans"))
72+
(hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
73+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
74+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
75+
(hsPkgs."data-fix" or (errorHandler.buildDepError "data-fix"))
76+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
77+
(hsPkgs."Diff" or (errorHandler.buildDepError "Diff"))
78+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
79+
(hsPkgs."dlist" or (errorHandler.buildDepError "dlist"))
80+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
81+
(hsPkgs."generic-deriving" or (errorHandler.buildDepError "generic-deriving"))
82+
(hsPkgs."generically" or (errorHandler.buildDepError "generically"))
83+
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
84+
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
85+
(hsPkgs."indexed-traversable" or (errorHandler.buildDepError "indexed-traversable"))
86+
(hsPkgs."integer-logarithms" or (errorHandler.buildDepError "integer-logarithms"))
87+
(hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri"))
88+
(hsPkgs."OneTuple" or (errorHandler.buildDepError "OneTuple"))
89+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
90+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
91+
(hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances"))
92+
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
93+
(hsPkgs."strict" or (errorHandler.buildDepError "strict"))
94+
(hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
95+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
96+
(hsPkgs."tasty-golden" or (errorHandler.buildDepError "tasty-golden"))
97+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
98+
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
99+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
100+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
101+
(hsPkgs."text-short" or (errorHandler.buildDepError "text-short"))
102+
(hsPkgs."these" or (errorHandler.buildDepError "these"))
103+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
104+
(hsPkgs."time-compat" or (errorHandler.buildDepError "time-compat"))
105+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
106+
(hsPkgs."uuid-types" or (errorHandler.buildDepError "uuid-types"))
107+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
108+
] ++ pkgs.lib.optional (!(compiler.isGhc && compiler.version.ge "9.0")) (hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))) ++ pkgs.lib.optional (compiler.isGhc && (compiler.version.ge "9.2" && compiler.version.lt "9.7")) (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks"));
109+
buildable = true;
110+
};
111+
};
112+
};
113+
}

‎hackage/attoparsec-aeson-2.2.2.0-r0-02dc3cc4d217a364471da7ce0f47be39e5b1449e7768134e5f2926d87a21448d.nix

+42
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
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.2";
14+
identifier = { name = "attoparsec-aeson"; version = "2.2.2.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "(c) 2011-2016 Bryan O'Sullivan\n(c) 2011 MailRank, Inc.";
17+
maintainer = "Oleg Grenrus <[email protected]>";
18+
author = "Bryan O'Sullivan <[email protected]>";
19+
homepage = "https://github.com/haskell/aeson";
20+
url = "";
21+
synopsis = "Parsing of aeson's Value with attoparsec";
22+
description = "Parsing of aeson's Value with attoparsec, originally from aeson.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
29+
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
30+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
31+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
32+
(hsPkgs."character-ps" or (errorHandler.buildDepError "character-ps"))
33+
(hsPkgs."integer-conversion" or (errorHandler.buildDepError "integer-conversion"))
34+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
35+
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific"))
36+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
37+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
38+
];
39+
buildable = true;
40+
};
41+
};
42+
}

‎hackage/attoparsec-iso8601-1.1.1.0-r0-5eb1c8ed02f3ad2779ea170602c5608ddf11037fa6b70279de087cdbd82fe91a.nix

+38
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
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 = "attoparsec-iso8601"; version = "1.1.1.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "(c) 2011-2016 Bryan O'Sullivan\n(c) 2011 MailRank, Inc.";
17+
maintainer = "Adam Bergmark <[email protected]>";
18+
author = "Bryan O'Sullivan <[email protected]>";
19+
homepage = "https://github.com/haskell/aeson";
20+
url = "";
21+
synopsis = "Parsing of ISO 8601 dates, originally from aeson";
22+
description = "Parsing of ISO 8601 dates, originally from aeson.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
29+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
30+
(hsPkgs."integer-conversion" or (errorHandler.buildDepError "integer-conversion"))
31+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
32+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
33+
(hsPkgs."time-compat" or (errorHandler.buildDepError "time-compat"))
34+
];
35+
buildable = true;
36+
};
37+
};
38+
}

‎hackage/cobot-io-0.1.5.4-r0-e10f143c2341113ec456bb40fc477833f7cce408a1f789e2d4f42bbc2ccb6732.nix

+84
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,84 @@
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 = "cobot-io"; version = "0.1.5.4"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2020, Biocad";
17+
maintainer = "[email protected]";
18+
author = "Pavel Yakovlev, Bogdan Neterebskii, Alexander Sadovnikov";
19+
homepage = "https://github.com/biocad/cobot-io#readme";
20+
url = "";
21+
synopsis = "Biological data file formats and IO";
22+
description = "Please see the README on GitHub at <https://github.com/biocad/cobot-io#readme>";
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."binary" or (errorHandler.buildDepError "binary"))
32+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
33+
(hsPkgs."cobot" or (errorHandler.buildDepError "cobot"))
34+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
35+
(hsPkgs."data-msgpack" or (errorHandler.buildDepError "data-msgpack"))
36+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
37+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
38+
(hsPkgs."http-conduit" or (errorHandler.buildDepError "http-conduit"))
39+
(hsPkgs."hyraxAbif" or (errorHandler.buildDepError "hyraxAbif"))
40+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
41+
(hsPkgs."linear" or (errorHandler.buildDepError "linear"))
42+
(hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec"))
43+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
44+
(hsPkgs."parser-combinators" or (errorHandler.buildDepError "parser-combinators"))
45+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
46+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
47+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
48+
];
49+
buildable = true;
50+
};
51+
tests = {
52+
"cobot-io-test" = {
53+
depends = [
54+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
55+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
56+
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
57+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
58+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
59+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
60+
(hsPkgs."cobot" or (errorHandler.buildDepError "cobot"))
61+
(hsPkgs."cobot-io" or (errorHandler.buildDepError "cobot-io"))
62+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
63+
(hsPkgs."data-msgpack" or (errorHandler.buildDepError "data-msgpack"))
64+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
65+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
66+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
67+
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
68+
(hsPkgs."http-conduit" or (errorHandler.buildDepError "http-conduit"))
69+
(hsPkgs."hyraxAbif" or (errorHandler.buildDepError "hyraxAbif"))
70+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
71+
(hsPkgs."linear" or (errorHandler.buildDepError "linear"))
72+
(hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec"))
73+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
74+
(hsPkgs."neat-interpolation" or (errorHandler.buildDepError "neat-interpolation"))
75+
(hsPkgs."parser-combinators" or (errorHandler.buildDepError "parser-combinators"))
76+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
77+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
78+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
79+
];
80+
buildable = true;
81+
};
82+
};
83+
};
84+
}

0 commit comments

Comments
 (0)