-
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
Oct 5, 2024
1 parent
0b87ee4
commit b9c0b66
Showing
23 changed files
with
871 additions
and
1 deletion.
There are no files selected for viewing
50 changes: 50 additions & 0 deletions
50
hackage/agda2hs-1.3-r0-47eeb0674bf6f06b31df6f618cfdb7dab9b668f56d7cb4c780935271160f4e6c.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 = "2.4"; | ||
| identifier = { name = "agda2hs"; version = "1.3"; }; | ||
| license = "BSD-3-Clause"; | ||
| copyright = "2024 Ulf Norell, Jesper Cockx, Orestis Melkonian, Sára Juhošová, James Chapman, Lucas Escot, Henry Blanchette, Viktor Csimma, Aleksander Wolska, Paul Bittner, Andreas Källberg, Bohdan Liesnikov, and Jakob Naucke"; | ||
| maintainer = "jesper@sikanda.be"; | ||
| author = "Ulf Norell, Jesper Cockx, Orestis Melkonian, Sára Juhošová, James Chapman, Lucas Escot, Henry Blanchette, Viktor Csimma, Aleksander Wolska, Paul Bittner, Andreas Källberg, Bohdan Liesnikov, and Jakob Naucke"; | ||
| homepage = ""; | ||
| url = ""; | ||
| synopsis = "Compiling Agda code to readable Haskell."; | ||
| description = "Produces verified and readable Haskell code by extracting it from a\n(lightly annotated) Agda program.\nThe tool is implemented as an Agda backend, which means that `agda2hs` is a\nfully functional Agda compiler."; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| exes = { | ||
| "agda2hs" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."Agda" or (errorHandler.buildDepError "Agda")) | ||
| (hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
| (hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
| (hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) | ||
| (hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
| (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
| (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) | ||
| (hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
| (hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
| (hsPkgs."haskell-src-exts" or (errorHandler.buildDepError "haskell-src-exts")) | ||
| (hsPkgs."syb" or (errorHandler.buildDepError "syb")) | ||
| (hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
| (hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
| (hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) | ||
| (hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
33 changes: 33 additions & 0 deletions
33
...e/bluefin-0.0.8.0-r0-da4c1d9633f1fea637fda84c2d7edefaca0b96e5416ed6e56d14008d9a7f5299.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,33 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "3.0"; | ||
| identifier = { name = "bluefin"; version = "0.0.8.0"; }; | ||
| license = "MIT"; | ||
| copyright = ""; | ||
| maintainer = "Tom Ellis"; | ||
| author = "Tom Ellis"; | ||
| homepage = "https://github.com/tomjaguarpaw/bluefin"; | ||
| url = ""; | ||
| synopsis = "The Bluefin effect system"; | ||
| description = "The Bluefin effect system"; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."bluefin-internal" or (errorHandler.buildDepError "bluefin-internal")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| } |
47 changes: 47 additions & 0 deletions
47
...-internal-0.0.7.0-r1-1abcb5c105ad1c5f160c907f768da33d0f2250e58d7a3fe6ecd45ed591c1e5d2.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,47 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "3.0"; | ||
| identifier = { name = "bluefin-internal"; version = "0.0.7.0"; }; | ||
| license = "MIT"; | ||
| copyright = ""; | ||
| maintainer = "Tom Ellis"; | ||
| author = "Tom Ellis"; | ||
| homepage = "https://github.com/tomjaguarpaw/bluefin"; | ||
| url = ""; | ||
| synopsis = "The Bluefin effect system, internals"; | ||
| description = "The Bluefin effect system, internals"; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."async" or (errorHandler.buildDepError "async")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")) | ||
| (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
| (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) | ||
| (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| tests = { | ||
| "bluefin-test" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."bluefin-internal" or (errorHandler.buildDepError "bluefin-internal")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
47 changes: 47 additions & 0 deletions
47
...-internal-0.0.8.0-r0-b7dbfe80a7da67112b5ee7787e7dba7e653d211b50d712b932d87db143945b69.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,47 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "3.0"; | ||
| identifier = { name = "bluefin-internal"; version = "0.0.8.0"; }; | ||
| license = "MIT"; | ||
| copyright = ""; | ||
| maintainer = "Tom Ellis"; | ||
| author = "Tom Ellis"; | ||
| homepage = "https://github.com/tomjaguarpaw/bluefin"; | ||
| url = ""; | ||
| synopsis = "The Bluefin effect system, internals"; | ||
| description = "The Bluefin effect system, internals"; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."async" or (errorHandler.buildDepError "async")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")) | ||
| (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
| (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) | ||
| (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| tests = { | ||
| "bluefin-test" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."bluefin-internal" or (errorHandler.buildDepError "bluefin-internal")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
47 changes: 47 additions & 0 deletions
47
...-internal-0.0.8.0-r1-f962ee8df545f7b55b6d534bf7ebd1debc45181a82ef5745a3bb545dd48447c8.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,47 @@ | ||
| { system | ||
| , compiler | ||
| , flags | ||
| , pkgs | ||
| , hsPkgs | ||
| , pkgconfPkgs | ||
| , errorHandler | ||
| , config | ||
| , ... }: | ||
| { | ||
| flags = {}; | ||
| package = { | ||
| specVersion = "3.0"; | ||
| identifier = { name = "bluefin-internal"; version = "0.0.8.0"; }; | ||
| license = "MIT"; | ||
| copyright = ""; | ||
| maintainer = "Tom Ellis"; | ||
| author = "Tom Ellis"; | ||
| homepage = "https://github.com/tomjaguarpaw/bluefin"; | ||
| url = ""; | ||
| synopsis = "The Bluefin effect system, internals"; | ||
| description = "The Bluefin effect system, internals"; | ||
| buildType = "Simple"; | ||
| }; | ||
| components = { | ||
| "library" = { | ||
| depends = [ | ||
| (hsPkgs."async" or (errorHandler.buildDepError "async")) | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")) | ||
| (hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
| (hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) | ||
| (hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| tests = { | ||
| "bluefin-test" = { | ||
| depends = [ | ||
| (hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
| (hsPkgs."bluefin-internal" or (errorHandler.buildDepError "bluefin-internal")) | ||
| ]; | ||
| buildable = true; | ||
| }; | ||
| }; | ||
| }; | ||
| } |
Oops, something went wrong.