Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Nov 20, 2024
1 parent 5ed9e6a commit ad8f3fa
Show file tree
Hide file tree
Showing 37 changed files with 1,479 additions and 1 deletion.
1 change: 1 addition & 0 deletions default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -663,6 +663,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"IcoGrid" = import ./nix/_Ico_Grid.nix;
"IfElse" = import ./nix/_If_Else.nix;
"Imlib" = import ./nix/_Imlib.nix;
"ImpSpec" = import ./nix/_Imp_Spec.nix;
"ImperativeHaskell" = import ./nix/_Imperative_Haskell.nix;
"IndentParser" = import ./nix/_Indent_Parser.nix;
"IndexedList" = import ./nix/_Indexed_List.nix;
Expand Down
Original file line number Diff line number Diff line change
@@ -0,0 +1,56 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.18";
identifier = { name = "ImpSpec"; version = "0.1.0.0"; };
license = "Apache-2.0";
copyright = "";
maintainer = "[email protected]";
author = "IOHK";
homepage = "https://github.com/input-output-hk/ImpSpec";
url = "";
synopsis = "Imperative approach to testing stateful applications. ImpSpec is build on top of HSpec and QuickCheck";
description = "Let a little imp help you discover all the bugs in your stateful Haskell program.";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
(hsPkgs."hspec-core" or (errorHandler.buildDepError "hspec-core"))
(hsPkgs."hspec-expectations-lifted" or (errorHandler.buildDepError "hspec-expectations-lifted"))
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
(hsPkgs."quickcheck-transformer" or (errorHandler.buildDepError "quickcheck-transformer"))
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
(hsPkgs."prettyprinter-ansi-terminal" or (errorHandler.buildDepError "prettyprinter-ansi-terminal"))
(hsPkgs."random" or (errorHandler.buildDepError "random"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."unliftio" or (errorHandler.buildDepError "unliftio"))
];
buildable = true;
};
tests = {
"tests" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."ImpSpec" or (errorHandler.buildDepError "ImpSpec"))
];
buildable = true;
};
};
};
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,47 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.10";
identifier = { name = "auto-update"; version = "0.2.4"; };
license = "MIT";
copyright = "";
maintainer = "[email protected]";
author = "Michael Snoyman";
homepage = "https://github.com/yesodweb/wai";
url = "";
synopsis = "Efficiently run periodic, on-demand actions";
description = "API docs and the README are available at <http://www.stackage.org/package/auto-update>.";
buildType = "Simple";
};
components = {
"library" = {
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ];
buildable = true;
};
tests = {
"spec" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."auto-update" or (errorHandler.buildDepError "auto-update"))
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
(hsPkgs."retry" or (errorHandler.buildDepError "retry"))
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit"))
];
build-tools = [
(hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover")))
];
buildable = true;
};
};
};
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "3.0";
identifier = { name = "deep-map"; version = "0.3.1"; };
license = "BSD-3-Clause";
copyright = "2021-2024 Melanie Brown";
maintainer = "[email protected]";
author = "Melanie Brown";
homepage = "https://github.com/mixphix/deep-map";
url = "";
synopsis = "Deeply-nested, multiple key type maps.";
description = "Please see the README at https://github.com/mixphix/deep-map";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."indexed-traversable" or (errorHandler.buildDepError "indexed-traversable"))
(hsPkgs."witherable" or (errorHandler.buildDepError "witherable"))
];
buildable = true;
};
};
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,71 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { os-string = true; };
package = {
specVersion = "3.0";
identifier = {
name = "directory-ospath-streaming";
version = "0.1.0.3";
};
license = "Apache-2.0";
copyright = "(c) Sergey Vinokurov 2023";
maintainer = "Sergey Vinokurov <[email protected]>";
author = "Sergey Vinokurov";
homepage = "https://github.com/sergv/directory-ospath-streaming";
url = "";
synopsis = "Stream directory entries in constant memory in vanilla IO";
description = "Reading of directory contents in constant memory, i.e. in an iterative\nfashion without storing all directory elements in memory. From another\nperspective, this reading interface allows stopping at any point\nwithout loading every directory element.\n\nBoth Windows and Unix systems are supported.";
buildType = "Simple";
};
components = {
"library" = {
depends = ([
(hsPkgs."base" or (errorHandler.buildDepError "base"))
] ++ (if flags.os-string
then [
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."os-string" or (errorHandler.buildDepError "os-string"))
]
else [
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
])) ++ (if system.isWindows
then [
(hsPkgs."atomic-counter" or (errorHandler.buildDepError "atomic-counter"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."Win32" or (errorHandler.buildDepError "Win32"))
]
else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]);
buildable = true;
};
tests = {
"test" = {
depends = ([
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."directory-ospath-streaming" or (errorHandler.buildDepError "directory-ospath-streaming"))
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
] ++ (if flags.os-string
then [
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
(hsPkgs."os-string" or (errorHandler.buildDepError "os-string"))
]
else [
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
])) ++ pkgs.lib.optionals (!system.isWindows) [
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
(hsPkgs."random" or (errorHandler.buildDepError "random"))
(hsPkgs."unix" or (errorHandler.buildDepError "unix"))
];
buildable = true;
};
};
};
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,76 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { debug = false; };
package = {
specVersion = "1.12";
identifier = { name = "gpu-vulkan"; version = "0.1.0.140"; };
license = "BSD-3-Clause";
copyright = "2023 Yoshikuni Jujo";
maintainer = "[email protected]";
author = "Yoshikuni Jujo";
homepage = "https://github.com/YoshikuniJujo/gpu-vulkan#readme";
url = "";
synopsis = "Vulkan library";
description = "Please see the README on GitHub at <https://github.com/YoshikuniJujo/gpu-vulkan#readme>";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
(hsPkgs."gpu-vulkan-middle" or (errorHandler.buildDepError "gpu-vulkan-middle"))
(hsPkgs."hetero-parameter-list" or (errorHandler.buildDepError "hetero-parameter-list"))
(hsPkgs."hetero-parameter-list-with-typelevel-tools" or (errorHandler.buildDepError "hetero-parameter-list-with-typelevel-tools"))
(hsPkgs."language-spir-v" or (errorHandler.buildDepError "language-spir-v"))
(hsPkgs."mono-traversable" or (errorHandler.buildDepError "mono-traversable"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."storable-hetero-list" or (errorHandler.buildDepError "storable-hetero-list"))
(hsPkgs."storable-peek-poke" or (errorHandler.buildDepError "storable-peek-poke"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."tools-yj" or (errorHandler.buildDepError "tools-yj"))
(hsPkgs."typelevel-tools-yj" or (errorHandler.buildDepError "typelevel-tools-yj"))
];
buildable = true;
};
tests = {
"gpu-vulkan-test" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
(hsPkgs."gpu-vulkan" or (errorHandler.buildDepError "gpu-vulkan"))
(hsPkgs."gpu-vulkan-middle" or (errorHandler.buildDepError "gpu-vulkan-middle"))
(hsPkgs."hetero-parameter-list" or (errorHandler.buildDepError "hetero-parameter-list"))
(hsPkgs."hetero-parameter-list-with-typelevel-tools" or (errorHandler.buildDepError "hetero-parameter-list-with-typelevel-tools"))
(hsPkgs."language-spir-v" or (errorHandler.buildDepError "language-spir-v"))
(hsPkgs."mono-traversable" or (errorHandler.buildDepError "mono-traversable"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."storable-hetero-list" or (errorHandler.buildDepError "storable-hetero-list"))
(hsPkgs."storable-peek-poke" or (errorHandler.buildDepError "storable-peek-poke"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."tools-yj" or (errorHandler.buildDepError "tools-yj"))
(hsPkgs."typelevel-tools-yj" or (errorHandler.buildDepError "typelevel-tools-yj"))
];
buildable = true;
};
};
};
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,76 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { debug = false; };
package = {
specVersion = "1.12";
identifier = { name = "gpu-vulkan"; version = "0.1.0.141"; };
license = "BSD-3-Clause";
copyright = "2023 Yoshikuni Jujo";
maintainer = "[email protected]";
author = "Yoshikuni Jujo";
homepage = "https://github.com/YoshikuniJujo/gpu-vulkan#readme";
url = "";
synopsis = "Vulkan library";
description = "Please see the README on GitHub at <https://github.com/YoshikuniJujo/gpu-vulkan#readme>";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
(hsPkgs."gpu-vulkan-middle" or (errorHandler.buildDepError "gpu-vulkan-middle"))
(hsPkgs."hetero-parameter-list" or (errorHandler.buildDepError "hetero-parameter-list"))
(hsPkgs."hetero-parameter-list-with-typelevel-tools" or (errorHandler.buildDepError "hetero-parameter-list-with-typelevel-tools"))
(hsPkgs."language-spir-v" or (errorHandler.buildDepError "language-spir-v"))
(hsPkgs."mono-traversable" or (errorHandler.buildDepError "mono-traversable"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."storable-hetero-list" or (errorHandler.buildDepError "storable-hetero-list"))
(hsPkgs."storable-peek-poke" or (errorHandler.buildDepError "storable-peek-poke"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."tools-yj" or (errorHandler.buildDepError "tools-yj"))
(hsPkgs."typelevel-tools-yj" or (errorHandler.buildDepError "typelevel-tools-yj"))
];
buildable = true;
};
tests = {
"gpu-vulkan-test" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
(hsPkgs."gpu-vulkan" or (errorHandler.buildDepError "gpu-vulkan"))
(hsPkgs."gpu-vulkan-middle" or (errorHandler.buildDepError "gpu-vulkan-middle"))
(hsPkgs."hetero-parameter-list" or (errorHandler.buildDepError "hetero-parameter-list"))
(hsPkgs."hetero-parameter-list-with-typelevel-tools" or (errorHandler.buildDepError "hetero-parameter-list-with-typelevel-tools"))
(hsPkgs."language-spir-v" or (errorHandler.buildDepError "language-spir-v"))
(hsPkgs."mono-traversable" or (errorHandler.buildDepError "mono-traversable"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."storable-hetero-list" or (errorHandler.buildDepError "storable-hetero-list"))
(hsPkgs."storable-peek-poke" or (errorHandler.buildDepError "storable-peek-poke"))
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."tools-yj" or (errorHandler.buildDepError "tools-yj"))
(hsPkgs."typelevel-tools-yj" or (errorHandler.buildDepError "typelevel-tools-yj"))
];
buildable = true;
};
};
};
}
Loading

0 comments on commit ad8f3fa

Please sign in to comment.