-
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
Sep 6, 2024
1 parent
b6302b4
commit 2c057b9
Showing
27 changed files
with
1,194 additions
and
1 deletion.
There are no files selected for viewing
54 changes: 54 additions & 0 deletions
54
...a-effects-0.1.2.0-r0-9c634de1420d3ffe8db3cdbb7cad33f6d7648c29d1bd7e4f0f5e8d39a42a0f96.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,54 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.4"; | ||
identifier = { name = "data-effects"; version = "0.1.2.0"; }; | ||
license = "MPL-2.0"; | ||
copyright = "2023 Yamada Ryo"; | ||
maintainer = "Yamada Ryo <[email protected]>"; | ||
author = "Yamada Ryo <[email protected]>"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "A basic framework for effect systems based on effects represented by GADTs."; | ||
description = "A basic framework for a Haskell effect system library based on GADTs-based effect representations\nwith a style that separates first-order effects and higher-order effects.\n\nThis library set was created by being separated from\nthe [Heftia](https://hackage.haskell.org/package/heftia) extensible effects library."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."data-effects-core" or (errorHandler.buildDepError "data-effects-core")) | ||
(hsPkgs."data-effects-th" or (errorHandler.buildDepError "data-effects-th")) | ||
(hsPkgs."these" or (errorHandler.buildDepError "these")) | ||
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."lens" or (errorHandler.buildDepError "lens")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"test" = { | ||
depends = [ | ||
(hsPkgs."data-effects" or (errorHandler.buildDepError "data-effects")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
]; | ||
build-tools = [ | ||
(hsPkgs.pkgsBuildBuild.tasty-discover.components.exes.tasty-discover or (pkgs.pkgsBuildBuild.tasty-discover or (errorHandler.buildToolDepError "tasty-discover:tasty-discover"))) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
62 changes: 62 additions & 0 deletions
62
...ffects-th-0.1.2.0-r0-4155baee1704da0d49b73a334b4fbf27a52780746eb308c76f2760e164f13560.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,62 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.4"; | ||
identifier = { name = "data-effects-th"; version = "0.1.2.0"; }; | ||
license = "MPL-2.0"; | ||
copyright = "2023 Yamada Ryo,\n2020 Michael Szvetits,\n2010-2011 Patrick Bahr"; | ||
maintainer = "Yamada Ryo <[email protected]>"; | ||
author = "Yamada Ryo <[email protected]>"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "Template Haskell utilities for the data-effects library."; | ||
description = "TemplateHaskell functions for deriving effect invocation\nfunctions, [HFunctor](https://hackage.haskell.org/package/data-effects-core-0.1.0.0/docs/Data-Effect-HFunctor.html#t:HFunctor)\ninstances, and more from the definition of effects\nwith [data-effects](https://hackage.haskell.org/package/data-effects)-based GADT representations."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."data-effects-core" or (errorHandler.buildDepError "data-effects-core")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."th-abstraction" or (errorHandler.buildDepError "th-abstraction")) | ||
(hsPkgs."lens" or (errorHandler.buildDepError "lens")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."extra" or (errorHandler.buildDepError "extra")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."either" or (errorHandler.buildDepError "either")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default")) | ||
(hsPkgs."infinite-list" or (errorHandler.buildDepError "infinite-list")) | ||
(hsPkgs."formatting" or (errorHandler.buildDepError "formatting")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"Example" = { | ||
depends = [ | ||
(hsPkgs."data-effects-th" or (errorHandler.buildDepError "data-effects-th")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."data-effects-core" or (errorHandler.buildDepError "data-effects-core")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default")) | ||
(hsPkgs."infinite-list" or (errorHandler.buildDepError "infinite-list")) | ||
]; | ||
build-tools = [ | ||
(hsPkgs.pkgsBuildBuild.tasty-discover.components.exes.tasty-discover or (pkgs.pkgsBuildBuild.tasty-discover or (errorHandler.buildToolDepError "tasty-discover:tasty-discover"))) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
117 changes: 117 additions & 0 deletions
117
...ortran-src-0.16.1-r0-d33057c405a2b6a29e5cc19df615a262364ded6575d0a18386b9d73a65edc734.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,117 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.12"; | ||
identifier = { name = "fortran-src"; version = "0.16.1"; }; | ||
license = "Apache-2.0"; | ||
copyright = ""; | ||
maintainer = "[email protected],\nBen Orchard"; | ||
author = "Mistral Contrastin,\nMatthew Danish,\nDominic Orchard,\nAndrew Rice"; | ||
homepage = "https://github.com/camfort/fortran-src#readme"; | ||
url = ""; | ||
synopsis = "Parsers and analyses for Fortran standards 66, 77, 90, 95 and 2003 (partial)."; | ||
description = "Provides lexing, parsing, and basic analyses of Fortran code covering standards: FORTRAN 66, FORTRAN 77, Fortran 90, Fortran 95, Fortran 2003 (partial) and some legacy extensions. Includes data flow and basic block analysis, a renamer, and type analysis. For example usage, see the @<https://hackage.haskell.org/package/camfort CamFort>@ project, which uses fortran-src as its front end."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."GenericPretty" or (errorHandler.buildDepError "GenericPretty")) | ||
(hsPkgs."array" or (errorHandler.buildDepError "array")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."binary" or (errorHandler.buildDepError "binary")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."either" or (errorHandler.buildDepError "either")) | ||
(hsPkgs."fgl" or (errorHandler.buildDepError "fgl")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) | ||
(hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
(hsPkgs."singletons" or (errorHandler.buildDepError "singletons")) | ||
(hsPkgs."singletons-base" or (errorHandler.buildDepError "singletons-base")) | ||
(hsPkgs."singletons-th" or (errorHandler.buildDepError "singletons-th")) | ||
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."uniplate" or (errorHandler.buildDepError "uniplate")) | ||
]; | ||
build-tools = [ | ||
(hsPkgs.pkgsBuildBuild.alex.components.exes.alex or (pkgs.pkgsBuildBuild.alex or (errorHandler.buildToolDepError "alex:alex"))) | ||
(hsPkgs.pkgsBuildBuild.happy.components.exes.happy or (pkgs.pkgsBuildBuild.happy or (errorHandler.buildToolDepError "happy:happy"))) | ||
]; | ||
buildable = true; | ||
}; | ||
exes = { | ||
"fortran-src" = { | ||
depends = [ | ||
(hsPkgs."GenericPretty" or (errorHandler.buildDepError "GenericPretty")) | ||
(hsPkgs."array" or (errorHandler.buildDepError "array")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."binary" or (errorHandler.buildDepError "binary")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."either" or (errorHandler.buildDepError "either")) | ||
(hsPkgs."fgl" or (errorHandler.buildDepError "fgl")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."fortran-src" or (errorHandler.buildDepError "fortran-src")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) | ||
(hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
(hsPkgs."singletons" or (errorHandler.buildDepError "singletons")) | ||
(hsPkgs."singletons-base" or (errorHandler.buildDepError "singletons-base")) | ||
(hsPkgs."singletons-th" or (errorHandler.buildDepError "singletons-th")) | ||
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."uniplate" or (errorHandler.buildDepError "uniplate")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
tests = { | ||
"spec" = { | ||
depends = [ | ||
(hsPkgs."GenericPretty" or (errorHandler.buildDepError "GenericPretty")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."array" or (errorHandler.buildDepError "array")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."binary" or (errorHandler.buildDepError "binary")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."either" or (errorHandler.buildDepError "either")) | ||
(hsPkgs."fgl" or (errorHandler.buildDepError "fgl")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."fortran-src" or (errorHandler.buildDepError "fortran-src")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) | ||
(hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
(hsPkgs."singletons" or (errorHandler.buildDepError "singletons")) | ||
(hsPkgs."singletons-base" or (errorHandler.buildDepError "singletons-base")) | ||
(hsPkgs."singletons-th" or (errorHandler.buildDepError "singletons-th")) | ||
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."uniplate" or (errorHandler.buildDepError "uniplate")) | ||
]; | ||
build-tools = [ | ||
(hsPkgs.pkgsBuildBuild.hspec-discover.components.exes.hspec-discover or (pkgs.pkgsBuildBuild.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
90 changes: 90 additions & 0 deletions
90
...-security-0.6.2.6-r4-a7311a70ce2cc820ee430c389f57f82a082f148230b37526c34eac72b7b3ff34.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,90 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { cabal-syntax = false; lukko = true; }; | ||
package = { | ||
specVersion = "1.12"; | ||
identifier = { name = "hackage-security"; version = "0.6.2.6"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "Copyright 2015-2022 Well-Typed LLP"; | ||
maintainer = "[email protected]"; | ||
author = "Edsko de Vries"; | ||
homepage = "https://github.com/haskell/hackage-security"; | ||
url = ""; | ||
synopsis = "Hackage security library"; | ||
description = "The hackage security library provides both server and\nclient utilities for securing the Hackage package server\n(<https://hackage.haskell.org/>). It is based on The Update\nFramework (<https://theupdateframework.com/>), a set of\nrecommendations developed by security researchers at\nvarious universities in the US as well as developers on the\nTor project (<https://www.torproject.org/>).\n\nThe current implementation supports only index signing,\nthereby enabling untrusted mirrors. It does not yet provide\nfacilities for author package signing.\n\nThe library has two main entry points:\n\"Hackage.Security.Client\" is the main entry point for\nclients (the typical example being @cabal@), and\n\"Hackage.Security.Server\" is the main entry point for\nservers (the typical example being @hackage-server@)."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = ([ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) | ||
(hsPkgs."base64-bytestring" or (errorHandler.buildDepError "base64-bytestring")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."cryptohash-sha256" or (errorHandler.buildDepError "cryptohash-sha256")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."ed25519" or (errorHandler.buildDepError "ed25519")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) | ||
(hsPkgs."network" or (errorHandler.buildDepError "network")) | ||
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) | ||
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) | ||
(hsPkgs."tar" or (errorHandler.buildDepError "tar")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."zlib" or (errorHandler.buildDepError "zlib")) | ||
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) | ||
] ++ (if flags.lukko | ||
then [ (hsPkgs."lukko" or (errorHandler.buildDepError "lukko")) ] | ||
else [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
])) ++ (if flags.cabal-syntax | ||
then [ | ||
(hsPkgs."Cabal-syntax" or (errorHandler.buildDepError "Cabal-syntax")) | ||
] | ||
else [ | ||
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) | ||
(hsPkgs."Cabal-syntax" or (errorHandler.buildDepError "Cabal-syntax")) | ||
]); | ||
buildable = true; | ||
}; | ||
tests = { | ||
"TestSuite" = { | ||
depends = [ | ||
(hsPkgs."hackage-security" or (errorHandler.buildDepError "hackage-security")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) | ||
(hsPkgs."tar" or (errorHandler.buildDepError "tar")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
(hsPkgs."zlib" or (errorHandler.buildDepError "zlib")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) | ||
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) | ||
] ++ [ | ||
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) | ||
(hsPkgs."Cabal-syntax" or (errorHandler.buildDepError "Cabal-syntax")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.