-
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
Jul 6, 2024
1 parent
b7a8cc3
commit d804e90
Showing
52 changed files
with
2,133 additions
and
18 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
64 changes: 64 additions & 0 deletions
64
...ge/HaTeX-3.22.4.2-r0-463a8cffb1972c8a8dec868092f7e009d6c5561cd72a1581ae9c2f9ecaef672b.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,64 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.18"; | ||
identifier = { name = "HaTeX"; version = "3.22.4.2"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "Daniel Casanueva (daniel.casanueva `at` proton.me)"; | ||
author = "Daniel Casanueva (daniel.casanueva `at` proton.me)"; | ||
homepage = "https://gitlab.com/daniel-casanueva/haskell/HaTeX"; | ||
url = ""; | ||
synopsis = "The Haskell LaTeX library."; | ||
description = "This library implements the LaTeX syntax and provides some useful abstractions.\n\nSome of the things you can do with HaTeX are:\n\n* Write LaTeX documents with all the advantages you already have in Haskell: recursion,\ntype system, high order functions, ...\n\n* Create a LaTeX backend for your own program.\n\n* Parse a LaTeX file and obtain its Abstract Syntax Tree (AST).\n\n* Pretty-print Haskell values in LaTeX.\n\n* Generate TikZ scripts (images!) easily.\n\nBrowse the @examples@ directory in the source distribution to see some simple examples.\nIt might help you to get started.\n\nIf you prefer to write in LaTeX and all you want is to /program/ some parts of the document,\nor if you already have the LaTeX document written and you just want to add some automatically\ngenerated LaTeX code somewhere, check haskintex: <https://daniel-casanueva.gitlab.io/haskell/haskintex>.\nIt allows you to embed Haskell in LaTeX. It also makes it easy to use HaTeX within a LaTeX document."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = ([ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) | ||
(hsPkgs."bibtex" or (errorHandler.buildDepError "bibtex")) | ||
(hsPkgs."matrix" or (errorHandler.buildDepError "matrix")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) | ||
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) | ||
] ++ pkgs.lib.optional (compiler.isGhc && compiler.version.lt "7.6") (hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))) ++ pkgs.lib.optional (compiler.isGhc && compiler.version.lt "8.0") (hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")); | ||
buildable = true; | ||
}; | ||
tests = { | ||
"hatex-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."HaTeX" or (errorHandler.buildDepError "HaTeX")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck")) | ||
(hsPkgs."parsec" or (errorHandler.buildDepError "parsec")) | ||
]; | ||
buildable = true; | ||
}; | ||
"parser-tests" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."HaTeX" or (errorHandler.buildDepError "HaTeX")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
47 changes: 47 additions & 0 deletions
47
...approximate-0.3.5-r4-64e3063514f0c2adf88797f352af6d131b26001c3d2b15ae74a8a2147c50632c.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 = { herbie = false; }; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "approximate"; version = "0.3.5"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "Copyright (C) 2013 Edward A. Kmett"; | ||
maintainer = "Edward A. Kmett <[email protected]>"; | ||
author = "Edward A. Kmett"; | ||
homepage = "http://github.com/analytics/approximate/"; | ||
url = ""; | ||
synopsis = "Approximate discrete values and numbers"; | ||
description = "This package provides approximate discrete values and numbers."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."binary" or (errorHandler.buildDepError "binary")) | ||
(hsPkgs."bytes" or (errorHandler.buildDepError "bytes")) | ||
(hsPkgs."cereal" or (errorHandler.buildDepError "cereal")) | ||
(hsPkgs."comonad" or (errorHandler.buildDepError "comonad")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) | ||
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) | ||
(hsPkgs."lens" or (errorHandler.buildDepError "lens")) | ||
(hsPkgs."log-domain" or (errorHandler.buildDepError "log-domain")) | ||
(hsPkgs."pointed" or (errorHandler.buildDepError "pointed")) | ||
(hsPkgs."semigroupoids" or (errorHandler.buildDepError "semigroupoids")) | ||
(hsPkgs."semigroups" or (errorHandler.buildDepError "semigroups")) | ||
(hsPkgs."safecopy" or (errorHandler.buildDepError "safecopy")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
] ++ pkgs.lib.optional (flags.herbie) (hsPkgs."HerbiePlugin" or (errorHandler.buildDepError "HerbiePlugin")); | ||
buildable = true; | ||
}; | ||
}; | ||
} |
47 changes: 47 additions & 0 deletions
47
...auto-update-0.2.1-r0-d5fd6cea8c8bf54a0fcd52946d4ca6a78b3ce8261832e08a4de001df5fb3e3ea.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 = "1.10"; | ||
identifier = { name = "auto-update"; version = "0.2.1"; }; | ||
license = "MIT"; | ||
copyright = ""; | ||
maintainer = "[email protected]"; | ||
author = "Michael Snoyman"; | ||
homepage = "https://github.com/yesodweb/wai"; | ||
url = ""; | ||
synopsis = "Efficiently run periodic, on-demand actions"; | ||
description = "API docs and the README are available at <http://www.stackage.org/package/auto-update>."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ (hsPkgs."base" or (errorHandler.buildDepError "base")) ]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"spec" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."auto-update" or (errorHandler.buildDepError "auto-update")) | ||
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."retry" or (errorHandler.buildDepError "retry")) | ||
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) | ||
]; | ||
build-tools = [ | ||
(hsPkgs.buildPackages.hspec-discover.components.exes.hspec-discover or (pkgs.buildPackages.hspec-discover or (errorHandler.buildToolDepError "hspec-discover:hspec-discover"))) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
88 changes: 88 additions & 0 deletions
88
hackage/bound-2.0.7-r2-fb4d482f003f2f2f47c03f6ba0c0d02fd7b6338fc3a874b1d4a39a30ae389808.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,88 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { template-haskell = true; }; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "bound"; version = "2.0.7"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "Copyright (C) 2012-2013 Edward A. Kmett"; | ||
maintainer = "Edward A. Kmett <[email protected]>"; | ||
author = "Edward A. Kmett"; | ||
homepage = "http://github.com/ekmett/bound/"; | ||
url = ""; | ||
synopsis = "Making de Bruijn Succ Less"; | ||
description = "We represent the target language itself as an ideal monad supplied by the\nuser, and provide a 'Scope' monad transformer for introducing bound variables\nin user supplied terms. Users supply a 'Monad' and 'Traversable' instance,\nand we traverse to find free variables, and use the Monad to perform\nsubstitution that avoids bound variables.\n\nSlides describing and motivating this approach to name binding are available\nonline at:\n\n<http://www.slideshare.net/ekmett/bound-making-de-bruijn-succ-less>\n\nThe goal of this package is to make it as easy as possible to deal with name\nbinding without forcing an awkward monadic style on the user.\n\nWith generalized de Bruijn term you can 'lift' whole trees instead of just\napplying 'succ' to individual variables, weakening the all variables bound\nby a scope and greatly speeding up instantiation. By giving binders more\nstructure we permit easy simultaneous substitution and further speed up\ninstantiation."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bifunctors" or (errorHandler.buildDepError "bifunctors")) | ||
(hsPkgs."binary" or (errorHandler.buildDepError "binary")) | ||
(hsPkgs."bytes" or (errorHandler.buildDepError "bytes")) | ||
(hsPkgs."cereal" or (errorHandler.buildDepError "cereal")) | ||
(hsPkgs."comonad" or (errorHandler.buildDepError "comonad")) | ||
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable")) | ||
(hsPkgs."mmorph" or (errorHandler.buildDepError "mmorph")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."profunctors" or (errorHandler.buildDepError "profunctors")) | ||
(hsPkgs."th-abstraction" or (errorHandler.buildDepError "th-abstraction")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."transformers-compat" or (errorHandler.buildDepError "transformers-compat")) | ||
] ++ pkgs.lib.optional (flags.template-haskell && (compiler.isGhc && true)) (hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")); | ||
buildable = true; | ||
}; | ||
tests = { | ||
"Simple" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bound" or (errorHandler.buildDepError "bound")) | ||
(hsPkgs."deriving-compat" or (errorHandler.buildDepError "deriving-compat")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."transformers-compat" or (errorHandler.buildDepError "transformers-compat")) | ||
]; | ||
buildable = true; | ||
}; | ||
"Overkill" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bound" or (errorHandler.buildDepError "bound")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."transformers-compat" or (errorHandler.buildDepError "transformers-compat")) | ||
(hsPkgs."vector" or (errorHandler.buildDepError "vector")) | ||
]; | ||
buildable = if !(compiler.isGhc && compiler.version.ge "7.8") | ||
then false | ||
else true; | ||
}; | ||
"Deriving" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bound" or (errorHandler.buildDepError "bound")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."transformers-compat" or (errorHandler.buildDepError "transformers-compat")) | ||
]; | ||
buildable = true; | ||
}; | ||
"Imperative" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bound" or (errorHandler.buildDepError "bound")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."transformers-compat" or (errorHandler.buildDepError "transformers-compat")) | ||
(hsPkgs."void" or (errorHandler.buildDepError "void")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.