Skip to content

Commit 65f65bd

Browse files
author
IOHK
committed
Automatic Update
1 parent 7a26dca commit 65f65bd

23 files changed

+715
-2
lines changed

‎default.nix

+1
Original file line numberDiff line numberDiff line change
@@ -6968,6 +6968,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
69686968
"greskell" = import ./nix/greskell.nix;
69696969
"greskell-core" = import ./nix/greskell-core.nix;
69706970
"greskell-websocket" = import ./nix/greskell-websocket.nix;
6971+
"grfn" = import ./nix/grfn.nix;
69716972
"grid" = import ./nix/grid.nix;
69726973
"grid-proto" = import ./nix/grid-proto.nix;
69736974
"gridbounds" = import ./nix/gridbounds.nix;

‎hackage/bearriver-0.14.9-r0-8b724fa471b063032c3efd19c66f38bd53742101fd39dfe6c3b616cfe1c1022c.nix

+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.10";
14+
identifier = { name = "bearriver"; version = "0.14.9"; };
15+
license = "BSD-3-Clause";
16+
copyright = "Copyright (c) 2019-2022 - Ivan Perez\n,\nCopyright (c) 2016-2018 - Ivan Perez and Manuel Bärenz";
17+
maintainer = "[email protected]";
18+
author = "Ivan Perez, Manuel Bärenz";
19+
homepage = "https://github.com/ivanperez-keera/dunai";
20+
url = "";
21+
synopsis = "FRP Yampa replacement implemented with Monadic Stream Functions.";
22+
description = "<https://hackage.haskell.org/package/Yampa Yampa> is a popular Functional\nReactive Programming (FRP) implementation that has been used extensively for\nall kinds of applications, including robotics and games.\n\n<https://dl.acm.org/doi/10.1145/2976002.2976010 Monadic Stream Functions> are\na new abstraction for data processors that combine arrows and monads. The\nlibrary <https://hackage.haskell.org/package/dunai dunai> provides a default\nimplementation.\n\nBearriver (a tributary to the Yampa river) provides the same API as Yampa,\nbut implemented using dunai underneath. The goal is to facilitate\nunderstanding what's different about Yampa, and other FRP and Reactive\nProgramming libraries, by creating wrappers around dunai defined precisely by\nthose differences.\n\nBecause dunai is particularly fast, especially with optimizations enabled,\nthis implementation is faster than traditional Yampa for medium-sized and\nlarge applications.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = ([
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
30+
(hsPkgs."dunai" or (errorHandler.buildDepError "dunai"))
31+
(hsPkgs."MonadRandom" or (errorHandler.buildDepError "MonadRandom"))
32+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
33+
(hsPkgs."simple-affine-space" or (errorHandler.buildDepError "simple-affine-space"))
34+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
35+
] ++ pkgs.lib.optional (compiler.isGhc && compiler.version.le "7.8.4") (hsPkgs."MonadRandom" or (errorHandler.buildDepError "MonadRandom"))) ++ pkgs.lib.optional (!(compiler.isGhc && compiler.version.ge "8.0")) (hsPkgs."fail" or (errorHandler.buildDepError "fail"));
36+
buildable = true;
37+
};
38+
};
39+
}

‎hackage/diagrams-rasterific-1.4.2.3-r2-ad14ba3b7e0344d3542f698887f9cc68bdf5129cd798c428a2b3368b49930ded.nix

+76
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,76 @@
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 = "diagrams-rasterific"; version = "1.4.2.3"; };
15+
license = "BSD-3-Clause";
16+
copyright = "";
17+
maintainer = "[email protected]";
18+
author = "Jeffrey Rosenbluth";
19+
homepage = "http://projects.haskell.org/diagrams/";
20+
url = "";
21+
synopsis = "Rasterific backend for diagrams.";
22+
description = "A full-featured backend for rendering\ndiagrams using the Rasterific rendering engine.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."diagrams-core" or (errorHandler.buildDepError "diagrams-core"))
30+
(hsPkgs."diagrams-lib" or (errorHandler.buildDepError "diagrams-lib"))
31+
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
32+
(hsPkgs."Rasterific" or (errorHandler.buildDepError "Rasterific"))
33+
(hsPkgs."FontyFruity" or (errorHandler.buildDepError "FontyFruity"))
34+
(hsPkgs."JuicyPixels" or (errorHandler.buildDepError "JuicyPixels"))
35+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
36+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
37+
(hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class"))
38+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
39+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
40+
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
41+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
42+
(hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed"))
43+
];
44+
buildable = true;
45+
};
46+
tests = {
47+
"test-render" = {
48+
depends = [
49+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
50+
(hsPkgs."diagrams-rasterific" or (errorHandler.buildDepError "diagrams-rasterific"))
51+
(hsPkgs."diagrams-core" or (errorHandler.buildDepError "diagrams-core"))
52+
(hsPkgs."diagrams-lib" or (errorHandler.buildDepError "diagrams-lib"))
53+
];
54+
buildable = true;
55+
};
56+
"test-widths" = {
57+
depends = [
58+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
59+
(hsPkgs."diagrams-rasterific" or (errorHandler.buildDepError "diagrams-rasterific"))
60+
(hsPkgs."diagrams-core" or (errorHandler.buildDepError "diagrams-core"))
61+
(hsPkgs."diagrams-lib" or (errorHandler.buildDepError "diagrams-lib"))
62+
];
63+
buildable = true;
64+
};
65+
"test-size" = {
66+
depends = [
67+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
68+
(hsPkgs."diagrams-rasterific" or (errorHandler.buildDepError "diagrams-rasterific"))
69+
(hsPkgs."diagrams-core" or (errorHandler.buildDepError "diagrams-core"))
70+
(hsPkgs."diagrams-lib" or (errorHandler.buildDepError "diagrams-lib"))
71+
];
72+
buildable = true;
73+
};
74+
};
75+
};
76+
}

