-
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 29, 2024
1 parent
bafe1b0
commit d1a4c21
Showing
57 changed files
with
2,177 additions
and
17 deletions.
There are no files selected for viewing
42 changes: 42 additions & 0 deletions
42
.../MicroHs-0.10.4.0-r0-e4b3dc6d7729b2394ee52d59f62fb6cd2ad655f8f9c7dc2d51ebb0e2c417c86c.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,42 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "3.0"; | ||
identifier = { name = "MicroHs"; version = "0.10.4.0"; }; | ||
license = "Apache-2.0"; | ||
copyright = "2023,2024 Lennart Augustsson"; | ||
maintainer = "lennart@augustsson.net"; | ||
author = "lennart@augustsson.net"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "A small compiler for Haskell"; | ||
description = "A compiler for an extended subset of Haskell-2010.\nThe compiler translates to combinators and can compile itself."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
exes = { | ||
"mhs" = { | ||
depends = pkgs.lib.optionals (compiler.isGhc && true) [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim")) | ||
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline")) | ||
(hsPkgs."time" or (errorHandler.buildDepError "time")) | ||
(hsPkgs."process" or (errorHandler.buildDepError "process")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
51 changes: 51 additions & 0 deletions
51
...ge/NanoID-3.4.0.2-r2-accf888de0892f56d7a0fab7e782746758a3dc75249e7e83addcb70ad85c6279.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,51 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "NanoID"; version = "3.4.0.2"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "(c) 2021-2024 - Michel Boucey"; | ||
maintainer = "michel.boucey@gmail.com"; | ||
author = "Michel Boucey"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "NanoID generator"; | ||
description = "Library and CLI tool for NanoID generation"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."cereal" or (errorHandler.buildDepError "cereal")) | ||
(hsPkgs."extra" or (errorHandler.buildDepError "extra")) | ||
(hsPkgs."mwc-random" or (errorHandler.buildDepError "mwc-random")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
exes = { | ||
"nanoid" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."mwc-random" or (errorHandler.buildDepError "mwc-random")) | ||
(hsPkgs."NanoID" or (errorHandler.buildDepError "NanoID")) | ||
(hsPkgs."optparse-applicative" or (errorHandler.buildDepError "optparse-applicative")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
64 changes: 64 additions & 0 deletions
64
.../WidgetRattus-0.3-r0-7dafeb759d72d404762b5e142dbfaad107b5a3b97f0be79620a3bd596c3df5a0.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 = "WidgetRattus"; version = "0.3"; }; | ||
license = "BSD-3-Clause"; | ||
copyright = "Copyright (C) 2024 Emil Houlborg, Gregers Rørdam, Patrick Bahr, Jean-Claude Sebastian Disch, Asger Lademark Heegaard"; | ||
maintainer = "Patrick Bahr <paba@itu.dk>"; | ||
author = "Emil Houlborg, Gregers Rørdam, Patrick Bahr, Jean-Claude Sebastian Disch, Asger Lademark Heegaard"; | ||
homepage = "https://github.com/pa-ba/AsyncRattus/tree/WidgetRattus"; | ||
url = ""; | ||
synopsis = "An asynchronous modal FRP language for GUI programming"; | ||
description = "This library implements an experimental variant of the Async Rattus\nprogramming language that features extensions for implementing GUIs.\nA comprehensive introduction can be found in this\n<src/docs/paper.pdf paper>.\n\nSeveral example GUIs implemented using Widget Rattus can be found\n<https://github.com/pa-ba/AsyncRattus/tree/WidgetRattus/examples/gui here>."; | ||
buildType = "Custom"; | ||
setup-depends = [ | ||
(hsPkgs.pkgsBuildBuild.base or (pkgs.pkgsBuildBuild.base or (errorHandler.setupDepError "base"))) | ||
(hsPkgs.pkgsBuildBuild.Cabal or (pkgs.pkgsBuildBuild.Cabal or (errorHandler.setupDepError "Cabal"))) | ||
]; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc")) | ||
(hsPkgs."ghc-boot" or (errorHandler.buildDepError "ghc-boot")) | ||
(hsPkgs."hashtables" or (errorHandler.buildDepError "hashtables")) | ||
(hsPkgs."simple-affine-space" or (errorHandler.buildDepError "simple-affine-space")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."monomer" or (errorHandler.buildDepError "monomer")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"ill-typed" = { | ||
depends = [ | ||
(hsPkgs."WidgetRattus" or (errorHandler.buildDepError "WidgetRattus")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
]; | ||
buildable = true; | ||
}; | ||
"well-typed" = { | ||
depends = [ | ||
(hsPkgs."WidgetRattus" or (errorHandler.buildDepError "WidgetRattus")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
37 changes: 37 additions & 0 deletions
37
.../alex-tools-0.6.1-r3-10581276d4a6548534e34fd974457cc26a1dad3ad931baa8784a8250351e1408.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,37 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.10"; | ||
identifier = { name = "alex-tools"; version = "0.6.1"; }; | ||
license = "ISC"; | ||
copyright = "Iavor S. Diatchki, 2016"; | ||
maintainer = "iavor.diatchki@gmail.com"; | ||
author = "Iavor S. Diatchki"; | ||
homepage = ""; | ||
url = ""; | ||
synopsis = "A set of functions for a common use case of Alex."; | ||
description = "This captures a common pattern for using Alex."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."text" or (errorHandler.buildDepError "text")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq")) | ||
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
} |
94 changes: 94 additions & 0 deletions
94
...age/argon-0.4.2.0-r0-18c841b3f5b0e2e07a1a7b6d41812f8f1744525792916eb47772e91d6f924be5.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,94 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "1.18"; | ||
identifier = { name = "argon"; version = "0.4.2.0"; }; | ||
license = "ISC"; | ||
copyright = "2015 Michele Lacchia"; | ||
maintainer = "michelelacchia@gmail.com"; | ||
author = "Michele Lacchia"; | ||
homepage = "http://github.com/rubik/argon"; | ||
url = ""; | ||
synopsis = "Measure your code's complexity"; | ||
description = "Argon performs static analysis on your code in order to compute cyclomatic\ncomplexity. It is a quantitative measure of the number of linearly\nindipendent paths through the code.\n\nThe intended usage is through Argon's executable, which accepts a list of\nfiles or directories to analyze. The data can be optionally exported to\nJSON."; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring")) | ||
(hsPkgs."pipes" or (errorHandler.buildDepError "pipes")) | ||
(hsPkgs."pipes-group" or (errorHandler.buildDepError "pipes-group")) | ||
(hsPkgs."pipes-safe" or (errorHandler.buildDepError "pipes-safe")) | ||
(hsPkgs."pipes-bytestring" or (errorHandler.buildDepError "pipes-bytestring")) | ||
(hsPkgs."lens-simple" or (errorHandler.buildDepError "lens-simple")) | ||
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc")) | ||
(hsPkgs."ghc-boot" or (errorHandler.buildDepError "ghc-boot")) | ||
(hsPkgs."ghc-paths" or (errorHandler.buildDepError "ghc-paths")) | ||
(hsPkgs."ghc-syb-utils" or (errorHandler.buildDepError "ghc-syb-utils")) | ||
(hsPkgs."syb" or (errorHandler.buildDepError "syb")) | ||
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal")) | ||
(hsPkgs."containers" or (errorHandler.buildDepError "containers")) | ||
(hsPkgs."directory" or (errorHandler.buildDepError "directory")) | ||
(hsPkgs."system-filepath" or (errorHandler.buildDepError "system-filepath")) | ||
(hsPkgs."dirstream" or (errorHandler.buildDepError "dirstream")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
]; | ||
buildable = if compiler.isGhc && compiler.version.lt "7.8" | ||
then false | ||
else true; | ||
}; | ||
exes = { | ||
"argon" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."argon" or (errorHandler.buildDepError "argon")) | ||
(hsPkgs."docopt" or (errorHandler.buildDepError "docopt")) | ||
(hsPkgs."pipes" or (errorHandler.buildDepError "pipes")) | ||
(hsPkgs."pipes-safe" or (errorHandler.buildDepError "pipes-safe")) | ||
]; | ||
buildable = if compiler.isGhc && compiler.version.lt "7.8" | ||
then false | ||
else true; | ||
}; | ||
}; | ||
tests = { | ||
"argon-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."argon" or (errorHandler.buildDepError "argon")) | ||
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal")) | ||
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc")) | ||
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson")) | ||
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec")) | ||
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck")) | ||
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath")) | ||
(hsPkgs."pipes" or (errorHandler.buildDepError "pipes")) | ||
(hsPkgs."pipes-safe" or (errorHandler.buildDepError "pipes-safe")) | ||
]; | ||
buildable = if compiler.isGhc && compiler.version.lt "7.8" | ||
then false | ||
else true; | ||
}; | ||
"style" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."hlint" or (errorHandler.buildDepError "hlint")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
33 changes: 33 additions & 0 deletions
33
.../bluefin-0.0.10.0-r0-b2ecca977719acce86cd9c10462a280a546ef1202cd690a979e3795c61c9e2b3.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,33 @@ | ||
{ system | ||
, compiler | ||
, flags | ||
, pkgs | ||
, hsPkgs | ||
, pkgconfPkgs | ||
, errorHandler | ||
, config | ||
, ... }: | ||
{ | ||
flags = {}; | ||
package = { | ||
specVersion = "3.0"; | ||
identifier = { name = "bluefin"; version = "0.0.10.0"; }; | ||
license = "MIT"; | ||
copyright = ""; | ||
maintainer = "Tom Ellis"; | ||
author = "Tom Ellis"; | ||
homepage = "https://github.com/tomjaguarpaw/bluefin"; | ||
url = ""; | ||
synopsis = "The Bluefin effect system"; | ||
description = "The Bluefin effect system"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."bluefin-internal" or (errorHandler.buildDepError "bluefin-internal")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
} |
47 changes: 47 additions & 0 deletions
47
...internal-0.0.10.0-r0-b37a5c95bbda6cfd6862b01ed13607eb04677126422f66f71aeed7f44327e98f.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.0"; | ||
identifier = { name = "bluefin-internal"; version = "0.0.10.0"; }; | ||
license = "MIT"; | ||
copyright = ""; | ||
maintainer = "Tom Ellis"; | ||
author = "Tom Ellis"; | ||
homepage = "https://github.com/tomjaguarpaw/bluefin"; | ||
url = ""; | ||
synopsis = "The Bluefin effect system, internals"; | ||
description = "The Bluefin effect system, internals"; | ||
buildType = "Simple"; | ||
}; | ||
components = { | ||
"library" = { | ||
depends = [ | ||
(hsPkgs."async" or (errorHandler.buildDepError "async")) | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."unliftio-core" or (errorHandler.buildDepError "unliftio-core")) | ||
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers")) | ||
(hsPkgs."transformers-base" or (errorHandler.buildDepError "transformers-base")) | ||
(hsPkgs."monad-control" or (errorHandler.buildDepError "monad-control")) | ||
]; | ||
buildable = true; | ||
}; | ||
tests = { | ||
"bluefin-test" = { | ||
depends = [ | ||
(hsPkgs."base" or (errorHandler.buildDepError "base")) | ||
(hsPkgs."bluefin-internal" or (errorHandler.buildDepError "bluefin-internal")) | ||
]; | ||
buildable = true; | ||
}; | ||
}; | ||
}; | ||
} |
Oops, something went wrong.