-
Notifications
You must be signed in to change notification settings - Fork 17
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
IOHK
committed
Aug 8, 2024
1 parent
b21329e
commit eb1bd3b
Showing
14 changed files
with
362 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
63 changes: 63 additions & 0 deletions
63
.../finitary-2.2.0.0-r0-078f5f082c25bb537eeb1c9edd8605bedabe9e1225f759e3c9e835b62cb7f756.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,63 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = { bitvec = true; vector = true; }; | ||
| package = { | ||
| specVersion = "2.2"; | ||
| identifier = { name = "finitary"; version = "2.2.0.0"; }; | ||
| license = "GPL-3.0-or-later"; | ||
| copyright = "(C) Koz Ross 2019-2020"; | ||
| maintainer = "Sam Derbyshire"; | ||
| author = "Koz Ross"; | ||
| homepage = "https://notabug.org/sheaf/finitary"; | ||
| url = ""; | ||
| synopsis = "A better, more type-safe Enum."; | ||
| description = "Provides a type class witnessing that a type has\nfinitely-many inhabitants, as well as its cardinality.\nAlso provides an auto-deriving framework using GHC\nGenerics, together with a range of instances for existing\ntypes."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = ([ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."finite-typelits" or (errorHandler.buildDepError "finite-typelits")) | ||
| (hsPkgs."ghc-typelits-knownnat" or (errorHandler.buildDepError "ghc-typelits-knownnat")) | ||
| (hsPkgs."ghc-typelits-natnormalise" or (errorHandler.buildDepError "ghc-typelits-natnormalise")) | ||
| (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
| ] ++ pkgs.lib.optional (flags.bitvec) (hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec"))) ++ pkgs.lib.optionals (flags.vector) [ | ||
| (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) | ||
| (hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
| (hsPkgs."vector-sized" or (errorHandler.buildDepError "vector-sized")) | ||
| (hsPkgs."typelits-witnesses" or (errorHandler.buildDepError "typelits-witnesses")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| tests = { | ||
| "tests" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."bitvec" or (errorHandler.buildDepError "bitvec")) | ||
| (hsPkgs."finite-typelits" or (errorHandler.buildDepError "finite-typelits")) | ||
| (hsPkgs."finitary" or (errorHandler.buildDepError "finitary")) | ||
| (hsPkgs."ghc-typelits-knownnat" or (errorHandler.buildDepError "ghc-typelits-knownnat")) | ||
| (hsPkgs."ghc-typelits-natnormalise" or (errorHandler.buildDepError "ghc-typelits-natnormalise")) | ||
| (hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) | ||
| (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
| (hsPkgs."hspec-hedgehog" or (errorHandler.buildDepError "hspec-hedgehog")) | ||
| (hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) | ||
| (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
| (hsPkgs."typelits-witnesses" or (errorHandler.buildDepError "typelits-witnesses")) | ||
| (hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
| (hsPkgs."vector-sized" or (errorHandler.buildDepError "vector-sized")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
31 changes: 31 additions & 0 deletions
31
...ic-monoid-0.1.0.1-r4-47a640c951db5a3f6ec3a85aa6db63369d1a846438a110cf460be59e027eb86d.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,31 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "1.10"; | ||
| identifier = { name = "generic-monoid"; version = "0.1.0.1"; }; | ||
| license = "BSD-3-Clause"; | ||
| copyright = "2018 Luke Clifton"; | ||
| maintainer = "lukec@themk.net"; | ||
| author = "Luke Clifton"; | ||
| homepage = ""; | ||
| url = ""; | ||
| synopsis = "Derive monoid instances for product types."; | ||
| description = "Using GHC's generics, allow for deriving `Monoid` and `Semigroup` instances for your product types."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| } |
53 changes: 53 additions & 0 deletions
53
.../prometheus-2.3.0-r0-44aa3c100dee9456ddfd4fdf4a181d89bf6c12537ae9ec769bd474497ca3fedd.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,53 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = { buildexamples = false; }; | ||
| package = { | ||
| specVersion = "1.10"; | ||
| identifier = { name = "prometheus"; version = "2.3.0"; }; | ||
| license = "BSD-3-Clause"; | ||
| copyright = "Bitnomial, Inc. (c) 2016-2023"; | ||
| maintainer = "luke@bitnomial.com, opensource@bitnomial.com"; | ||
| author = "Luke Hoersten"; | ||
| homepage = "http://github.com/bitnomial/prometheus"; | ||
| url = ""; | ||
| synopsis = "Prometheus Haskell Client"; | ||
| description = "[Prometheus Haskell Client]\n\nA simple and modern, type safe, performance focused, idiomatic Haskell client\nfor <http://prometheus.io Prometheus> monitoring. Specifically there is no\nuse of unsafe IO or manual ByteString construction from lists of\nbytes. Batteries-included web server.\n\nA key design element of this library is that the RegistryT monad transformer\nis only required for registering new time series. Once the time series is\nregistered, new data samples may just be added in the IO monad.\n\nNote: Version 0.* supports Prometheus v1.0 and version 2.* supports Prometheus v2.0.\n\n[Usage Example]\n\n> module Example where\n>\n> import Control.Monad.IO.Class (liftIO)\n> import System.Metrics.Prometheus.Http.Scrape (serveMetricsT)\n> import System.Metrics.Prometheus.Concurrent.RegistryT\n> import System.Metrics.Prometheus.Metric.Counter (inc)\n> import System.Metrics.Prometheus.MetricId\n>\n> main :: IO ()\n> main = runRegistryT $ do\n> -- Labels can be defined as lists or added to an empty label set\n> connectSuccessGauge <- registerGauge \"example_connections\" (fromList [(\"login\", \"success\")])\n> connectFailureGauge <- registerGauge \"example_connections\" (addLabel \"login\" \"failure\" mempty)\n> connectCounter <- registerCounter \"example_connection_total\" mempty\n> latencyHistogram <- registerHistogram \"example_round_trip_latency_ms\" mempty [10, 20..100]\n>\n> liftIO $ inc connectCounter -- increment a counter\n>\n> -- [...] pass metric handles to the rest of the app\n>\n> serveMetricsT 8080 [\"metrics\"] -- http://localhost:8080/metric server\n>\n\n[Advanced Usage]\n\nA `Registry` and `StateT`-based `RegistryT` are available for unit testing or generating lists\nof `[IO a]` actions that can be `sequenced` and returned from pure code to be applied."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."atomic-primops" or (errorHandler.buildDepError "atomic-primops")) | ||
| (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."http-client" or (errorHandler.buildDepError "http-client")) | ||
| (hsPkgs."http-client-tls" or (errorHandler.buildDepError "http-client-tls")) | ||
| (hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) | ||
| (hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
| (hsPkgs."wai" or (errorHandler.buildDepError "wai")) | ||
| (hsPkgs."warp" or (errorHandler.buildDepError "warp")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| exes = { | ||
| "prometheus-example" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."prometheus" or (errorHandler.buildDepError "prometheus")) | ||
| ]; | ||
| buildable = if flags.buildexamples then true else false; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
48 changes: 48 additions & 0 deletions
48
...t-letbind-0.2.5.0-r0-7f2696cf7ca4d962c1822fbdab1b29aaa889dc4daf76306e3518f05342281978.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,48 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "1.10"; | ||
| identifier = { name = "s-cargot-letbind"; version = "0.2.5.0"; }; | ||
| license = "ISC"; | ||
| copyright = "2018 Kevin Quick"; | ||
| maintainer = "kquick@galois.com"; | ||
| author = "Kevin Quick"; | ||
| homepage = "https://github.com/GaloisInc/s-cargot-letbind"; | ||
| url = ""; | ||
| synopsis = "Enables let-binding and let-expansion for s-cargot defined S-expressions."; | ||
| description = "This module allows let bindings to be introduced into the S-Expression\nsyntax.\n\nFor example, instead of:\n\n> (concat (if (enabled x) (+ (width x) (width y)) (width y))\n> \" meters\")\n\nthis can be re-written with let bindings:\n\n> (let ((wy (width y))\n> (wboth (+ (width x) wy))\n> (wide (if (enabled x) wboth wy))\n> )\n> (concat wide \" meters\"))\n\nAs S-expressions grow larger, let-binding can help readability for\nthose expressions. This module provides the 'discoverLetBindings'\nfunction that will convert an S-expression into one containing\nlet-bound variables, and the inverse function 'letExpand' which will\nexpand let-bound variables back into the expression."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."s-cargot" or (errorHandler.buildDepError "s-cargot")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| tests = { | ||
| "s-cargot-printparselet" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) | ||
| (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) | ||
| (hsPkgs."s-cargot" or (errorHandler.buildDepError "s-cargot")) | ||
| (hsPkgs."s-cargot-letbind" or (errorHandler.buildDepError "s-cargot-letbind")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
50 changes: 50 additions & 0 deletions
50
...d-session-0.1.0.0-r0-c0ba066f65b960e2cf3c059f00d9ffdced863b18a395b9a74f3f2caff2748b1c.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,50 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "3.0"; | ||
| identifier = { name = "typed-session"; version = "0.1.0.0"; }; | ||
| license = "MIT"; | ||
| copyright = ""; | ||
| maintainer = "shangdizhixia1993@163.com"; | ||
| author = "sdzx-1"; | ||
| homepage = ""; | ||
| url = ""; | ||
| synopsis = "typed session framework"; | ||
| description = "Typed session are used to ensure desirable properties in concurrent and distributed systems,\ni.e. absence of communication errors or deadlocks, and protocol conformance."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| tests = { | ||
| "typed-session-test" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."typed-session" or (errorHandler.buildDepError "typed-session")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."io-classes" or (errorHandler.buildDepError "io-classes")) | ||
| (hsPkgs."io-sim" or (errorHandler.buildDepError "io-sim")) | ||
| (hsPkgs."random" or (errorHandler.buildDepError "random")) | ||
| (hsPkgs."fused-effects" or (errorHandler.buildDepError "fused-effects")) | ||
| (hsPkgs."fused-effects-random" or (errorHandler.buildDepError "fused-effects-random")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
52 changes: 52 additions & 0 deletions
52
...yosys-rtl-0.1.0.1-r0-afaf966f9b437f3a0592c01456d23edd67674d41f258f6369fcf5eb6c592bdbb.nix
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,52 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "3.0"; | ||
| identifier = { name = "yosys-rtl"; version = "0.1.0.1"; }; | ||
| license = "MIT"; | ||
| copyright = "David Cox"; | ||
| maintainer = "standard.semiconductor@gmail.com"; | ||
| author = "dopamane"; | ||
| homepage = "https://github.com/standardsemiconductor/yosys-rtl"; | ||
| url = ""; | ||
| synopsis = "Yosys RTL Intermediate Language"; | ||
| description = "Definition and rendering.\nSee https://yosyshq.readthedocs.io/projects/yosys/en/latest/\nfor RTL text representation documentation."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| tests = { | ||
| "test" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."extra" or (errorHandler.buildDepError "extra")) | ||
| (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
| (hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) | ||
| (hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
| (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
| (hsPkgs."tasty-golden" or (errorHandler.buildDepError "tasty-golden")) | ||
| (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| (hsPkgs."yosys-rtl" or (errorHandler.buildDepError "yosys-rtl")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.