‎hackage/dunai-0.13.0-r0-460bb9f5157a031746588c544b55f7ef5781ec5978bd75a9b1aad210599d6e79.nix

+89
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,89 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {
12+
test-hlint = false;
13+
test-doc-coverage = false;
14+
list-transformer = false;
15+
};
16+
package = {
17+
specVersion = "1.10";
18+
identifier = { name = "dunai"; version = "0.13.0"; };
19+
license = "BSD-3-Clause";
20+
copyright = "Copyright (c) 2016 - Ivan Perez and Manuel Bärenz";
21+
maintainer = "[email protected]";
22+
author = "Ivan Perez, Manuel Bärenz";
23+
homepage = "https://github.com/ivanperez-keera/dunai";
24+
url = "";
25+
synopsis = "Generalised reactive framework supporting classic, arrowized and monadic FRP.";
26+
description = "Dunai is a DSL for strongly-typed CPS-based composable transformations.\n\nDunai is based on a concept of Monadic Stream Functions (MSFs). MSFs are\ntransformations defined by a function\n@unMSF :: MSF m a b -> a -> m (b, MSF m a b)@ that executes one step of a\nsimulation, and produces an output in a monadic context, and a continuation\nto be used for future steps.\n\nMSFs are a generalisation of the implementation mechanism used by Yampa,\nWormholes and other FRP and reactive implementations.\n\nWhen combined with different monads, they produce interesting effects. For\nexample, when combined with the @Maybe@ monad, they become transformations\nthat may stop producing outputs (and continuations). The @Either@ monad gives\nrise to MSFs that end with a result (akin to Tasks in Yampa, and Monadic\nFRP).\n\nFlattening, that is, going from some structure @MSF (t m) a b@ to @MSF m a b@\nfor a specific transformer @t@ often gives rise to known FRP constructs. For\ninstance, flattening with @EitherT@ gives rise to switching, and flattening\nwith @ListT@ gives rise to parallelism with broadcasting.\n\nMSFs can be used to implement many FRP variants, including Arrowized FRP,\nClassic FRP, and plain reactive programming. Arrowized and applicative syntax\nare both supported.\n\nFor a very detailed introduction to MSFs, see:\n<http://dl.acm.org/citation.cfm?id=2976010>\n(mirror: <http://ivanperez.io/#FRPRefactored>).";
27+
buildType = "Simple";
28+
};
29+
components = {
30+
"library" = {
31+
depends = ([
32+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
33+
(hsPkgs."MonadRandom" or (errorHandler.buildDepError "MonadRandom"))
34+
(hsPkgs."simple-affine-space" or (errorHandler.buildDepError "simple-affine-space"))
35+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
36+
(hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base"))
37+
] ++ pkgs.lib.optionals (compiler.isGhc && compiler.version.le "7.8.4") [
38+
(hsPkgs."MonadRandom" or (errorHandler.buildDepError "MonadRandom"))
39+
(hsPkgs."transformers-compat" or (errorHandler.buildDepError "transformers-compat"))
40+
(hsPkgs."void" or (errorHandler.buildDepError "void"))
41+
]) ++ pkgs.lib.optionals (flags.list-transformer) [
42+
(hsPkgs."list-transformer" or (errorHandler.buildDepError "list-transformer"))
43+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
44+
];
45+
buildable = true;
46+
};
47+
tests = {
48+
"hlint" = {
49+
depends = pkgs.lib.optionals (!!flags.test-hlint) [
50+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
51+
(hsPkgs."hlint" or (errorHandler.buildDepError "hlint"))
52+
];
53+
buildable = if !flags.test-hlint then false else true;
54+
};
55+
"haddock-coverage" = {
56+
depends = pkgs.lib.optionals (!!flags.test-doc-coverage) [
57+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
58+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
59+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
60+
(hsPkgs."process" or (errorHandler.buildDepError "process"))
61+
(hsPkgs."regex-posix" or (errorHandler.buildDepError "regex-posix"))
62+
];
63+
buildable = if !flags.test-doc-coverage then false else true;
64+
};
65+
"regression-tests" = {
66+
depends = [
67+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
68+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
69+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
70+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
71+
(hsPkgs."dunai" or (errorHandler.buildDepError "dunai"))
72+
];
73+
buildable = true;
74+
};
75+
};
76+
benchmarks = {
77+
"dunai-bench" = {
78+
depends = [
79+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
80+
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion"))
81+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
82+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
83+
(hsPkgs."dunai" or (errorHandler.buildDepError "dunai"))
84+
];
85+
buildable = true;
86+
};
87+
};
88+
};
89+
}

