Skip to content

Commit 5484145

Browse files
author
IOHK
committed
Automatic Update
1 parent 50976bf commit 5484145

File tree

35 files changed

+1258
-4
lines changed

35 files changed

+1258
-4
lines changed

default.nix

+2
Original file line numberDiff line numberDiff line change
@@ -944,6 +944,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
944944
"Pathfinder" = import ./nix/_Pathfinder.nix;
945945
"Peano" = import ./nix/_Peano.nix;
946946
"PeanoWitnesses" = import ./nix/_Peano_Witnesses.nix;
947+
"PenroseKiteDart" = import ./nix/_Penrose_Kite_Dart.nix;
947948
"PerfectHash" = import ./nix/_Perfect_Hash.nix;
948949
"PermuteEffects" = import ./nix/_Permute_Effects.nix;
949950
"Persistence" = import ./nix/_Persistence.nix;
@@ -1031,6 +1032,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
10311032
"Ritt-Wu" = import ./nix/_Ritt-_Wu.nix;
10321033
"Rlang-QQ" = import ./nix/_Rlang-_Q_Q.nix;
10331034
"RollingDirectory" = import ./nix/_Rolling_Directory.nix;
1035+
"RoundingFiasco" = import ./nix/_Rounding_Fiasco.nix;
10341036
"RoyalMonad" = import ./nix/_Royal_Monad.nix;
10351037
"RtMidi" = import ./nix/_Rt_Midi.nix;
10361038
"RxHaskell" = import ./nix/_Rx_Haskell.nix;
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 = { mmap = false; };
12+
package = {
13+
specVersion = "1.18";
14+
identifier = { name = "JuicyPixels"; version = "3.3.8"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Vincent Berthoux";
19+
homepage = "https://github.com/Twinside/Juicy.Pixels";
20+
url = "";
21+
synopsis = "Picture loading/serialization (in png, jpeg, bitmap, gif, tga, tiff and radiance)";
22+
description = "<<data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAMAAAADABAMAAACg8nE0AAAAElBMVEUAAABJqDSTWEL/qyb///8AAABH/1GTAAAAAXRSTlMAQObYZgAAAN5JREFUeF7s1sEJgFAQxFBbsAV72v5bEVYWPwT/XDxmCsi7zvHXavYREBDI3XP2GgICqBBYuwIC+/rVayPUAyAg0HvIXBcQoDFDGnUBgWQQ2Bx3AYFaRoBpAQHWb3bt2ARgGAiCYFFuwf3X5HA/McgGJWI2FdykCv4aBYzmKwDwvl6NVmUAAK2vlwEALK7fo88GANB6HQsAAAAAAAAA7P94AQCzswEAAAAAAAAAAAAAAAAAAICzh4UAO4zWAYBfRutHA4Bn5C69JhowAMGoBaMWDG0wCkbBKBgFo2AUAACPmegUST/IJAAAAABJRU5ErkJggg==>>\n\nThis library can load and store images in PNG,Bitmap, Jpeg, Radiance, Tiff and Gif images.";
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."mtl" or (errorHandler.buildDepError "mtl"))
31+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
32+
(hsPkgs."zlib" or (errorHandler.buildDepError "zlib"))
33+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
34+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
35+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
36+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
37+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
38+
];
39+
buildable = true;
40+
};
41+
};
42+
}
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.12";
14+
identifier = { name = "PenroseKiteDart"; version = "1.0.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2021 Chris Reade";
17+
maintainer = "[email protected]";
18+
author = "Chris Reade";
19+
homepage = "https://github.com/chrisreade/PenroseKiteDart#readme";
20+
url = "";
21+
synopsis = "Library to explore Penrose's Kite and Dart Tilings.";
22+
description = "Library to explore Penrose's Kite and Dart Tilings using Haskell Diagrams. Please see README.md";
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."diagrams-lib" or (errorHandler.buildDepError "diagrams-lib"))
31+
];
32+
buildable = true;
33+
};
34+
tests = {
35+
"PenroseKiteDart-test" = {
36+
depends = [
37+
(hsPkgs."PenroseKiteDart" or (errorHandler.buildDepError "PenroseKiteDart"))
38+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
39+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
40+
(hsPkgs."diagrams-lib" or (errorHandler.buildDepError "diagrams-lib"))
41+
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
42+
];
43+
buildable = true;
44+
};
45+
};
46+
benchmarks = {
47+
"PenroseKiteDart-bench" = {
48+
depends = [
49+
(hsPkgs."PenroseKiteDart" or (errorHandler.buildDepError "PenroseKiteDart"))
50+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
51+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
52+
(hsPkgs."diagrams-lib" or (errorHandler.buildDepError "diagrams-lib"))
53+
];
54+
buildable = true;
55+
};
56+
};
57+
};
58+
}
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+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,73 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = { exe = true; license-report = false; _ = false; };
12+
package = {
13+
specVersion = "2.2";
14+
identifier = { name = "cabal-plan"; version = "0.7.3.0"; };
15+
license = "GPL-2.0-or-later";
16+
copyright = "2016 Herbert Valerio Riedel";
17+
maintainer = "[email protected]";
18+
author = "Herbert Valerio Riedel";
19+
homepage = "";
20+
url = "";
21+
synopsis = "Library and utility for processing cabal's plan.json file";
22+
description = "This package provides a library (see \"Cabal.Plan\") for decoding @plan.json@ files as\nwell as the simple tool @cabal-plan@ for extracting and pretty printing\nthe information contained in the @plan.json@ file.\n\n@plan.json@ files are generated by [cabal](https://hackage.haskell.org/package/cabal-install)'s [Nix-style local builds](http://cabal.readthedocs.io/en/latest/nix-local-build.html) and contain detailed information about the build/install plan computed by the cabal solver.\n\n== @cabal-plan@ utility\n\nThe @cabal-plan@ executable (enabled via the @exe@ cabal flag) provides various operations:\n\n[info] Show basic report of dependency tree\n[show] Dump 'PlanJson' data-structure via 'Show' instance\n[tred] Show dependency tree as a graph\n[diff] Diff two install plans\n[list-bins] List all binaries\n[list-bin] List single binary (useful for scripting, e.g. @cabal list-bin exe:cabal-plan@)\n[fingerprint] Print SHA256 sums of dependencies' source tarballs and cabal files\n[dot] Generate graph of dependencies in @.dot@ format\n[topo] Print plan topologically sorted\n[license-report] Generate license report for a component (only available when built with @license-report@ flag enabled); see <src/example/cabal-plan.md report example for cabal-plan> (<src/example/cabal-plan.html Pandoc rendered HTML>)\n\nSee also [\"New things in Haskell package QA\" Blogpost](https://oleg.fi/gists/posts/2018-01-08-haskell-package-qa.html) for a description of the @topo@ and @dot@ operations as well as how to enable tab-completion.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
30+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
31+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
32+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
33+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
34+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
35+
(hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
36+
];
37+
buildable = true;
38+
};
39+
exes = {
40+
"cabal-plan" = {
41+
depends = (pkgs.lib).optionals (flags.exe) ([
42+
(hsPkgs."cabal-plan" or (errorHandler.buildDepError "cabal-plan"))
43+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
44+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
45+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
46+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
47+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
48+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
49+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
50+
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal"))
51+
(hsPkgs."base-compat" or (errorHandler.buildDepError "base-compat"))
52+
(hsPkgs."optics-core" or (errorHandler.buildDepError "optics-core"))
53+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
54+
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec"))
55+
(hsPkgs."process" or (errorHandler.buildDepError "process"))
56+
(hsPkgs."semialign" or (errorHandler.buildDepError "semialign"))
57+
(hsPkgs."singleton-bool" or (errorHandler.buildDepError "singleton-bool"))
58+
(hsPkgs."these" or (errorHandler.buildDepError "these"))
59+
(hsPkgs."topograph" or (errorHandler.buildDepError "topograph"))
60+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
61+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
62+
] ++ (pkgs.lib).optionals (flags.license-report) [
63+
(hsPkgs."Cabal-syntax" or (errorHandler.buildDepError "Cabal-syntax"))
64+
(hsPkgs."cabal-install-parsers" or (errorHandler.buildDepError "cabal-install-parsers"))
65+
(hsPkgs."tar" or (errorHandler.buildDepError "tar"))
66+
(hsPkgs."zlib" or (errorHandler.buildDepError "zlib"))
67+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
68+
]);
69+
buildable = if flags.exe then true else false;
70+
};
71+
};
72+
};
73+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,57 @@
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 = "greenclip"; version = "4.2.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2016 Erèbe";
17+
maintainer = "[email protected]";
18+
author = "Erèbe - Romain GERARD";
19+
homepage = "https://github.com/erebe/greenclip#readme";
20+
url = "";
21+
synopsis = "Simple clipboard manager to be integrated with rofi";
22+
description = "Simple clipboard manager to be integrated with rofi - Please see README.md";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
exes = {
27+
"greenclip" = {
28+
depends = [
29+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
30+
(hsPkgs."protolude" or (errorHandler.buildDepError "protolude"))
31+
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
32+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
33+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
34+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
35+
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
36+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
37+
(hsPkgs."microlens" or (errorHandler.buildDepError "microlens"))
38+
(hsPkgs."microlens-mtl" or (errorHandler.buildDepError "microlens-mtl"))
39+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
40+
(hsPkgs."unix" or (errorHandler.buildDepError "unix"))
41+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
42+
(hsPkgs."wordexp" or (errorHandler.buildDepError "wordexp"))
43+
(hsPkgs."tomland" or (errorHandler.buildDepError "tomland"))
44+
(hsPkgs."X11" or (errorHandler.buildDepError "X11"))
45+
];
46+
pkgconfig = [
47+
(pkgconfPkgs."x11" or (errorHandler.pkgConfDepError "x11"))
48+
(pkgconfPkgs."xcb" or (errorHandler.pkgConfDepError "xcb"))
49+
(pkgconfPkgs."xau" or (errorHandler.pkgConfDepError "xau"))
50+
(pkgconfPkgs."xdmcp" or (errorHandler.pkgConfDepError "xdmcp"))
51+
(pkgconfPkgs."xscrnsaver" or (errorHandler.pkgConfDepError "xscrnsaver"))
52+
];
53+
buildable = true;
54+
};
55+
};
56+
};
57+
}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,59 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = { debug = false; };
12+
package = {
13+
specVersion = "2.2";
14+
identifier = { name = "llvm-dsl"; version = "0.1.2"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "Henning Thielemann <[email protected]>";
18+
author = "Henning Thielemann <[email protected]>";
19+
homepage = "https://wiki.haskell.org/LLVM";
20+
url = "";
21+
synopsis = "Support for writing an EDSL with LLVM-JIT as target";
22+
description = "Support for writing an EDSL with LLVM-JIT as target.\n\n* \"LLVM.DSL.Expression\":\nCode snippets that represent arithmetics\nand support arithmetic operators.\n\n* \"LLVM.DSL.Parameter\":\nParameterize LLVM-generated code.\n\n* \"LLVM.DSL.Execution\":\nAssemble functions to modules and run them.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."llvm-extra" or (errorHandler.buildDepError "llvm-extra"))
29+
(hsPkgs."llvm-tf" or (errorHandler.buildDepError "llvm-tf"))
30+
(hsPkgs."tfp" or (errorHandler.buildDepError "tfp"))
31+
(hsPkgs."numeric-prelude" or (errorHandler.buildDepError "numeric-prelude"))
32+
(hsPkgs."storable-record" or (errorHandler.buildDepError "storable-record"))
33+
(hsPkgs."storable-enum" or (errorHandler.buildDepError "storable-enum"))
34+
(hsPkgs."bool8" or (errorHandler.buildDepError "bool8"))
35+
(hsPkgs."vault" or (errorHandler.buildDepError "vault"))
36+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
37+
(hsPkgs."utility-ht" or (errorHandler.buildDepError "utility-ht"))
38+
(hsPkgs."unsafe" or (errorHandler.buildDepError "unsafe"))
39+
(hsPkgs."prelude-compat" or (errorHandler.buildDepError "prelude-compat"))
40+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
41+
];
42+
buildable = true;
43+
};
44+
tests = {
45+
"llvm-dsl-test" = {
46+
depends = [
47+
(hsPkgs."doctest-exitcode-stdio" or (errorHandler.buildDepError "doctest-exitcode-stdio"))
48+
(hsPkgs."llvm-dsl" or (errorHandler.buildDepError "llvm-dsl"))
49+
(hsPkgs."llvm-extra" or (errorHandler.buildDepError "llvm-extra"))
50+
(hsPkgs."llvm-tf" or (errorHandler.buildDepError "llvm-tf"))
51+
(hsPkgs."tfp" or (errorHandler.buildDepError "tfp"))
52+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
53+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
54+
];
55+
buildable = true;
56+
};
57+
};
58+
};
59+
}

0 commit comments

Comments
 (0)