-
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
Oct 26, 2023
1 parent
9384d8e
commit b8dad72
Showing
46 changed files
with
2,404 additions
and
16 deletions.
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
79 changes: 79 additions & 0 deletions
79
hackage/PyF-0.11.2.1-r0-3bd749eac5f91e44c148adf97f20c7424662e0cf1235d399f3f4848379c6038e.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,79 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { python_test = false; }; | ||
package = { | ||
specVersion = "2.4"; | ||
identifier = { name = "PyF"; version = "0.11.2.1"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "[email protected]"; | ||
author = "Guillaume Bouchard"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "Quasiquotations for a python like interpolated string formatter"; | ||
description = "Quasiquotations for a python like interpolated string formatter."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc")) | ||
] ++ (pkgs.lib).optional (compiler.isGhc && (compiler.version).lt "9.2.1") (hsPkgs."ghc-boot" or (errorHandler.buildDepError "ghc-boot")); | ||
buildable = true; | ||
}; | ||
tests = { | ||
"pyf-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."PyF" or (errorHandler.buildDepError "PyF")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
] ++ (pkgs.lib).optional (flags.python_test) (hsPkgs."process" or (errorHandler.buildDepError "process")); | ||
buildable = true; | ||
}; | ||
"pyf-overloaded" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."PyF" or (errorHandler.buildDepError "PyF")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
]; | ||
buildable = true; | ||
}; | ||
"pyf-failure" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) | ||
(hsPkgs."PyF" or (errorHandler.buildDepError "PyF")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
76 changes: 76 additions & 0 deletions
76
...nary-tagged-0.3.1-r4-46b7fedd8125ebe9ca5c446eba51321a2a54fccc9310f179599794e5f23d0475.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,76 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.2"; | ||
identifier = { name = "binary-tagged"; version = "0.3.1"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "Oleg Grenrus <[email protected]>"; | ||
author = "Oleg Grenrus <[email protected]>"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "Tagged binary serialisation."; | ||
description = "Structurally tag binary serialisation stream.\n\nSay you have:\n\nSay you have a data type\n\n@\ndata Record = Record\n\\ { _recordFields :: HM.HashMap Text (Integer, ByteString)\n\\ , _recordEnabled :: Bool\n\\ }\n\\ deriving (Eq, Show, Generic)\n\ninstance @Binary@ Record\ninstance 'Structured' Record\n@\n\nthen you can serialise and deserialise @Record@ values with a structure tag by simply\n\n@\n'structuredEncode' record :: LBS.ByteString\n'structuredDecode' lbs :: IO Record\n@\n\nIf structure of @Record@ changes in between, deserialisation will fail early.\n\nThe overhead is next to non-observable.\n\n@\nbenchmarking encode/Binary\ntime 352.8 μs (349.5 μs .. 355.9 μs)\n\nbenchmarking encode/Tagged\ntime 350.8 μs (349.0 μs .. 353.1 μs)\n\nbenchmarking decode/Binary\ntime 346.8 μs (344.7 μs .. 349.9 μs)\n\nbenchmarking decode/Tagged\ntime 353.8 μs (352.0 μs .. 355.8 μs)\n@"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."structured" or (errorHandler.buildDepError "structured")) | ||
(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."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring")) | ||
(hsPkgs."tagged" or (errorHandler.buildDepError "tagged")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"binary-tagged-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."binary" or (errorHandler.buildDepError "binary")) | ||
(hsPkgs."binary-instances" or (errorHandler.buildDepError "binary-instances")) | ||
(hsPkgs."binary-tagged" or (errorHandler.buildDepError "binary-tagged")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) | ||
(hsPkgs."singleton-bool" or (errorHandler.buildDepError "singleton-bool")) | ||
(hsPkgs."tagged" or (errorHandler.buildDepError "tagged")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
benchmarks = { | ||
"binary-tagged-bench" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."binary" or (errorHandler.buildDepError "binary")) | ||
(hsPkgs."binary-instances" or (errorHandler.buildDepError "binary-instances")) | ||
(hsPkgs."binary-tagged" or (errorHandler.buildDepError "binary-tagged")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
56 changes: 56 additions & 0 deletions
56
...ound-extras-0.0.2-r3-8aab45a5e5906e05b5d8b6da4ce2f6ec4dd4d0dbfc35cb463d12e8bb16f7bf2c.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,56 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.2"; | ||
identifier = { name = "bound-extras"; version = "0.0.2"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "(c) 2018 Oleg Grenrus"; | ||
maintainer = "Oleg Grenrus <[email protected]>"; | ||
author = "Oleg Grenrus, Edward Kmett"; | ||
homepage = "https://github.com/phadej/bound-extras"; | ||
url = ""; | ||
synopsis = "ScopeH and ScopeT extras for bound"; | ||
description = "Provides more complex @Scope@ variants; @ScopeT@ and @ScopeH@:\n\n@\nScope b f a ~ ScopeT b IdentityT f a ~ ScopeH b f f a\nScopeT b t f a ~ ScopeH b (t f) f a\n@\n\n'ScopeH' probably should be preferred over 'ScopeT'.\nLatter is left here for completeness.\n\nSimple implementations of @ScopeH@ and @ScopeT@ would be similar\n(sans type arguments) to @Bound.Scope.Simple@.\n\nLook into @examples/@ directory for /System F/ and /Bidirectional STLC/\nimplemented with a help of 'ScopeH'."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."bound" or (errorHandler.buildDepError "bound")) | ||
] ++ (pkgs.lib).optional (!(compiler.isGhc && (compiler.version).ge "8.2")) (hsPkgs."bifunctors" or (errorHandler.buildDepError "bifunctors")); | ||
buildable = true; | ||
}; | ||
tests = { | ||
"examples" = { | ||
depends = [ | ||
(hsPkgs."adjunctions" or (errorHandler.buildDepError "adjunctions")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bound" or (errorHandler.buildDepError "bound")) | ||
(hsPkgs."bound-extras" or (errorHandler.buildDepError "bound-extras")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-golden" or (errorHandler.buildDepError "tasty-golden")) | ||
(hsPkgs."text-short" or (errorHandler.buildDepError "text-short")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string")) | ||
] ++ (pkgs.lib).optional (!(compiler.isGhc && (compiler.version).ge "8.2")) (hsPkgs."bifunctors" or (errorHandler.buildDepError "bifunctors")); | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
51 changes: 51 additions & 0 deletions
51
...e/crypt-sha512-0-r10-f63c5124f2a1236dac517306bdd22884b12e918cdd9c9f6ebe6ea5d5bf601c8d.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,51 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "crypt-sha512"; version = "0"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "2017 Oleg Grenrus"; | ||
maintainer = "Oleg Grenrus <[email protected]>"; | ||
author = "Oleg Grenrus <[email protected]>"; | ||
homepage = "https://github.com/phadej/crypt-sha512"; | ||
url = ""; | ||
synopsis = "Pure Haskell implelementation for GNU SHA512 crypt algorithm"; | ||
description = "crypt() is the password encryption function. It is based on the Data\nEncryption Standard algorithm with variations intended (among other things) to\ndiscourage use of hardware implementations of a key search.\n\nThis package provides a pure Haskell implementation of SHA512 crypt scheme."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."cryptohash-sha512" or (errorHandler.buildDepError "cryptohash-sha512")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"example" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."crypt-sha512" or (errorHandler.buildDepError "crypt-sha512")) | ||
(hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
]; | ||
libs = [ (pkgs."crypt" or (errorHandler.sysDepError "crypt")) ]; | ||
buildable = if !system.isLinux then false else true; | ||
}; | ||
}; | ||
}; | ||
} |
62 changes: 62 additions & 0 deletions
62
hackage/exon-1.6.0.2-r0-2511e57751779f3443f65b4c0538cf5260fed35189e3e6073314360f2920551f.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.2"; | ||
identifier = { name = "exon"; version = "1.6.0.2"; }; | ||
license = "BSD-2-Clause-Patent"; | ||
copyright = "2023 Torsten Schmits"; | ||
maintainer = "[email protected]"; | ||
author = "Torsten Schmits"; | ||
homepage = "https://github.com/tek/exon#readme"; | ||
url = ""; | ||
synopsis = "Customizable quasiquote interpolation"; | ||
description = "See https://hackage.haskell.org/package/exon/docs/Exon.html"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc")) | ||
(hsPkgs."incipit-base" or (errorHandler.buildDepError "incipit-base")) | ||
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"exon-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."exon" or (errorHandler.buildDepError "exon")) | ||
(hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) | ||
(hsPkgs."incipit-base" or (errorHandler.buildDepError "incipit-base")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hedgehog" or (errorHandler.buildDepError "tasty-hedgehog")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
benchmarks = { | ||
"exon-bench" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) | ||
(hsPkgs."exon" or (errorHandler.buildDepError "exon")) | ||
(hsPkgs."incipit-base" or (errorHandler.buildDepError "incipit-base")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.