-
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 5, 2024
1 parent
d86e544
commit b6302b4
Showing
42 changed files
with
1,665 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
77 changes: 77 additions & 0 deletions
77
hackage/MIP-0.1.2.0-r0-3a00b3bf4f298625b1fdb18bb4205e87b6eec7f3f9a209eb1dbb4d69166a0c83.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,77 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { | ||
testcbc = false; | ||
testcplex = false; | ||
testglpsol = false; | ||
testgurobicl = false; | ||
testlpsolve = false; | ||
testscip = false; | ||
withzlib = true; | ||
}; | ||
package = { | ||
specVersion = "1.18"; | ||
identifier = { name = "MIP"; version = "0.1.2.0"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "2020 Masahiro Sakai"; | ||
maintainer = "[email protected]"; | ||
author = "Masahiro Sakai"; | ||
homepage = "https://github.com/msakai/haskell-MIP#readme"; | ||
url = ""; | ||
synopsis = "Library for using Mixed Integer Programming (MIP)"; | ||
description = "Please see the README on GitHub at <https://github.com/msakai/haskell-MIP/tree/master/MIP#readme>"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."OptDir" or (errorHandler.buildDepError "OptDir")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class")) | ||
(hsPkgs."extended-reals" or (errorHandler.buildDepError "extended-reals")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."intern" or (errorHandler.buildDepError "intern")) | ||
(hsPkgs."lattices" or (errorHandler.buildDepError "lattices")) | ||
(hsPkgs."megaparsec" or (errorHandler.buildDepError "megaparsec")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) | ||
(hsPkgs."stm" or (errorHandler.buildDepError "stm")) | ||
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."xml-conduit" or (errorHandler.buildDepError "xml-conduit")) | ||
] ++ pkgs.lib.optionals (flags.withzlib) [ | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."bytestring-encoding" or (errorHandler.buildDepError "bytestring-encoding")) | ||
(hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) | ||
(hsPkgs."zlib" or (errorHandler.buildDepError "zlib")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"MIP-test" = { | ||
depends = [ | ||
(hsPkgs."MIP" or (errorHandler.buildDepError "MIP")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."data-default-class" or (errorHandler.buildDepError "data-default-class")) | ||
(hsPkgs."lattices" or (errorHandler.buildDepError "lattices")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
(hsPkgs."tasty-th" or (errorHandler.buildDepError "tasty-th")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
41 changes: 41 additions & 0 deletions
41
.../Mantissa-0.1.0.0-r0-10b02c6cc447526a1215d86a01ce9baa5a7dd308f26a49044d6626a35e7e04d3.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,41 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.2"; | ||
identifier = { name = "Mantissa"; version = "0.1.0.0"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "2024 James Cranch"; | ||
maintainer = "[email protected]"; | ||
author = "James Cranch"; | ||
homepage = "https://github.com/jcranch/mantissa#readme"; | ||
url = ""; | ||
synopsis = "Reals in the interval [0,1), as machine words"; | ||
description = "Please see the README on GitHub at <https://github.com/jcranch/Mantissa#readme>"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"Mantissa-test" = { | ||
depends = [ | ||
(hsPkgs."Mantissa" or (errorHandler.buildDepError "Mantissa")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
81 changes: 81 additions & 0 deletions
81
...se-client-0.3.0.0-r0-de494648ef23a115deed2e61b0ab01fd5ec401cda06bf90b89248af1d7c8d3d9.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,81 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.18"; | ||
identifier = { name = "dormouse-client"; version = "0.3.0.0"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "2020-2021 Phil Curzon"; | ||
maintainer = "[email protected]"; | ||
author = "Phil Curzon"; | ||
homepage = "https://dormouse.io/client.html"; | ||
url = ""; | ||
synopsis = "Simple, type-safe and testable HTTP client"; | ||
description = "An HTTP client designed to be productive, easy to use, easy to test, flexible and safe!\n\nIt was designed with the following objectives in mind:\n\n- HTTP requests and responses should be modelled by a simple, immutable Haskell Record.\n- Actual HTTP calls should be made via an abstraction layer (`MonadDormouseClient`) so testing and mocking is painless.\n- Illegal requests should be unrepresentable, such as HTTP GET requests with a content body.\n- It should be possible to enforce a protocol (e.g. https) at the type level.\n- It should be possible to handle large request and response bodies via constant memory streaming.\n\nPlease see https://dormouse.io for full documentation."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."dormouse-uri" or (errorHandler.buildDepError "dormouse-uri")) | ||
(hsPkgs."http-api-data" or (errorHandler.buildDepError "http-api-data")) | ||
(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."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) | ||
(hsPkgs."streamly" or (errorHandler.buildDepError "streamly")) | ||
(hsPkgs."streamly-bytestring" or (errorHandler.buildDepError "streamly-bytestring")) | ||
(hsPkgs."streamly-core" or (errorHandler.buildDepError "streamly-core")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"dormouse-client-test" = { | ||
depends = [ | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."dormouse-uri" or (errorHandler.buildDepError "dormouse-uri")) | ||
(hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."hspec-discover" or (errorHandler.buildDepError "hspec-discover")) | ||
(hsPkgs."hspec-hedgehog" or (errorHandler.buildDepError "hspec-hedgehog")) | ||
(hsPkgs."http-api-data" or (errorHandler.buildDepError "http-api-data")) | ||
(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."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) | ||
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) | ||
(hsPkgs."streamly" or (errorHandler.buildDepError "streamly")) | ||
(hsPkgs."streamly-bytestring" or (errorHandler.buildDepError "streamly-bytestring")) | ||
(hsPkgs."streamly-core" or (errorHandler.buildDepError "streamly-core")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
63 changes: 63 additions & 0 deletions
63
...mouse-uri-0.3.0.0-r0-40a7d3a46a1d3be51b31388d1d6911db7f1566d202c40b257aa2ffc8b7bbcba8.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 = {}; | ||
package = { | ||
specVersion = "1.18"; | ||
identifier = { name = "dormouse-uri"; version = "0.3.0.0"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "2020-2021 Phil Curzon"; | ||
maintainer = "[email protected]"; | ||
author = "Phil Curzon"; | ||
homepage = "https://dormouse.io/uri.html"; | ||
url = ""; | ||
synopsis = "Library for type-safe representations of Uri/Urls"; | ||
description = "Dormouse-Uri provides type safe handling of `Uri`s and `Url`s.\n\n`Uri` sytax is well defined according to [RFC 3986](https://tools.ietf.org/html/rfc3986), Dormouse-Uri parses and encodes `Uri`s according to the syntax defined in this document.\n\nWe define `Url` as an absolute URI associated with web resources, the current version of Dormouse-Uri restricts `Url`s to the `http` and `https` schemes.\n\nDormouse-Uri has the following features:\n\n- The `Uri` and `Url` data types use `Data.Text` internally, this allows you to freely include percent-decoded characters which will be properly rendered when the `Url`/`Uri` is encoded.\n- Quasiquoters to allow safe construction of `Uri`/`Url`s from string literals.\n- `DataKinds` allow `Url`s to be restricted to the `http` or `https` schemes at the type level.\n- A UrlBuilder syntax to allow type-safe construction/concatenation of `Url`s from their components, e.g. path and query parameters.\n\nPlease see https://dormouse.io for full documentation."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) | ||
(hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"dormouse-uri-test" = { | ||
depends = [ | ||
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."case-insensitive" or (errorHandler.buildDepError "case-insensitive")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."hedgehog" or (errorHandler.buildDepError "hedgehog")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."hspec-discover" or (errorHandler.buildDepError "hspec-discover")) | ||
(hsPkgs."hspec-hedgehog" or (errorHandler.buildDepError "hspec-hedgehog")) | ||
(hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) | ||
(hsPkgs."safe-exceptions" or (errorHandler.buildDepError "safe-exceptions")) | ||
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
54 changes: 54 additions & 0 deletions
54
...nummapset-0.7.3.0-r0-235df8eff07bd6cdb4257e23486bb35b9db016e4f41beaa3eccedbc7e3ab7398.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 = { debug = false; }; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "enummapset"; version = "0.7.3.0"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "Mikolaj Konarski <[email protected]>"; | ||
author = "Michal Terepeta and others"; | ||
homepage = "https://github.com/Mikolaj/enummapset"; | ||
url = ""; | ||
synopsis = "IntMap and IntSet with Enum keys/elements."; | ||
description = "This package contains simple wrappers around 'Data.IntMap' and\n'Data.IntSet' with 'Enum' keys and elements respectively.\nEspecially useful for 'Int's wrapped with `newtype`."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
] ++ pkgs.lib.optional (compiler.isGhc && compiler.version.lt "8.0") (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")); | ||
buildable = true; | ||
}; | ||
tests = { | ||
"intset-properties" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."array" or (errorHandler.buildDepError "array")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) | ||
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."test-framework" or (errorHandler.buildDepError "test-framework")) | ||
(hsPkgs."test-framework-hunit" or (errorHandler.buildDepError "test-framework-hunit")) | ||
(hsPkgs."test-framework-quickcheck2" or (errorHandler.buildDepError "test-framework-quickcheck2")) | ||
] ++ pkgs.lib.optional (compiler.isGhc && compiler.version.lt "8.0") (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")); | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.