Skip to content

Commit 2c6ef5c

Browse files
author
IOHK
committed
Automatic Update
1 parent 724171a commit 2c6ef5c

File tree

30 files changed

+1092
-4
lines changed

30 files changed

+1092
-4
lines changed

‎hackage/FiniteCategories-0.6.5.1-r0-25e83040a214fe5319de2c91a61eb7dd38f2b231b22b1ace77230f1f37d0781d.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.1"; };
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/WringTwistree-0.1.0.0-r0-cce0c69d39e79eee64d6a9c700a6d2b67dc2d1420a7f175bf214eafefb6a58a6.nix

+80
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,80 @@
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 = "WringTwistree"; version = "0.1.0.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2024 Pierre Abbat";
17+
maintainer = "[email protected]";
18+
author = "Pierre Abbat";
19+
homepage = "https://github.com/phma/wring-twistree#readme";
20+
url = "";
21+
synopsis = "Whole-message cipher and tree hash";
22+
description = "Please see the README on GitHub at <https://github.com/phma/wring-twistree#readme>";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."arithmoi" or (errorHandler.buildDepError "arithmoi"))
29+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
30+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
31+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
32+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
33+
(hsPkgs."mod" or (errorHandler.buildDepError "mod"))
34+
(hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
35+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
36+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
37+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
38+
];
39+
buildable = true;
40+
};
41+
exes = {
42+
"WringTwistree" = {
43+
depends = [
44+
(hsPkgs."WringTwistree" or (errorHandler.buildDepError "WringTwistree"))
45+
(hsPkgs."arithmoi" or (errorHandler.buildDepError "arithmoi"))
46+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
47+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
48+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
49+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
50+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
51+
(hsPkgs."multiarg" or (errorHandler.buildDepError "multiarg"))
52+
(hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
53+
(hsPkgs."sort" or (errorHandler.buildDepError "sort"))
54+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
55+
(hsPkgs."terminal-progress-bar" or (errorHandler.buildDepError "terminal-progress-bar"))
56+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
57+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
58+
];
59+
buildable = true;
60+
};
61+
};
62+
tests = {
63+
"WringTwistree-test" = {
64+
depends = [
65+
(hsPkgs."WringTwistree" or (errorHandler.buildDepError "WringTwistree"))
66+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
67+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
68+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
69+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
70+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
71+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
72+
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
73+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
74+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
75+
];
76+
buildable = true;
77+
};
78+
};
79+
};
80+
}

‎hackage/base-4.20.0.1-r0-2921956349cb652a3102e032fde12b8148e3ce89b9440b40f740526ab1c64b24.nix

+34
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
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 = "base"; version = "4.20.0.1"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "Core Libraries Committee <[email protected]>";
18+
author = "";
19+
homepage = "";
20+
url = "";
21+
synopsis = "Core data structures and operations";
22+
description = "Haskell's base library provides, among other things, core types (e.g. [Bool](\"Data.Bool\") and [Int](\"Data.Int\")),\ndata structures (e.g. [List](\"Data.List\"), [Tuple](\"Data.Tuple\") and [Maybe](\"Data.Maybe\")),\nthe [Exception](\"Control.Exception\") mechanism, and the [IO](\"System.IO\") & [Concurrency](\"Control.Concurrent\") operations.\nThe \"Prelude\" module, which is imported by default, exposes a curated set of types and functions from other modules.\n\nOther data structures like [Map](https://hackage.haskell.org/package/containers/docs/Data-Map.html),\n[Set](https://hackage.haskell.org/package/containers/docs/Data-Set.html) are available in the [containers](https://hackage.haskell.org/package/containers) library.\nTo work with textual data, use the [text](https://hackage.haskell.org/package/text/docs/Data-Text.html) library.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."ghc-internal" or (errorHandler.buildDepError "ghc-internal"))
29+
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
30+
];
31+
buildable = true;
32+
};
33+
};
34+
}

