-
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
Aug 4, 2024
1 parent
cf6b351
commit 34d69d7
Showing
30 changed files
with
1,066 additions
and
2 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
47 changes: 47 additions & 0 deletions
47
...ge/antelude-0.1.0-r0-d72db1811f2643dfbb80988924441eafc45a17692e9035e11d731e2cf57594a1.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.4"; | ||
identifier = { name = "antelude"; version = "0.1.0"; }; | ||
license = "MIT"; | ||
copyright = "© 2024 dneaves"; | ||
maintainer = "dneavesdev@pm.me"; | ||
author = "dneaves"; | ||
homepage = "https://codeberg.org/dneaves/antelude"; | ||
url = ""; | ||
synopsis = "Yet another alternative Prelude for Haskell."; | ||
description = "A Prelude with an intention to simplify the global scope, fix up a few things, add a few things, and be as dev-friendly for everyone as possible."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."array" or (errorHandler.buildDepError "array")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"antelude-test" = { | ||
depends = [ | ||
(hsPkgs."antelude" or (errorHandler.buildDepError "antelude")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
56 changes: 56 additions & 0 deletions
56
...ound-extras-0.0.3-r0-35f67e7cb7054afadbf2024d838d312bd83bec538cb594867512c1165e002a0d.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.3"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "(c) 2018 Oleg Grenrus"; | ||
maintainer = "Oleg Grenrus <oleg.grenrus@iki.fi>"; | ||
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")) | ||
]; | ||
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")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
68 changes: 68 additions & 0 deletions
68
...e/cassava-0.5.3.2-r0-057df10379aec708cafafdf1c918b86a373d36113964b1a7bc26ec1ed4dee02c.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,68 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.12"; | ||
identifier = { name = "cassava"; version = "0.5.3.2"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "(c) 2012 Johan Tibell\n(c) 2012 Bryan O'Sullivan\n(c) 2011 MailRank, Inc."; | ||
maintainer = "https://github.com/haskell-hvr/cassava"; | ||
author = "Johan Tibell"; | ||
homepage = "https://github.com/haskell-hvr/cassava"; | ||
url = ""; | ||
synopsis = "A CSV parsing and encoding library"; | ||
description = "@cassava@ is a library for parsing and encoding [RFC 4180](https://tools.ietf.org/html/rfc4180)\ncompliant [comma-separated values (CSV)](https://en.wikipedia.org/wiki/Comma-separated_values) data,\nwhich is a textual line-oriented format commonly used for exchanging tabular data.\n\n@cassava@'s API includes support for\n\n- Index-based record-conversion\n- Name-based record-conversion\n- Typeclass directed conversion of fields and records\n- Built-in field-conversion instances for standard types\n- Customizable record-conversion instance derivation via GHC generics\n- Low-level [bytestring](https://hackage.haskell.org/package/bytestring) builders (see \"Data.Csv.Builder\")\n- Incremental decoding and encoding API (see \"Data.Csv.Incremental\")\n- Streaming API for constant-space decoding (see \"Data.Csv.Streaming\")\n\nMoreover, this library is designed to be easy to use; for instance, here's a\nvery simple example of encoding CSV data:\n\n>>> Data.Csv.encode [(\"John\",27),(\"Jane\",28)]\n\"John,27\\r\\nJane,28\\r\\n\"\n\nPlease refer to the documentation in \"Data.Csv\" and the included [README](#readme) for more usage examples."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."array" or (errorHandler.buildDepError "array")) | ||
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) | ||
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."text-short" or (errorHandler.buildDepError "text-short")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
(hsPkgs."Only" or (errorHandler.buildDepError "Only")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"unit-tests" = { | ||
depends = [ | ||
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."cassava" or (errorHandler.buildDepError "cassava")) | ||
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) | ||
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."quickcheck-instances" or (errorHandler.buildDepError "quickcheck-instances")) | ||
(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")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
41 changes: 41 additions & 0 deletions
41
...-elevator-0.1.0.2-r0-e74670e82549f775b44615fc85efd18b046ffcde13dd070892fa093aa0fb514e.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.4"; | ||
identifier = { name = "data-elevator"; version = "0.1.0.2"; }; | ||
license = "MIT"; | ||
copyright = "2022"; | ||
maintainer = "sgraf1337@gmail.com"; | ||
author = "Sebastian Graf"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "Coerce between unlifted boxed and lifted types."; | ||
description = "Near zero-cost coercions between unlifted boxed and lifted types.\nThere are 3 main ingredients to this library:\n(1) a newtype @Strict :: LiftedType -> UnliftedType@,\n(2) a newtype @Lazy :: UnliftedType -> LiftedType@, and\n(3) a coercion function @levCoerce@ to coerce existing functions\ninto accepting @Strict@ wrapper."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"data-elevator-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."data-elevator" or (errorHandler.buildDepError "data-elevator")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
121 changes: 121 additions & 0 deletions
121
...e/hakyll-4.16.2.2-r1-7d988f16551bf928eae479310025c845e3f7ad2164e1da914fd1a1e581e92e82.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,121 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { | ||
previewserver = true; | ||
watchserver = true; | ||
checkexternal = true; | ||
buildwebsite = false; | ||
usepandoc = true; | ||
}; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "hakyll"; version = "4.16.2.2"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "Jasper Van der Jeugt <m@jaspervdj.be>"; | ||
author = "Jasper Van der Jeugt <m@jaspervdj.be>"; | ||
homepage = "http://jaspervdj.be/hakyll"; | ||
url = ""; | ||
synopsis = "A static website compiler library"; | ||
description = "Hakyll is a static website compiler library. It provides you with the tools to\ncreate a simple or advanced static website using a Haskell DSL and formats\nsuch as markdown or RST. You can find more information, including a tutorial,\non the website:\n\n* <http://jaspervdj.be/hakyll>\n\nIf you seek assistance, there's:\n\n* A google group: <http://groups.google.com/group/hakyll>\n\n* An IRC channel, @#hakyll@ on irc.libera.chat (we *do not* have a channel on Freenode anymore)\n\nAdditionally, there's the Haddock documentation in the different modules,\nmeant as a reference."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = ((([ | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."binary" or (errorHandler.buildDepError "binary")) | ||
(hsPkgs."blaze-html" or (errorHandler.buildDepError "blaze-html")) | ||
(hsPkgs."blaze-markup" or (errorHandler.buildDepError "blaze-markup")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."file-embed" or (errorHandler.buildDepError "file-embed")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) | ||
(hsPkgs."lrucache" or (errorHandler.buildDepError "lrucache")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."network-uri" or (errorHandler.buildDepError "network-uri")) | ||
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) | ||
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) | ||
(hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
(hsPkgs."random" or (errorHandler.buildDepError "random")) | ||
(hsPkgs."regex-tdfa" or (errorHandler.buildDepError "regex-tdfa")) | ||
(hsPkgs."resourcet" or (errorHandler.buildDepError "resourcet")) | ||
(hsPkgs."scientific" or (errorHandler.buildDepError "scientific")) | ||
(hsPkgs."tagsoup" or (errorHandler.buildDepError "tagsoup")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
(hsPkgs."time-locale-compat" or (errorHandler.buildDepError "time-locale-compat")) | ||
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
(hsPkgs."wai-app-static" or (errorHandler.buildDepError "wai-app-static")) | ||
(hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) | ||
] ++ pkgs.lib.optionals (flags.previewserver) [ | ||
(hsPkgs."wai" or (errorHandler.buildDepError "wai")) | ||
(hsPkgs."warp" or (errorHandler.buildDepError "warp")) | ||
(hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) | ||
(hsPkgs."fsnotify" or (errorHandler.buildDepError "fsnotify")) | ||
]) ++ pkgs.lib.optional (flags.watchserver) (hsPkgs."fsnotify" or (errorHandler.buildDepError "fsnotify"))) ++ pkgs.lib.optionals (flags.checkexternal) [ | ||
(hsPkgs."http-conduit" or (errorHandler.buildDepError "http-conduit")) | ||
(hsPkgs."http-types" or (errorHandler.buildDepError "http-types")) | ||
]) ++ pkgs.lib.optional (flags.usepandoc) (hsPkgs."pandoc" or (errorHandler.buildDepError "pandoc")); | ||
buildable = true; | ||
}; | ||
exes = { | ||
"hakyll-init" = { | ||
depends = [ | ||
(hsPkgs."hakyll" or (errorHandler.buildDepError "hakyll")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
]; | ||
buildable = true; | ||
}; | ||
"hakyll-website" = { | ||
depends = [ | ||
(hsPkgs."hakyll" or (errorHandler.buildDepError "hakyll")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."pandoc" or (errorHandler.buildDepError "pandoc")) | ||
]; | ||
buildable = if flags.buildwebsite then true else false; | ||
}; | ||
}; | ||
tests = { | ||
"hakyll-tests" = { | ||
depends = [ | ||
(hsPkgs."hakyll" or (errorHandler.buildDepError "hakyll")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-golden" or (errorHandler.buildDepError "tasty-golden")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."tagsoup" or (errorHandler.buildDepError "tagsoup")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers")) | ||
(hsPkgs."yaml" or (errorHandler.buildDepError "yaml")) | ||
] ++ pkgs.lib.optional (flags.usepandoc) (hsPkgs."pandoc" or (errorHandler.buildDepError "pandoc")); | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.