Automatic Update

input-output-hk · Aug 28, 2024 · 07dbf87 · 07dbf87
1 parent b776e80
commit 07dbf87
Show file tree

Hide file tree

Showing 31 changed files with 1,494 additions and 1 deletion.
diff --git a/default.nix b/default.nix
@@ -8318,6 +8318,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
   "hs-gchart" = import ./nix/hs-gchart.nix;
   "hs-gen-iface" = import ./nix/hs-gen-iface.nix;
   "hs-gizapp" = import ./nix/hs-gizapp.nix;
+  "hs-highlight" = import ./nix/hs-highlight.nix;
   "hs-inspector" = import ./nix/hs-inspector.nix;
   "hs-ix" = import ./nix/hs-ix.nix;
   "hs-java" = import ./nix/hs-java.nix;

diff --git a/...grams-svg-1.4.3.2-r0-5b4019a5cd21dee59bddfd4011a6eefc153a812c1763e74c9178557ce81b4af8.nix b/...grams-svg-1.4.3.2-r0-5b4019a5cd21dee59bddfd4011a6eefc153a812c1763e74c9178557ce81b4af8.nix
@@ -0,0 +1,50 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.10";
+      identifier = { name = "diagrams-svg"; version = "1.4.3.2"; };
+      license = "BSD-3-Clause";
+      copyright = "";
+      maintainer = "[email protected]";
+      author = "Felipe Lessa, Deepak Jois";
+      homepage = "https://diagrams.github.io/";
+      url = "";
+      synopsis = "SVG backend for diagrams drawing EDSL.";
+      description = "This package provides a modular backend for rendering\ndiagrams created with the diagrams EDSL to SVG\nfiles.  It uses @svg-builder@ to be a native\nHaskell backend, making it suitable for use on\nany platform.\n\nThe package provides the following modules:\n\n* \"Diagrams.Backend.SVG.CmdLine\" - if you're\njust getting started with diagrams, begin here.\n\n* \"Diagrams.Backend.SVG\" - look at this next.\nThe general API for the SVG backend.\n\nAdditional documentation can be found in the\nREADME file distributed with the source tarball or\nviewable on GitHub:\n<https://github.com/diagrams/diagrams-svg/blob/master/README.md>.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."base64-bytestring" or (errorHandler.buildDepError "base64-bytestring"))
+          (hsPkgs."colour" or (errorHandler.buildDepError "colour"))
+          (hsPkgs."diagrams-core" or (errorHandler.buildDepError "diagrams-core"))
+          (hsPkgs."diagrams-lib" or (errorHandler.buildDepError "diagrams-lib"))
+          (hsPkgs."monoid-extras" or (errorHandler.buildDepError "monoid-extras"))
+          (hsPkgs."svg-builder" or (errorHandler.buildDepError "svg-builder"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."JuicyPixels" or (errorHandler.buildDepError "JuicyPixels"))
+          (hsPkgs."split" or (errorHandler.buildDepError "split"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+          (hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
+          (hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative"))
+          (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups"))
+        ];
+        buildable = true;
+      };
+    };
+  }
diff --git a/...e/escaped-1.1.0.0-r0-ab908f931377791b7eb886559e6c8ba18984ab38ba8654d0788f38cea30429cf.nix b/...e/escaped-1.1.0.0-r0-ab908f931377791b7eb886559e6c8ba18984ab38ba8654d0788f38cea30429cf.nix
@@ -0,0 +1,66 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "1.18";
+      identifier = { name = "escaped"; version = "1.1.0.0"; };
+      license = "MIT";
+      copyright = "2018 Patrick Brisbin";
+      maintainer = "[email protected]";
+      author = "Patrick Brisbin";
+      homepage = "https://github.com/pbrisbin/escaped#readme";
+      url = "";
+      synopsis = "Produce Text with terminal escape sequences";
+      description = "See README.md";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."unix" or (errorHandler.buildDepError "unix"))
+        ];
+        buildable = true;
+      };
+      exes = {
+        "escaped-example" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."escaped" or (errorHandler.buildDepError "escaped"))
+            (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          ];
+          buildable = true;
+        };
+      };
+      tests = {
+        "doctest" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."doctest" or (errorHandler.buildDepError "doctest"))
+          ];
+          buildable = true;
+        };
+        "hspec" = {
+          depends = [
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."escaped" or (errorHandler.buildDepError "escaped"))
+            (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
+            (hsPkgs."quickcheck-properties" or (errorHandler.buildDepError "quickcheck-properties"))
+          ];
+          buildable = true;
+        };
+      };
+    };
+  }
diff --git a/...ge/hasmtlib-2.6.0-r0-c69aaf952afb570b7a0c23dedfd5e691cb67ebae622477623be4b32160efd8a4.nix b/...ge/hasmtlib-2.6.0-r0-c69aaf952afb570b7a0c23dedfd5e691cb67ebae622477623be4b32160efd8a4.nix
@@ -0,0 +1,49 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "hasmtlib"; version = "2.6.0"; };
+      license = "GPL-3.0-only";
+      copyright = "© 2024 Julian Bruder";
+      maintainer = "[email protected]";
+      author = "Julian Bruder";
+      homepage = "https://github.com/bruderj15/Hasmtlib";
+      url = "";
+      synopsis = "A monad for interfacing with external SMT solvers";
+      description = "Hasmtlib is a library for generating SMTLib2-problems using a monad.\nIt takes care of encoding your problem, marshaling the data to an external solver and parsing and interpreting the result into Haskell types.\nIt is highly inspired by ekmett/ersatz which does the same for QSAT.\nCommunication with external solvers is handled by tweag/smtlib-backends.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."containers" or (errorHandler.buildDepError "containers"))
+          (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
+          (hsPkgs."dependent-map" or (errorHandler.buildDepError "dependent-map"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."text" or (errorHandler.buildDepError "text"))
+          (hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
+          (hsPkgs."lens" or (errorHandler.buildDepError "lens"))
+          (hsPkgs."smtlib-backends" or (errorHandler.buildDepError "smtlib-backends"))
+          (hsPkgs."smtlib-backends-process" or (errorHandler.buildDepError "smtlib-backends-process"))
+          (hsPkgs."some" or (errorHandler.buildDepError "some"))
+          (hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
+          (hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))
+          (hsPkgs."finite-typelits" or (errorHandler.buildDepError "finite-typelits"))
+          (hsPkgs."vector-sized" or (errorHandler.buildDepError "vector-sized"))
+        ];
+        buildable = true;
+      };
+    };
+  }
diff --git a/...s-highlight-1.0.0-r0-e1dc1f3cc6c4aa5e0dd2e3ae866131166a9d01227784e9b72b4111d454cfeb02.nix b/...s-highlight-1.0.0-r0-e1dc1f3cc6c4aa5e0dd2e3ae866131166a9d01227784e9b72b4111d454cfeb02.nix
@@ -0,0 +1,44 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "hs-highlight"; version = "1.0.0"; };
+      license = "MIT";
+      copyright = "";
+      maintainer = "[email protected]";
+      author = "Lorenzobattistela";
+      homepage = "https://github.com/Lorenzobattistela/hs-highlight";
+      url = "";
+      synopsis = "A tool to highlight terminal strings";
+      description = "highlight is a Haskell library that provides functionality to highlight anything in code snippets. It aims to improve readability and debugging by visually emphasizing problematic areas in source code.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+        ];
+        buildable = true;
+      };
+      tests = {
+        "highlight-test" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."highlight" or (errorHandler.buildDepError "highlight"))
+            (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
+          ];
+          buildable = true;
+        };
+      };
+    };
+  }
diff --git a/...s-highlight-1.0.1-r0-91d09c6d84d668befdd2cbea115fc545753f1a09d79c728387c955aff6ecfac9.nix b/...s-highlight-1.0.1-r0-91d09c6d84d668befdd2cbea115fc545753f1a09d79c728387c955aff6ecfac9.nix
@@ -0,0 +1,44 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = {};
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "hs-highlight"; version = "1.0.1"; };
+      license = "MIT";
+      copyright = "";
+      maintainer = "[email protected]";
+      author = "Lorenzobattistela";
+      homepage = "https://github.com/Lorenzobattistela/hs-highlight";
+      url = "";
+      synopsis = "A tool to highlight terminal strings";
+      description = "highlight is a Haskell library that provides functionality to highlight anything in code snippets. It aims to improve readability and debugging by visually emphasizing problematic areas in source code.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+        ];
+        buildable = true;
+      };
+      tests = {
+        "highlight-test" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."hs-highlight" or (errorHandler.buildDepError "hs-highlight"))
+            (hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
+          ];
+          buildable = true;
+        };
+      };
+    };
+  }
diff --git a/...o-classes-1.6.0.0-r0-5f02c87170c8ba4b051dca14fb63c36a1e37843f344d8b196ced32d9c34e4638.nix b/...o-classes-1.6.0.0-r0-5f02c87170c8ba4b051dca14fb63c36a1e37843f344d8b196ced32d9c34e4638.nix
@@ -0,0 +1,111 @@
+{ system
+  , compiler
+  , flags
+  , pkgs
+  , hsPkgs
+  , pkgconfPkgs
+  , errorHandler
+  , config
+  , ... }:
+  {
+    flags = { asserts = false; };
+    package = {
+      specVersion = "3.0";
+      identifier = { name = "io-classes"; version = "1.6.0.0"; };
+      license = "Apache-2.0";
+      copyright = "2019-2024 Input Output Global Inc (IOG)";
+      maintainer = "Duncan Coutts [email protected], Marcin Szamotulski [email protected]";
+      author = "Alexander Vieth, Duncan Coutts, Marcin Szamotulski, Thomas Winant";
+      homepage = "";
+      url = "";
+      synopsis = "Type classes for concurrency with STM, ST and timing";
+      description = "IO Monad class hierarchy compatible with:\n\n  * [io-sim](https://hackage.haskell.org/package/io-sim),\n  * [base](https://hackage.haskell.org/package/base),\n  * [async](https://hackage.haskell.org/package/async),\n  * [stm](https://hackage.haskell.org/package/stm),\n  * [exceptions](https://hackage.haskell.org/package/exceptions) &\n  * [time](https://hackage.haskell.org/package/time)\n\npackages.";
+      buildType = "Simple";
+    };
+    components = {
+      "library" = {
+        depends = [
+          (hsPkgs."base" or (errorHandler.buildDepError "base"))
+          (hsPkgs."array" or (errorHandler.buildDepError "array"))
+          (hsPkgs."async" or (errorHandler.buildDepError "async"))
+          (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
+          (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+          (hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
+          (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+          (hsPkgs."time" or (errorHandler.buildDepError "time"))
+        ] ++ pkgs.lib.optional (compiler.isGhc && compiler.version.ge "9.10") (hsPkgs."ghc-internal" or (errorHandler.buildDepError "ghc-internal"));
+        buildable = true;
+      };
+      sublibs = {
+        "strict-stm" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."array" or (errorHandler.buildDepError "array"))
+            (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+            (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes"))
+          ];
+          buildable = true;
+        };
+        "strict-mvar" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes"))
+          ];
+          buildable = true;
+        };
+        "si-timers" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks"))
+            (hsPkgs."stm" or (errorHandler.buildDepError "stm"))
+            (hsPkgs."time" or (errorHandler.buildDepError "time"))
+            (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes"))
+          ];
+          buildable = true;
+        };
+        "io-classes-mtl" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."array" or (errorHandler.buildDepError "array"))
+            (hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
+            (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes"))
+            (hsPkgs."io-classes".components.sublibs.si-timers or (errorHandler.buildDepError "io-classes:si-timers"))
+          ];
+          buildable = true;
+        };
+        "testlib" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."nothunks" or (errorHandler.buildDepError "nothunks"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."io-classes".components.sublibs.strict-mvar or (errorHandler.buildDepError "io-classes:strict-mvar"))
+          ];
+          buildable = true;
+        };
+      };
+      tests = {
+        "test-strict-mvar" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
+            (hsPkgs."io-classes".components.sublibs.testlib or (errorHandler.buildDepError "io-classes:testlib"))
+          ];
+          buildable = true;
+        };
+        "test-si-timers" = {
+          depends = [
+            (hsPkgs."base" or (errorHandler.buildDepError "base"))
+            (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
+            (hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
+            (hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
+            (hsPkgs."io-classes".components.sublibs.si-timers or (errorHandler.buildDepError "io-classes:si-timers"))
+          ];
+          buildable = true;
+        };
+      };
+    };
+  }