‎hackage/docopt-0.7.0.8-r1-d96a4e95322abdab048c7c886617b8ec302b950475c9a8f0827070b0a27fe88e.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 = "1.10";
14+
identifier = { name = "docopt"; version = "0.7.0.8"; };
15+
license = "MIT";
16+
copyright = "(c) 2013-2015 Ryan Artecona";
17+
maintainer = "QBayLogic B.V. <[email protected]>";
18+
author = "Ryan Artecona";
19+
homepage = "https://github.com/docopt/docopt.hs";
20+
url = "";
21+
synopsis = "A command-line interface parser that will make you smile";
22+
description = "Docopt parses command-line interface usage text that adheres to a familiar syntax, and from it builds a command-line argument parser that will ensure your program is invoked correctly with the available options specified in the usage text. This allows the developer to write a usage text and get an argument parser for free.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
30+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
31+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
32+
];
33+
buildable = true;
34+
};
35+
tests = {
36+
"tests" = {
37+
depends = [
38+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
39+
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
40+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
41+
(hsPkgs."docopt" or (errorHandler.buildDepError "docopt"))
42+
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
43+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
44+
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal"))
45+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
46+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
47+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
48+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
49+
];
50+
buildable = true;
51+
};
52+
};
53+
};
54+
}

‎hackage/dom-lt-0.2.3-r1-1df9402e21e97de0da74fdf2a9f8c96ab8a710c602eb6d22ac8e9c274db51090.nix

+58
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
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 = "dom-lt"; version = "0.2.3"; };
15+
license = "BSD-3-Clause";
16+
copyright = "(c) Matt Morrow, 2009";
17+
maintainer = "Andreas Klebinger <[email protected]>";
18+
author = "Matt Morrow";
19+
homepage = "";
20+
url = "";
21+
synopsis = "The Lengauer-Tarjan graph dominators algorithm.";
22+
description = "The Lengauer-Tarjan graph dominators algorithm.\nIncluded are ways to compute domination and post-domination relationships.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
30+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
31+
];
32+
buildable = true;
33+
};
34+
tests = {
35+
"dom-lt-tests" = {
36+
depends = [
37+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
38+
(hsPkgs."dom-lt" or (errorHandler.buildDepError "dom-lt"))
39+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
40+
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
41+
];
42+
buildable = true;
43+
};
44+
};
45+
benchmarks = {
46+
"dom-lt-bench" = {
47+
depends = [
48+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
49+
(hsPkgs."dom-lt" or (errorHandler.buildDepError "dom-lt"))
50+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
51+
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
52+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
53+
];
54+
buildable = true;
55+
};
56+
};
57+
};
58+
}

‎hackage/exon-1.7.0.0-r0-f25b3ccd06bd772e15f4a7f803e4f42ab9f7a6300b9c6908f36f69ef58766aaf.nix

+62
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,62 @@
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 = "exon"; version = "1.7.0.0"; };
15+
license = "BSD-2-Clause-Patent";
16+
copyright = "2023 Torsten Schmits";
17+
maintainer = "[email protected]";
18+
author = "Torsten Schmits";
19+
homepage = "https://github.com/tek/exon#readme";
20+
url = "";
21+
synopsis = "Customizable quasiquote interpolation";
22+
description = "See https://hackage.haskell.org/package/exon/docs/Exon.html";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
30+
(hsPkgs."incipit-base" or (errorHandler.buildDepError "incipit-base"))
31+
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
32+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
33+
];
34+
buildable = true;
35+
};
36+
tests = {
37+
"exon-test" = {
38+
depends = [
39+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
40+
(hsPkgs."exon" or (errorHandler.buildDepError "exon"))
41+
(hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog"))
42+
(hsPkgs."incipit-base" or (errorHandler.buildDepError "incipit-base"))
43+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
44+
(hsPkgs."tasty-hedgehog" or (errorHandler.buildDepError "tasty-hedgehog"))
45+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
46+
];
47+
buildable = true;
48+
};
49+
};
50+
benchmarks = {
51+
"exon-bench" = {
52+
depends = [
53+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
54+
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
55+
(hsPkgs."exon" or (errorHandler.buildDepError "exon"))
56+
(hsPkgs."incipit-base" or (errorHandler.buildDepError "incipit-base"))
57+
];
58+
buildable = true;
59+
};
60+
};
61+
};
62+
}

0 commit comments

Comments
 (0)