-
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 16, 2023
1 parent
c1d90e1
commit cda2647
Showing
85 changed files
with
2,866 additions
and
21 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
103 changes: 103 additions & 0 deletions
103
...arithmoi-0.13.0.0-r2-fbdb6cc7ea860cf7e15eae35c11f79d64b6d4a811a6343a5755a586437bfbf3b.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,103 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.0"; | ||
identifier = { name = "arithmoi"; version = "0.13.0.0"; }; | ||
license = "MIT"; | ||
copyright = "(c) 2016-2021 Andrew Lelechenko, 2016-2019 Carter Schonwald, 2011 Daniel Fischer"; | ||
maintainer = "Andrew Lelechenko <andrew.lelechenko@gmail.com>"; | ||
author = "Andrew Lelechenko, Daniel Fischer"; | ||
homepage = "https://github.com/Bodigrim/arithmoi"; | ||
url = ""; | ||
synopsis = "Efficient basic number-theoretic functions."; | ||
description = "A library of basic functionality needed for\nnumber-theoretic calculations. The aim of this library\nis to provide efficient implementations of the functions.\nPrimes and related things (totients, factorisation),\npowers (integer roots and tests, modular exponentiation)."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."array" or (errorHandler.buildDepError "array")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."chimera" or (errorHandler.buildDepError "chimera")) | ||
(hsPkgs."constraints" or (errorHandler.buildDepError "constraints")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."exact-pi" or (errorHandler.buildDepError "exact-pi")) | ||
(hsPkgs."ghc-bignum" or (errorHandler.buildDepError "ghc-bignum")) | ||
(hsPkgs."infinite-list" or (errorHandler.buildDepError "infinite-list")) | ||
(hsPkgs."integer-logarithms" or (errorHandler.buildDepError "integer-logarithms")) | ||
(hsPkgs."integer-roots" or (errorHandler.buildDepError "integer-roots")) | ||
(hsPkgs."mod" or (errorHandler.buildDepError "mod")) | ||
(hsPkgs."random" or (errorHandler.buildDepError "random")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."semirings" or (errorHandler.buildDepError "semirings")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"arithmoi-tests" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."arithmoi" or (errorHandler.buildDepError "arithmoi")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."exact-pi" or (errorHandler.buildDepError "exact-pi")) | ||
(hsPkgs."infinite-list" or (errorHandler.buildDepError "infinite-list")) | ||
(hsPkgs."integer-roots" or (errorHandler.buildDepError "integer-roots")) | ||
(hsPkgs."mod" or (errorHandler.buildDepError "mod")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."quickcheck-classes" or (errorHandler.buildDepError "quickcheck-classes")) | ||
(hsPkgs."random" or (errorHandler.buildDepError "random")) | ||
(hsPkgs."semirings" or (errorHandler.buildDepError "semirings")) | ||
(hsPkgs."smallcheck" or (errorHandler.buildDepError "smallcheck")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
(hsPkgs."tasty-rerun" or (errorHandler.buildDepError "tasty-rerun")) | ||
(hsPkgs."tasty-smallcheck" or (errorHandler.buildDepError "tasty-smallcheck")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
benchmarks = { | ||
"arithmoi-bench" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."arithmoi" or (errorHandler.buildDepError "arithmoi")) | ||
(hsPkgs."array" or (errorHandler.buildDepError "array")) | ||
(hsPkgs."constraints" or (errorHandler.buildDepError "constraints")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."infinite-list" or (errorHandler.buildDepError "infinite-list")) | ||
(hsPkgs."integer-logarithms" or (errorHandler.buildDepError "integer-logarithms")) | ||
(hsPkgs."mod" or (errorHandler.buildDepError "mod")) | ||
(hsPkgs."random" or (errorHandler.buildDepError "random")) | ||
(hsPkgs."semirings" or (errorHandler.buildDepError "semirings")) | ||
(hsPkgs."tasty-bench" or (errorHandler.buildDepError "tasty-bench")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
]; | ||
buildable = true; | ||
}; | ||
"arithmoi-sequence-model" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."arithmoi" or (errorHandler.buildDepError "arithmoi")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."hmatrix-gsl" or (errorHandler.buildDepError "hmatrix-gsl")) | ||
]; | ||
buildable = false; | ||
}; | ||
}; | ||
}; | ||
} |
60 changes: 60 additions & 0 deletions
60
...-builder-0.2.7.11-r0-ad8e82ec0fd5acbf20c3f7ba77ae0da60074e1d78e1b5290620b66da79af8fe8.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,60 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "3.0"; | ||
identifier = { name = "bytestring-tree-builder"; version = "0.2.7.11"; }; | ||
license = "MIT"; | ||
copyright = "(c) 2015, Nikita Volkov"; | ||
maintainer = "Nikita Volkov <nikita.y.volkov@mail.ru>"; | ||
author = "Nikita Volkov <nikita.y.volkov@mail.ru>"; | ||
homepage = "https://github.com/nikita-volkov/bytestring-tree-builder"; | ||
url = ""; | ||
synopsis = "A very efficient ByteString builder implementation based on the binary tree"; | ||
description = "According to\n<https://github.com/nikita-volkov/bytestring-builders-benchmark the benchmarks>\nthis builder implementation beats all the alternatives.\nIt is especially well-suited for generating strict bytestrings,\nbeating the standard builder by at least the factor of 4."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"tasty" = { | ||
depends = [ | ||
(hsPkgs."base-prelude" or (errorHandler.buildDepError "base-prelude")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."bytestring-tree-builder" or (errorHandler.buildDepError "bytestring-tree-builder")) | ||
(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")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
benchmarks = { | ||
"benchmark" = { | ||
depends = [ | ||
(hsPkgs."base-prelude" or (errorHandler.buildDepError "base-prelude")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."bytestring-tree-builder" or (errorHandler.buildDepError "bytestring-tree-builder")) | ||
(hsPkgs."criterion" or (errorHandler.buildDepError "criterion")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
69 changes: 69 additions & 0 deletions
69
...e/chimera-0.3.4.0-r0-46e178c4dd283e271716d056e97add3adfa62aaff5303369685d8d3f23087a88.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,69 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { representable = true; }; | ||
package = { | ||
specVersion = "2.0"; | ||
identifier = { name = "chimera"; version = "0.3.4.0"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "2017-2019 Bodigrim"; | ||
maintainer = "andrew.lelechenko@gmail.com"; | ||
author = "Bodigrim"; | ||
homepage = "https://github.com/Bodigrim/chimera#readme"; | ||
url = ""; | ||
synopsis = "Lazy infinite streams with O(1) indexing and applications for memoization"; | ||
description = "There are plenty of memoizing libraries on Hackage, but they\nusually fall into two categories:\n\n* Store cache as a flat array, enabling us\nto obtain cached values in O(1) time, which is nice.\nThe drawback is that one must specify the size\nof the array beforehand,\nlimiting an interval of inputs,\nand actually allocate it at once.\n* Store cache as a lazy binary tree.\nThanks to laziness, one can freely use the full range of inputs.\nThe drawback is that obtaining values from a tree\ntakes logarithmic time and is unfriendly to CPU cache,\nwhich kinda defeats the purpose.\n\nThis package intends to tackle both issues,\nproviding a data type 'Chimera' for\nlazy infinite compact streams with cache-friendly O(1) indexing.\n\nAdditional features include:\n\n* memoization of recursive functions and recurrent sequences,\n* memoization of functions of several, possibly signed arguments,\n* efficient memoization of boolean predicates."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."infinite-list" or (errorHandler.buildDepError "infinite-list")) | ||
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
] ++ (pkgs.lib).optionals (flags.representable) [ | ||
(hsPkgs."adjunctions" or (errorHandler.buildDepError "adjunctions")) | ||
(hsPkgs."distributive" or (errorHandler.buildDepError "distributive")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"chimera-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."chimera" or (errorHandler.buildDepError "chimera")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
(hsPkgs."tasty-smallcheck" or (errorHandler.buildDepError "tasty-smallcheck")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
benchmarks = { | ||
"chimera-bench" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."chimera" or (errorHandler.buildDepError "chimera")) | ||
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl")) | ||
(hsPkgs."random" or (errorHandler.buildDepError "random")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-bench" or (errorHandler.buildDepError "tasty-bench")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
48 changes: 48 additions & 0 deletions
48
...olourista-0.1.0.2-r3-258b8facd91c2cddbe93670cb2d85bfda42af88e8dfb3bde4346e78ec8cf07e0.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,48 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.4"; | ||
identifier = { name = "colourista"; version = "0.1.0.2"; }; | ||
license = "MPL-2.0"; | ||
copyright = "2020-2022 Kowainik"; | ||
maintainer = "Kowainik <xrom.xkov@gmail.com>"; | ||
author = "Veronika Romashkina, Dmitrii Kovanikov"; | ||
homepage = "https://github.com/kowainik/colourista"; | ||
url = ""; | ||
synopsis = "Convenient interface for printing colourful messages"; | ||
description = "Convenient interface for printing colourful messages based on the @ansi-terminal@ library."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"colourista-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."colourista" or (errorHandler.buildDepError "colourista")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
48 changes: 48 additions & 0 deletions
48
...rray-byte-0.1.0.1-r2-ad89e28b2b046175698fbf542af2ce43e5d2af50aae9f48d12566b1bb3de1d3c.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,48 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "data-array-byte"; version = "0.1.0.1"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "(c) Roman Leshchinskiy 2009-2012"; | ||
maintainer = "andrew.lelechenko@gmail.com"; | ||
author = "Roman Leshchinskiy <rl@cse.unsw.edu.au>"; | ||
homepage = "https://github.com/Bodigrim/data-array-byte"; | ||
url = ""; | ||
synopsis = "Compatibility layer for Data.Array.Byte"; | ||
description = "Compatibility layer for [Data.Array.Byte](https://hackage.haskell.org/package/base/docs/Data-Array-Byte.html), providing boxed wrappers for @ByteArray#@ and @MutableByteArray#@ and relevant instances for GHC < 9.4. Include it into your Cabal file:\n\n> build-depends: base\n> if impl(ghc < 9.4)\n> build-depends: data-array-byte\n\nand then @import Data.Array.Byte@ unconditionally."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"data-array-byte-tests" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."data-array-byte" or (errorHandler.buildDepError "data-array-byte")) | ||
(hsPkgs."quickcheck-classes-base" or (errorHandler.buildDepError "quickcheck-classes-base")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
35 changes: 35 additions & 0 deletions
35
.../day-comonoid-0.1-r0-596cf691e6713142ce1f82653e0dbf45e1474e11f7337b448e707fb417a76cbc.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,35 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "2.2"; | ||
identifier = { name = "day-comonoid"; version = "0.1"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "Koji Miyazato"; | ||
maintainer = "viercc@gmail.com"; | ||
author = "Koji Miyazato"; | ||
homepage = "https://github.com/viercc/functor-monad/tree/main/day-comonoid"; | ||
url = ""; | ||
synopsis = "A comonoid w.r.t. Day"; | ||
description = "A type class Comonoid to represend a comonoid w.r.t. Day,\njust like Applicative is a type class of monoid w.r.t. Day.\nSee README.md for more information."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."kan-extensions" or (errorHandler.buildDepError "kan-extensions")) | ||
(hsPkgs."comonad" or (errorHandler.buildDepError "comonad")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.