-
Notifications
You must be signed in to change notification settings - Fork 18
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
Nov 14, 2024
1 parent
3de0e93
commit 4735b69
Showing
24 changed files
with
617 additions
and
6 deletions.
There are no files selected for viewing
40 changes: 40 additions & 0 deletions
40
...age/chell-0.5.0.2-r1-9bc12b2d5affb51bec9ccf01651c229d4f714c744fc7dc85b0946c7bdb068c6d.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,40 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = { color-output = true; }; | ||
| package = { | ||
| specVersion = "3.0"; | ||
| identifier = { name = "chell"; version = "0.5.0.2"; }; | ||
| license = "MIT"; | ||
| copyright = ""; | ||
| maintainer = "Chris Martin, Julie Moronuki"; | ||
| author = "John Millikin <[email protected]>"; | ||
| homepage = "https://github.com/typeclasses/chell"; | ||
| url = ""; | ||
| synopsis = "A simple and intuitive library for automated testing."; | ||
| description = "Chell is a simple and intuitive library for automated testing.\nIt natively supports assertion-based testing, and can use companion libraries\nsuch as @chell-quickcheck@ to support more complex testing strategies."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
| (hsPkgs."options" or (errorHandler.buildDepError "options")) | ||
| (hsPkgs."patience" or (errorHandler.buildDepError "patience")) | ||
| (hsPkgs."random" or (errorHandler.buildDepError "random")) | ||
| (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
| ] ++ pkgs.lib.optional (flags.color-output) (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")); | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| } |
40 changes: 40 additions & 0 deletions
40
...age/chell-0.5.0.2-r2-deefd202e729f7b13aae15a8035a0264c68cfa7348656ebddfa5268cdef784c6.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,40 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = { color-output = true; }; | ||
| package = { | ||
| specVersion = "3.0"; | ||
| identifier = { name = "chell"; version = "0.5.0.2"; }; | ||
| license = "MIT"; | ||
| copyright = ""; | ||
| maintainer = "Chris Martin, Julie Moronuki"; | ||
| author = "John Millikin <[email protected]>"; | ||
| homepage = "https://github.com/typeclasses/chell"; | ||
| url = ""; | ||
| synopsis = "A simple and intuitive library for automated testing."; | ||
| description = "Chell is a simple and intuitive library for automated testing.\nIt natively supports assertion-based testing, and can use companion libraries\nsuch as @chell-quickcheck@ to support more complex testing strategies."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
| (hsPkgs."options" or (errorHandler.buildDepError "options")) | ||
| (hsPkgs."patience" or (errorHandler.buildDepError "patience")) | ||
| (hsPkgs."random" or (errorHandler.buildDepError "random")) | ||
| (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
| ] ++ pkgs.lib.optional (flags.color-output) (hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")); | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| } |
35 changes: 35 additions & 0 deletions
35
...ell-hunit-0.3.0.2-r1-ed8ca8da42ef941856ac2d8c8c6b0e6db03a8ecbf5e10ecd03b379799c4d9f20.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,35 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "3.0"; | ||
| identifier = { name = "chell-hunit"; version = "0.3.0.2"; }; | ||
| license = "MIT"; | ||
| copyright = ""; | ||
| maintainer = "Chris Martin, Julie Moronuki"; | ||
| author = "John Millikin <[email protected]>"; | ||
| homepage = "https://github.com/typeclasses/chell"; | ||
| url = ""; | ||
| synopsis = "HUnit support for Chell"; | ||
| description = "HUnit support for the Chell testing library."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."chell" or (errorHandler.buildDepError "chell")) | ||
| (hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| } |
36 changes: 36 additions & 0 deletions
36
...uickcheck-0.2.5.4-r1-3f5481422a918eec1c224a990cc69f729c953d574002243565fa1f68d392e081.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,36 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "3.0"; | ||
| identifier = { name = "chell-quickcheck"; version = "0.2.5.4"; }; | ||
| license = "MIT"; | ||
| copyright = ""; | ||
| maintainer = "Chris Martin, Julie Moronuki"; | ||
| author = "John Millikin <[email protected]>"; | ||
| homepage = "https://github.com/typeclasses/chell"; | ||
| url = ""; | ||
| synopsis = "QuickCheck support for Chell"; | ||
| description = "QuickCheck support for the Chell testing library."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."chell" or (errorHandler.buildDepError "chell")) | ||
| (hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
| (hsPkgs."random" or (errorHandler.buildDepError "random")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| } |
38 changes: 38 additions & 0 deletions
38
hackage/debruijn-0.2-r0-d25acc73e743a3199c49971b33e9ab7cb804a1cb9f8ae22c9cde0ab757b898d9.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,38 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "2.4"; | ||
| identifier = { name = "debruijn"; version = "0.2"; }; | ||
| license = "BSD-3-Clause"; | ||
| copyright = ""; | ||
| maintainer = "Oleg Grenrus <[email protected]>"; | ||
| author = "Oleg Grenrus <[email protected]>"; | ||
| homepage = ""; | ||
| url = ""; | ||
| synopsis = "de Bruijn indices and levels"; | ||
| description = "de Bruijn indices and levels for well-scoped terms.\n\nThis is \"unsafe\" (as it uses 'unsafeCoerce') implementation, but it's fast.\nThe API is the same as in @debruin-safe@ package."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
| (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
| (hsPkgs."fin" or (errorHandler.buildDepError "fin")) | ||
| (hsPkgs."skew-list" or (errorHandler.buildDepError "skew-list")) | ||
| (hsPkgs."some" or (errorHandler.buildDepError "some")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| } |
36 changes: 36 additions & 0 deletions
36
...debruijn-safe-0.2-r0-370aee176e77708bb9134a170ad0e9cc0706f03d8797426429fa13d76716cab4.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,36 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "2.4"; | ||
| identifier = { name = "debruijn-safe"; version = "0.2"; }; | ||
| license = "BSD-3-Clause"; | ||
| copyright = ""; | ||
| maintainer = "Oleg Grenrus <[email protected]>"; | ||
| author = "Oleg Grenrus <[email protected]>"; | ||
| homepage = ""; | ||
| url = ""; | ||
| synopsis = "de Bruijn indices and levels"; | ||
| description = "de Bruijn indices and levels for well-scoped terms.\n\nThis is \"safe\", but slow implementation."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
| (hsPkgs."fin" or (errorHandler.buildDepError "fin")) | ||
| (hsPkgs."some" or (errorHandler.buildDepError "some")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| } |
59 changes: 59 additions & 0 deletions
59
...ge/logict-0.8.2.0-r0-24e023b7c75cbf61d1c94c84479949dc4715dbce0824fa7562396679f56a2647.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,59 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "1.10"; | ||
| identifier = { name = "logict"; version = "0.8.2.0"; }; | ||
| license = "BSD-3-Clause"; | ||
| copyright = "(c) 2007-2014 Dan Doel,\n(c) 2011-2013 Edward Kmett,\n(c) 2014 Roman Cheplyaka,\n(c) 2020-2021 Andrew Lelechenko,\n(c) 2020-2021 Kevin Quick"; | ||
| maintainer = "Andrew Lelechenko <[email protected]>"; | ||
| author = "Dan Doel"; | ||
| homepage = "https://github.com/Bodigrim/logict#readme"; | ||
| url = ""; | ||
| synopsis = "A backtracking logic-programming monad."; | ||
| description = "Adapted from the paper\n<http://okmij.org/ftp/papers/LogicT.pdf Backtracking, Interleaving, and Terminating Monad Transformers>\nby Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
| (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
| (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| exes = { | ||
| "grandparents" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."logict" or (errorHandler.buildDepError "logict")) | ||
| ]; | ||
| buildable = false; | ||
| }; | ||
| }; | ||
| tests = { | ||
| "logict-tests" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."async" or (errorHandler.buildDepError "async")) | ||
| (hsPkgs."logict" or (errorHandler.buildDepError "logict")) | ||
| (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
| (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
| (hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
| (hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
34 changes: 34 additions & 0 deletions
34
...monads-tf-0.3.0.1-r2-66e89d2e69d869004ef7ba3f28168e81a8398b99140314c6106fba8bb8a0cef3.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,34 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "3.0"; | ||
| identifier = { name = "monads-tf"; version = "0.3.0.1"; }; | ||
| license = "BSD-3-Clause"; | ||
| copyright = ""; | ||
| maintainer = "Ross Paterson <[email protected]>,\nChris Martin <[email protected]>"; | ||
| author = "Andy Gill"; | ||
| homepage = "https://github.com/typeclasses/monads-tf"; | ||
| url = ""; | ||
| synopsis = "Monad classes, using type families"; | ||
| description = "Monad classes using type families, with instances for\nvarious monad transformers."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| } |
60 changes: 60 additions & 0 deletions
60
...e/options-1.2.1.2-r2-b8379c07d1a0b9dc372a37fa6ad7cbecf80a82cc3ebb34817a1f0aa27b211aab.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,60 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "3.0"; | ||
| identifier = { name = "options"; version = "1.2.1.2"; }; | ||
| license = "MIT"; | ||
| copyright = ""; | ||
| maintainer = "Chris Martin <[email protected]>"; | ||
| author = "John Millikin <[email protected]>"; | ||
| homepage = "https://github.com/typeclasses/options/"; | ||
| url = ""; | ||
| synopsis = "Powerful and easy command-line option parser"; | ||
| description = "Lets library and application developers easily work with command-line options."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."monads-tf" or (errorHandler.buildDepError "monads-tf")) | ||
| (hsPkgs."options".components.sublibs.options-internal or (errorHandler.buildDepError "options:options-internal")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| sublibs = { | ||
| "options-internal" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."monads-tf" or (errorHandler.buildDepError "monads-tf")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| tests = { | ||
| "options_tests" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."monads-tf" or (errorHandler.buildDepError "monads-tf")) | ||
| (hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
| (hsPkgs."options" or (errorHandler.buildDepError "options")) | ||
| (hsPkgs."options".components.sublibs.options-internal or (errorHandler.buildDepError "options:options-internal")) | ||
| (hsPkgs."patience" or (errorHandler.buildDepError "patience")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
Oops, something went wrong.