Skip to content

Commit 88fb58d

Browse files
author
IOHK
committed
Automatic Update
1 parent edade44 commit 88fb58d

File tree

43 files changed

+2363
-4
lines changed

Some content is hidden

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

43 files changed

+2363
-4
lines changed

default.nix

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1359,6 +1359,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
13591359
"abstract-par" = import ./nix/abstract-par.nix;
13601360
"abstract-par-accelerate" = import ./nix/abstract-par-accelerate.nix;
13611361
"abt" = import ./nix/abt.nix;
1362+
"ac-library-hs" = import ./nix/ac-library-hs.nix;
13621363
"ac-machine" = import ./nix/ac-machine.nix;
13631364
"ac-machine-conduit" = import ./nix/ac-machine-conduit.nix;
13641365
"acc" = import ./nix/acc.nix;
@@ -16700,6 +16701,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
1670016701
"uhc-util" = import ./nix/uhc-util.nix;
1670116702
"uhexdump" = import ./nix/uhexdump.nix;
1670216703
"uhttpc" = import ./nix/uhttpc.nix;
16704+
"ui" = import ./nix/ui.nix;
1670316705
"ui-command" = import ./nix/ui-command.nix;
1670416706
"uid" = import ./nix/uid.nix;
1670516707
"ukrainian-phonetics-basic" = import ./nix/ukrainian-phonetics-basic.nix;
Lines changed: 40 additions & 0 deletions
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 = "3.0";
14+
identifier = { name = "RoundingFiasco"; version = "0.1.0.0"; };
15+
license = "MIT";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Paul Dennis";
19+
homepage = "https://gitlab.com/pauldennis/rounding-fiasco-hackage-package/-/tree/master/rounding-fiasco-hackage-package/processing/RoundingFiasco";
20+
url = "";
21+
synopsis = "rounding variants floor, ceil and truncate for floating point operations +-*/√…";
22+
description = "There is an exact definition for `+-*/√` over the real numbers in mathematics.\nHowever for performant, flexible and ergonomic numerical computations one ought\nto restrict oneself only having a finite subset of rational numbers. The most\ncommon data type for such use cases is the single and double floating point\nformat.\n\nCombining two real floating point numbers by an operator yield a mathematical\nand exactly defined result. This exact result might not be representable as a\nfloating point number. One has to round. The most common way of rounding is\nrounding to the nearest representable float. This rounding variant helps to\nminimize the accumulation of rounding errors over several floating point\noperations.\n\nOther rounding variants floor, ceil and truncate are useful for computing\nerror bounds of chained floating point instructions. floor chooses the lesser\nneighbor of the representable results. ceil chooses the greater float. truncate\nchooses the float that is closest to zero.\n\nThis library implements the floating point instructions in pure hasekell. They\ndo not use `c++` with `fegetround` for example. That way they can be used in\nthe WebAssembly backend of ghc since WebAssembly does neither support rounding\nvariants nor `fegetround`.\n\nThis module is supposed to expose the fastest possible clean interface of\nrounding variants. Should there ever be some compiler intrinsics for rounding\nvariants then these shall be used in a future version.\n\nInternally the module heavily utilizes the `Rational` data type. First the\noperations result is calculated twice. One time exact with the help of\n`Rational`. Then there is also a round-to-nearest-even-on-tie result\ncalculated. After that both numbers are compared to investigate if the\nround-to-nearest-even-on-tie result was rounded in the correct direction by\nchance. Should that not be the case the other neighbor is determined and\nreturned.\n\nEvery combination of number type (`Float`, `Double`) and operator\n(`+`,`-`,`*`,`/`,`√`,`id`) is exported separately. The exported functions are\nsupposed to be useful for interval arithmetic.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
28+
buildable = true;
29+
};
30+
tests = {
31+
"RoundingFiasco-test" = {
32+
depends = [
33+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
34+
(hsPkgs."RoundingFiasco" or (errorHandler.buildDepError "RoundingFiasco"))
35+
];
36+
buildable = true;
37+
};
38+
};
39+
};
40+
}
Lines changed: 121 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,121 @@
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.0.0.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/).";
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."hspec" or (errorHandler.buildDepError "hspec"))
65+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
66+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
67+
(hsPkgs."quickcheck-classes" or (errorHandler.buildDepError "quickcheck-classes"))
68+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
69+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
70+
(hsPkgs."tasty-hspec" or (errorHandler.buildDepError "tasty-hspec"))
71+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
72+
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
73+
(hsPkgs."tasty-rerun" or (errorHandler.buildDepError "tasty-rerun"))
74+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
75+
];
76+
buildable = true;
77+
};
78+
"benchlib-test" = {
79+
depends = [
80+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
81+
(hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
82+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
83+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
84+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
85+
(hsPkgs."vector-algorithms" or (errorHandler.buildDepError "vector-algorithms"))
86+
(hsPkgs."wide-word" or (errorHandler.buildDepError "wide-word"))
87+
(hsPkgs."ac-library-hs" or (errorHandler.buildDepError "ac-library-hs"))
88+
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
89+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
90+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
91+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
92+
(hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
93+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
94+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
95+
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
96+
(hsPkgs."tasty-rerun" or (errorHandler.buildDepError "tasty-rerun"))
97+
];
98+
buildable = true;
99+
};
100+
};
101+
benchmarks = {
102+
"ac-library-hs-benchmark" = {
103+
depends = [
104+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
105+
(hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
106+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
107+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
108+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
109+
(hsPkgs."vector-algorithms" or (errorHandler.buildDepError "vector-algorithms"))
110+
(hsPkgs."wide-word" or (errorHandler.buildDepError "wide-word"))
111+
(hsPkgs."ac-library-hs" or (errorHandler.buildDepError "ac-library-hs"))
112+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
113+
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
114+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
115+
(hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
116+
];
117+
buildable = true;
118+
};
119+
};
120+
};
121+
}
Lines changed: 121 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,121 @@
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.0.0.1"; };
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/).";
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."hspec" or (errorHandler.buildDepError "hspec"))
65+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
66+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
67+
(hsPkgs."quickcheck-classes" or (errorHandler.buildDepError "quickcheck-classes"))
68+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
69+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
70+
(hsPkgs."tasty-hspec" or (errorHandler.buildDepError "tasty-hspec"))
71+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
72+
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
73+
(hsPkgs."tasty-rerun" or (errorHandler.buildDepError "tasty-rerun"))
74+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
75+
];
76+
buildable = true;
77+
};
78+
"benchlib-test" = {
79+
depends = [
80+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
81+
(hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
82+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
83+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
84+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
85+
(hsPkgs."vector-algorithms" or (errorHandler.buildDepError "vector-algorithms"))
86+
(hsPkgs."wide-word" or (errorHandler.buildDepError "wide-word"))
87+
(hsPkgs."ac-library-hs" or (errorHandler.buildDepError "ac-library-hs"))
88+
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
89+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
90+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
91+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
92+
(hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
93+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
94+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
95+
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
96+
(hsPkgs."tasty-rerun" or (errorHandler.buildDepError "tasty-rerun"))
97+
];
98+
buildable = true;
99+
};
100+
};
101+
benchmarks = {
102+
"ac-library-hs-benchmark" = {
103+
depends = [
104+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
105+
(hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
106+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
107+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
108+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
109+
(hsPkgs."vector-algorithms" or (errorHandler.buildDepError "vector-algorithms"))
110+
(hsPkgs."wide-word" or (errorHandler.buildDepError "wide-word"))
111+
(hsPkgs."ac-library-hs" or (errorHandler.buildDepError "ac-library-hs"))
112+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
113+
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
114+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
115+
(hsPkgs."tagged" or (errorHandler.buildDepError "tagged"))
116+
];
117+
buildable = true;
118+
};
119+
};
120+
};
121+
}

0 commit comments

Comments
 (0)