‎hackage/dunai-test-0.13.0-r0-1ec2e66cb99e4600e48cf3bca7acb633d0e6b7f1b53eb187cea1bbed3e4e3630.nix

+36
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
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 = "dunai-test"; version = "0.13.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "Copyright (c) 2017 - Ivan Perez";
17+
maintainer = "[email protected]";
18+
author = "Ivan Perez";
19+
homepage = "https://github.com/ivanperez-keera/dunai";
20+
url = "";
21+
synopsis = "Testing library for Dunai";
22+
description = "Testing and debugging library for Dunai.\n\nIt contains:\n\n* Debugging signal functions using \"Debug.Trace\".\n* A definition of Temporal Predicates based on LTL.\n* Monitoring signal functions with ptLTL using Signal Predicates.\n* A definition of Streams, and a Stream manipulation API.\n* Signal/stream generators for QuickCheck.\n\nA detailed explanation of these ideas is included in the ICFP 2017 paper\n<https://dl.acm.org/citation.cfm?id=3110246 Testing and Debugging Functional Reactive Programming>.";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."dunai" or (errorHandler.buildDepError "dunai"))
30+
(hsPkgs."normaldistribution" or (errorHandler.buildDepError "normaldistribution"))
31+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
32+
];
33+
buildable = true;
34+
};
35+
};
36+
}

‎hackage/grfn-1.0.0.0-r0-f9cd3e464ab1b10d0ffdf964510d29f54236abfb823ff41af3a1bac100b0455d.nix

+77
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,77 @@
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.6";
14+
identifier = { name = "grfn"; version = "1.0.0.0"; };
15+
license = "BSD-3-Clause";
16+
copyright = "2024 ThreeEyedGod";
17+
maintainer = "[email protected]";
18+
author = "Venkatesh Narayanan";
19+
homepage = "https://github.com/threeeyedgod/grfn#readme";
20+
url = "";
21+
synopsis = "Uniformly-random pre-factored numbers (Kalai)";
22+
description = "@__grfn__@ is an focused library. @grfn@ is an implementation of Adam Kalai's algorithm \nto get uniform pre-factored numbers. \nSee [README](https://github.com/threeeyedgod/grfn#grfn) for more details. \n\n/Example:/ a single pre-factored number guaranteed with uniform probability may be obtained by one of these 3 calls. \npreFactoredNumOfBitSizePar is a concurrent parallized implementation and may offer performance \n\n >>> genARandomPreFactoredNumberLTEn 20 -- will give a pre-factored number less than or equal to 20.\n >>> Right (8,[2,2,2,1])\n\n >>> preFactoredNumOfBitSize 20 -- will give a pre-factored number in the range [2^20, 2^21 - 1]\n >>> Right (1695177,[17123,11,3,3,1])\n\n >>> preFactoredNumOfBitSizePar 60 -- will give a pre-factored number in the range [2^60, 2^61 - 1]\n >>> Right (1245467344549977447,[332515759,233924281,179,19,3,3,1])";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."protolude" or (errorHandler.buildDepError "protolude"))
30+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
31+
(hsPkgs."random" or (errorHandler.buildDepError "random"))
32+
(hsPkgs."arithmoi" or (errorHandler.buildDepError "arithmoi"))
33+
(hsPkgs."monad-loops" or (errorHandler.buildDepError "monad-loops"))
34+
(hsPkgs."parallel-io" or (errorHandler.buildDepError "parallel-io"))
35+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
36+
(hsPkgs."parallel" or (errorHandler.buildDepError "parallel"))
37+
(hsPkgs."unamb" or (errorHandler.buildDepError "unamb"))
38+
];
39+
buildable = true;
40+
};
41+
exes = {
42+
"grfn-exe" = {
43+
depends = [
44+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
45+
(hsPkgs."grfn" or (errorHandler.buildDepError "grfn"))
46+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
47+
];
48+
buildable = true;
49+
};
50+
};
51+
tests = {
52+
"grfn-test" = {
53+
depends = [
54+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
55+
(hsPkgs."grfn" or (errorHandler.buildDepError "grfn"))
56+
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
57+
(hsPkgs."primes" or (errorHandler.buildDepError "primes"))
58+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
59+
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
60+
(hsPkgs."hspec-core" or (errorHandler.buildDepError "hspec-core"))
61+
];
62+
buildable = true;
63+
};
64+
};
65+
benchmarks = {
66+
"grfn-benchmark" = {
67+
depends = [
68+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
69+
(hsPkgs."tasty-bench" or (errorHandler.buildDepError "tasty-bench"))
70+
(hsPkgs."grfn" or (errorHandler.buildDepError "grfn"))
71+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
72+
];
73+
buildable = true;
74+
};
75+
};
76+
};
77+
}

0 commit comments

Comments
 (0)