-
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 30, 2023
1 parent
6226422
commit ce5ebe6
Showing
24 changed files
with
890 additions
and
4 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
50 changes: 50 additions & 0 deletions
50
hackage/alex-3.4.0.1-r0-9d88e2463b268dfd41e5c9d6964e28a1532bae3c70241de85460b84a4b5ac528.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,50 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "alex"; version = "3.4.0.1"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "(c) Chis Dornan, Simon Marlow"; | ||
maintainer = "https://github.com/haskell/alex"; | ||
author = "Chris Dornan and Simon Marlow"; | ||
homepage = "http://www.haskell.org/alex/"; | ||
url = ""; | ||
synopsis = "Alex is a tool for generating lexical analysers in Haskell"; | ||
description = "Alex is a tool for generating lexical analysers in Haskell.\nIt takes a description of tokens based on regular\nexpressions and generates a Haskell module containing code\nfor scanning text efficiently. It is similar to the tool\nlex or flex for C/C++."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
exes = { | ||
"alex" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."array" or (errorHandler.buildDepError "array")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
tests = { | ||
"tests" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
]; | ||
build-tools = [ | ||
(hsPkgs.buildPackages.alex.components.exes.alex or (pkgs.buildPackages.alex or (errorHandler.buildToolDepError "alex:alex"))) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
56 changes: 56 additions & 0 deletions
56
...sformations-0.2.2-r0-5f59b5a7f77df7e788f97a500b6ce8883dc624f68bed8dff01afdbd0977647d8.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 = "1.10"; | ||
identifier = { name = "deep-transformations"; version = "0.2.2"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "(c) 2019 Mario Blažević"; | ||
maintainer = "[email protected]"; | ||
author = "Mario Blažević"; | ||
homepage = "https://github.com/blamario/grampa/tree/master/deep-transformations"; | ||
url = ""; | ||
synopsis = "Deep natural and unnatural tree transformations, including attribute grammars"; | ||
description = "This library builds on the <http://hackage.haskell.org/package/rank2classes rank2classes> package to provide the\nequivalents of 'Functor' and related classes for heterogenous trees, including complex abstract syntax trees of\nreal-world programming languages.\n\nThe functionality includes attribute grammars in \"Transformation.AG\"."; | ||
buildType = "Custom"; | ||
setup-depends = [ | ||
(hsPkgs.buildPackages.base or (pkgs.buildPackages.base or (errorHandler.setupDepError "base"))) | ||
(hsPkgs.buildPackages.Cabal or (pkgs.buildPackages.Cabal or (errorHandler.setupDepError "Cabal"))) | ||
(hsPkgs.buildPackages.cabal-doctest or (pkgs.buildPackages.cabal-doctest or (errorHandler.setupDepError "cabal-doctest"))) | ||
]; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."rank2classes" or (errorHandler.buildDepError "rank2classes")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."generic-lens" or (errorHandler.buildDepError "generic-lens")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"doctests" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."rank2classes" or (errorHandler.buildDepError "rank2classes")) | ||
(hsPkgs."deep-transformations" or (errorHandler.buildDepError "deep-transformations")) | ||
(hsPkgs."doctest" or (errorHandler.buildDepError "doctest")) | ||
]; | ||
build-tools = [ | ||
(hsPkgs.buildPackages.markdown-unlit.components.exes.markdown-unlit or (pkgs.buildPackages.markdown-unlit or (errorHandler.buildToolDepError "markdown-unlit:markdown-unlit"))) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
67 changes: 67 additions & 0 deletions
67
...demangler-1.2.0.0-r0-6d77ac4a7d2e8fc537725243fe1f53fcf6363f797d06110b1e9c9bd8026a75da.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,67 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = { debug = false; }; | ||
package = { | ||
specVersion = "3.0"; | ||
identifier = { name = "demangler"; version = "1.2.0.0"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = ""; | ||
maintainer = "[email protected]"; | ||
author = "Galois, Inc."; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "Demangler for C++ mangled names."; | ||
description = "Provides a demangler (and mangler) for C++ names, with an intermediate\nrepresentation that captures the nuances of each composite name to allow\nfor semantic utilization of different portions of a name.\n.\nAlso provides text sharing for efficient storage of a large number of\ndemangled names.\n.\nSee https://itanium-cxx-abi.github.io/cxx-abi/abi.html#mangling for more\ndetails on mangling"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."lens" or (errorHandler.buildDepError "lens")) | ||
(hsPkgs."sayable" or (errorHandler.buildDepError "sayable")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
] ++ (pkgs.lib).optional (flags.debug) (hsPkgs."panic" or (errorHandler.buildDepError "panic")); | ||
buildable = true; | ||
}; | ||
exes = { | ||
"demangle" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."demangler" or (errorHandler.buildDepError "demangler")) | ||
(hsPkgs."sayable" or (errorHandler.buildDepError "sayable")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
tests = { | ||
"demangler-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."demangler" or (errorHandler.buildDepError "demangler")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter")) | ||
(hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
(hsPkgs."sayable" or (errorHandler.buildDepError "sayable")) | ||
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty")) | ||
(hsPkgs."tasty-hspec" or (errorHandler.buildDepError "tasty-hspec")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
46 changes: 46 additions & 0 deletions
46
...emigroups-0.1.0.0-r1-c5930812e742c999363d876c60cb5f95c72b50cb46c3cd76d0f30020d27062c1.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,46 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "3.0"; | ||
identifier = { name = "finite-semigroups"; version = "0.1.0.0"; }; | ||
license = "MIT"; | ||
copyright = "Copyright (c) 2023 Dakotah Lambert"; | ||
maintainer = "[email protected]"; | ||
author = "Dakotah Lambert"; | ||
homepage = "https://github.com/vvulpes0/finite-semigroups"; | ||
url = ""; | ||
synopsis = "Operations and classification for finite semigroups"; | ||
description = "This provides means to construct finite semigroups\nand determine which (ordered) pseudovarieties\nthey belong to. Some are predefined, but an\narbitrary variety can be specified by equations."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."safe" or (errorHandler.buildDepError "safe")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"finite-semigroups-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."HUnit" or (errorHandler.buildDepError "HUnit")) | ||
(hsPkgs."finite-semigroups" or (errorHandler.buildDepError "finite-semigroups")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
86 changes: 86 additions & 0 deletions
86
...e-toolkit-1.1.0.0-r2-1d21063858b73de676b0989633393157212ba7bb588a526378572f0c70b5a97d.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,86 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "language-toolkit"; version = "1.1.0.0"; }; | ||
license = "MIT"; | ||
copyright = "(c) 2014-2023 Dakotah Lambert"; | ||
maintainer = "Dakotah Lambert <[email protected]>"; | ||
author = "Dakotah Lambert, James Rogers"; | ||
homepage = "https://github.com/vvulpes0/Language-Toolkit-2"; | ||
url = ""; | ||
synopsis = "A set of tools for analyzing languages via logic and automata"; | ||
description = "This provides the Language Toolkit (LTK) library\nand associated executables.\nThere are four main components:\n\n* @factorize@,\nwhich takes as input a set of finite-state automata\nand writes out for each one a set of constraints\nthat approximates (or, if possible, defines) it.\n\n* @plebby@,\nan interactive theorem-prover in which one can\ndefine languages via logical constraints\nor import finite-state automata\nand get information about the languages so defined.\n\n* @classify@,\na command-line classification program useful\nfor batch jobs.\n\n* And the @LTK@ library,\nwhich includes the functions used by\n@factorize@ and @plebby@\nas well as several other useful tools.\n\nThis project began as a simple tool for working with\nfinite-state automata, and has grown considerably more\nuseful in working specifically with sub-regular languages\nas it has matured."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."parallel" or (errorHandler.buildDepError "parallel")) | ||
]; | ||
buildable = true; | ||
}; | ||
exes = { | ||
"dotify" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit")) | ||
]; | ||
buildable = true; | ||
}; | ||
"factorize" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
]; | ||
buildable = true; | ||
}; | ||
"make-non-strict-constraints" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."parallel" or (errorHandler.buildDepError "parallel")) | ||
]; | ||
buildable = true; | ||
}; | ||
"plebby" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit")) | ||
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline")) | ||
(hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
]; | ||
buildable = true; | ||
}; | ||
"classify" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."language-toolkit" or (errorHandler.buildDepError "language-toolkit")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.