Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Jan 4, 2024
1 parent 1d79ba0 commit 865ee61
Show file tree
Hide file tree
Showing 42 changed files with 1,747 additions and 2 deletions.
1 change: 1 addition & 0 deletions default.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5906,6 +5906,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"free-functors" = import ./nix/free-functors.nix;
"free-game" = import ./nix/free-game.nix;
"free-http" = import ./nix/free-http.nix;
"free-listt" = import ./nix/free-listt.nix;
"free-operational" = import ./nix/free-operational.nix;
"free-theorems" = import ./nix/free-theorems.nix;
"free-theorems-counterexamples" = import ./nix/free-theorems-counterexamples.nix;
Expand Down
63 changes: 63 additions & 0 deletions ...oinor-clp-0.0.0.2-r0-331804e9e0ba8c22ea40565632e7ab74377d44dd48f72850806d8e673eaac07d.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,63 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { debug = false; };
package = {
specVersion = "2.2";
identifier = { name = "coinor-clp"; version = "0.0.0.2"; };
license = "BSD-3-Clause";
copyright = "";
maintainer = "Henning Thielemann <[email protected]>";
author = "Henning Thielemann <[email protected]>";
homepage = "";
url = "";
synopsis = "Linear Programming using COIN-OR/CLP and comfort-array";
description = "Simple interface to linear programming functions provided by COIN-OR\nusing the flexible Array shape framework from @comfort-array@.\n\nE.g. you can use @Shape.Tuple@ to convert safely\nbetween nested tuples and arrays with the same number of elements.\n\n> type X = Shape.Element\n> type PairShape = Shape.NestedTuple Shape.TupleIndex (X,X)\n>\n> case Shape.indexTupleFromShape (Shape.static :: PairShape) of\n> (posIx,negIx) ->\n> case mapSnd (mapSnd Array.toTuple) <$>\n> LP.simplex [] [[1.*posIx, (-1).*negIx] ==. 314]\n> (LP.Minimize,\n> Array.fromTuple (23,42) :: Array PairShape Double)\n> of\n> (Right (LP.Optimal, (absol, (pos, neg)))) ->\n> printf \"absol %f, pos %f, neg %f\\n\" absol pos neg\n> _ -> fail \"COINOR solver failed\"\n\nAlternatives: @comfort-glpk@, @hmatrix-glpk@, @glpk-hs@";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."linear-programming" or (errorHandler.buildDepError "linear-programming"))
(hsPkgs."comfort-array" or (errorHandler.buildDepError "comfort-array"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."non-empty" or (errorHandler.buildDepError "non-empty"))
(hsPkgs."utility-ht" or (errorHandler.buildDepError "utility-ht"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
];
libs = [ (pkgs."stdc++" or (errorHandler.sysDepError "stdc++")) ];
pkgconfig = [
(pkgconfPkgs."clp" or (errorHandler.pkgConfDepError "clp"))
(pkgconfPkgs."coinutils" or (errorHandler.pkgConfDepError "coinutils"))
];
buildable = true;
};
tests = {
"coinor-clp-test" = {
depends = [
(hsPkgs."coinor-clp" or (errorHandler.buildDepError "coinor-clp"))
(hsPkgs."linear-programming" or (errorHandler.buildDepError "linear-programming"))
(hsPkgs."comfort-array" or (errorHandler.buildDepError "comfort-array"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
(hsPkgs."non-empty" or (errorHandler.buildDepError "non-empty"))
(hsPkgs."utility-ht" or (errorHandler.buildDepError "utility-ht"))
(hsPkgs."doctest-exitcode-stdio" or (errorHandler.buildDepError "doctest-exitcode-stdio"))
(hsPkgs."doctest-lib" or (errorHandler.buildDepError "doctest-lib"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."random" or (errorHandler.buildDepError "random"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
];
buildable = true;
};
};
};
}
88 changes: 88 additions & 0 deletions ...lm-street-0.2.2.0-r0-3928b3a0bfd523104095945b77b5435ebe997aaa1c63d67791910518509d5187.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,88 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "2.4";
identifier = { name = "elm-street"; version = "0.2.2.0"; };
license = "MPL-2.0";
copyright = "2019 Holmusk";
maintainer = "Holmusk <[email protected]>";
author = "Veronika Romashkina, Dmitrii Kovanikov";
homepage = "https://github.com/Holmusk/elm-street";
url = "";
synopsis = "Crossing the road between Haskell and Elm";
description = "`Elm-street` allows you to generate automatically derived from Haskell types\ndefinitions of Elm data types, JSON encoders and decoders. This helps to avoid\nwriting and maintaining huge chunk of boilerplate code when developing full-stack\napplications.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
];
buildable = true;
};
sublibs = {
"types" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."elm-street" or (errorHandler.buildDepError "elm-street"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
];
buildable = true;
};
};
exes = {
"generate-elm" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."elm-street" or (errorHandler.buildDepError "elm-street"))
(hsPkgs."elm-street".components.sublibs.types or (errorHandler.buildDepError "elm-street:types"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
];
buildable = true;
};
"run-backend" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."servant" or (errorHandler.buildDepError "servant"))
(hsPkgs."servant-server" or (errorHandler.buildDepError "servant-server"))
(hsPkgs."elm-street".components.sublibs.types or (errorHandler.buildDepError "elm-street:types"))
(hsPkgs."wai" or (errorHandler.buildDepError "wai"))
(hsPkgs."warp" or (errorHandler.buildDepError "warp"))
];
buildable = true;
};
};
tests = {
"elm-street-test" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."elm-street" or (errorHandler.buildDepError "elm-street"))
(hsPkgs."elm-street".components.sublibs.types or (errorHandler.buildDepError "elm-street:types"))
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
];
buildable = true;
};
};
};
}
92 changes: 92 additions & 0 deletions ...ge/emhell-0.1.1.0-r0-3eb1221825ce79f346869d63db350a71bd620c82ffdb3f2aea4ec59ad12a3ba0.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,92 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { hgdb = false; };
package = {
specVersion = "2.2";
identifier = { name = "emhell"; version = "0.1.1.0"; };
license = "BSD-3-Clause";
copyright = "(c) 2020 sorki <[email protected]>";
maintainer = "sorki <[email protected]>";
author = "sorki <[email protected]>";
homepage = "https://github.com/DistRap/emhell";
url = "";
synopsis = "Embedded shell";
description = "Tooling for register exploration using SVD files and GDB-MI or OpenOCD backends";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
(hsPkgs."data-svd" or (errorHandler.buildDepError "data-svd"))
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
(hsPkgs."prettyprinter-ansi-terminal" or (errorHandler.buildDepError "prettyprinter-ansi-terminal"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."unix" or (errorHandler.buildDepError "unix"))
];
buildable = true;
};
exes = {
"emhell" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."emhell" or (errorHandler.buildDepError "emhell"))
(hsPkgs."repline" or (errorHandler.buildDepError "repline"))
(hsPkgs."data-svd" or (errorHandler.buildDepError "data-svd"))
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
(hsPkgs."prettyprinter-ansi-terminal" or (errorHandler.buildDepError "prettyprinter-ansi-terminal"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
];
buildable = true;
};
"hgdb" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."emhell" or (errorHandler.buildDepError "emhell"))
(hsPkgs."hgdbmi" or (errorHandler.buildDepError "hgdbmi"))
(hsPkgs."repline" or (errorHandler.buildDepError "repline"))
(hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class"))
(hsPkgs."data-svd" or (errorHandler.buildDepError "data-svd"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
(hsPkgs."prettyprinter-ansi-terminal" or (errorHandler.buildDepError "prettyprinter-ansi-terminal"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
];
buildable = if !flags.hgdb then false else true;
};
"hocd" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."emhell" or (errorHandler.buildDepError "emhell"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."hocd" or (errorHandler.buildDepError "hocd"))
(hsPkgs."repline" or (errorHandler.buildDepError "repline"))
(hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class"))
(hsPkgs."data-svd" or (errorHandler.buildDepError "data-svd"))
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
(hsPkgs."prettyprinter-ansi-terminal" or (errorHandler.buildDepError "prettyprinter-ansi-terminal"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
];
buildable = true;
};
};
};
}
95 changes: 95 additions & 0 deletions ...e/faktory-1.1.2.6-r0-103a39391d5cf108a5b5b95eed4a4ebf8f5a1c8590549db75341a0e1acbed3ca.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,95 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.18";
identifier = { name = "faktory"; version = "1.1.2.6"; };
license = "MIT";
copyright = "2018 Freckle Education";
maintainer = "[email protected]";
author = "Freckle Engineering";
homepage = "https://github.com/frontrowed/faktory_worker_haskell#readme";
url = "";
synopsis = "Faktory Worker for Haskell";
description = "Haskell client and worker process for the Faktory background job server.\n\n== Architecture overview\n\n@\n| +--------------------+\n| | |\n| | Faktory |\n| | Server |\n| +---------->>>>| +>>>>--------+\n| | | | |\n| | | | |\n| | +--------------------+ |\n| +-----------------+ +-------------------+\n| | | | |\n| | Client | | Worker |\n| | pushes | | pulls |\n| | jobs | | jobs |\n| | | | |\n| | | | |\n| +-----------------+ +-------------------+\n@\n\n* `Client` - an API any process can use to push jobs to the Faktory server.\n* `Worker` - a process that pulls jobs from Faktory and executes them.\n* `Server` - the Faktory daemon which stores background jobs in queues to be processed by Workers.\n\nThis package contains only the `Client` and `Worker`.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."aeson-casing" or (errorHandler.buildDepError "aeson-casing"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."crypton-connection" or (errorHandler.buildDepError "crypton-connection"))
(hsPkgs."cryptonite" or (errorHandler.buildDepError "cryptonite"))
(hsPkgs."errors" or (errorHandler.buildDepError "errors"))
(hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec"))
(hsPkgs."memory" or (errorHandler.buildDepError "memory"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."network" or (errorHandler.buildDepError "network"))
(hsPkgs."random" or (errorHandler.buildDepError "random"))
(hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions"))
(hsPkgs."scanner" or (errorHandler.buildDepError "scanner"))
(hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."unix" or (errorHandler.buildDepError "unix"))
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
];
buildable = true;
};
exes = {
"faktory-example-consumer" = {
depends = [
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."faktory" or (errorHandler.buildDepError "faktory"))
(hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions"))
];
buildable = true;
};
"faktory-example-producer" = {
depends = [
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."faktory" or (errorHandler.buildDepError "faktory"))
(hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions"))
];
buildable = true;
};
};
tests = {
"hspec" = {
depends = [
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."aeson-qq" or (errorHandler.buildDepError "aeson-qq"))
(hsPkgs."async" or (errorHandler.buildDepError "async"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."faktory" or (errorHandler.buildDepError "faktory"))
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
];
buildable = true;
};
"readme" = {
depends = [
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."faktory" or (errorHandler.buildDepError "faktory"))
(hsPkgs."markdown-unlit" or (errorHandler.buildDepError "markdown-unlit"))
];
buildable = true;
};
};
};
}
Loading

0 comments on commit 865ee61

Please sign in to comment.