Skip to content

Commit

Permalink
Automatic Update
Browse files Browse the repository at this point in the history
  • Loading branch information
IOHK committed Nov 24, 2023
1 parent fcfcc23 commit c62c413
Show file tree
Hide file tree
Showing 44 changed files with 1,529 additions and 8 deletions.
2 changes: 2 additions & 0 deletions default.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2081,6 +2081,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"apiary-redis" = import ./nix/apiary-redis.nix;
"apiary-session" = import ./nix/apiary-session.nix;
"apiary-websockets" = import ./nix/apiary-websockets.nix;
"apigen" = import ./nix/apigen.nix;
"apioiaf-client" = import ./nix/apioiaf-client.nix;
"apis" = import ./nix/apis.nix;
"apns-http2" = import ./nix/apns-http2.nix;
Expand Down Expand Up @@ -14100,6 +14101,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
"servant-wasm" = import ./nix/servant-wasm.nix;
"servant-websockets" = import ./nix/servant-websockets.nix;
"servant-xml" = import ./nix/servant-xml.nix;
"servant-xml-conduit" = import ./nix/servant-xml-conduit.nix;
"servant-xstatic" = import ./nix/servant-xstatic.nix;
"servant-yaml" = import ./nix/servant-yaml.nix;
"servant-zeppelin" = import ./nix/servant-zeppelin.nix;
Expand Down
61 changes: 61 additions & 0 deletions ...yncRattus-0.1.0.2-r0-4d8bc0a12de01a3be9a53f712cf6cedb1085f281e8724b23aa7be3185da6cc96.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,61 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.18";
identifier = { name = "AsyncRattus"; version = "0.1.0.2"; };
license = "BSD-3-Clause";
copyright = "Copyright (C) 2023 Emil Houlborg, Gregers Rørdam, Patrick Bahr";
maintainer = "Patrick Bahr <[email protected]>";
author = "Emil Houlborg, Gregers Rørdam, Patrick Bahr";
homepage = "https://github.com/pa-ba/AsyncRattus/";
url = "";
synopsis = "An asynchronous modal FRP language";
description = "This library implements the Async Rattus programming\nlanguage as an embedded DSL. To this end the library\nprovides a GHC plugin that checks the stricter typing\nrules of Async Rattus.\nWhat follows is a brief introduction to the language and\nits usage. A more detailed introduction can be found in\nthis <src/docs/paper.pdf paper>.\n\nAsync Rattus is a functional reactive programming (FRP)\nlanguage that uses modal types to express temporal\ndependencies. In return the language will guarantee that\nprograms are productive (in each computation step, the\nprogram makes progress), causal (output depends only on\ncurrent and earlier input), and have no space leaks\n(programs do not implicitly retain memory over time).\n\nThe modal type constructor @O@ (pronounced \"later\") is\nused to express the passage of time at the type\nlevel. Intuitively speaking, a value of type @O a@\nrepresents a computation that will produce a value of type\n@a@ in the next time step. Additionally, the language also\nfeatures the @Box@ modal type constructor. A value of type\n@Box a@ is a time-independent computation that can be\nexecuted at any time to produce a value of type @a@.\n\nFor example, the type of signals is defined as\n\n> data Sig a = a ::: (O (Sig a))\n\nSo the current value of the signal is available now, but\nits future state is only available in the next time\nstep. Writing a @map@ function for this type of streams,\nrequires us to use the @Box@ modality:\n\n> map :: Box (a -> b) -> Sig a -> Sig b\n> map f (x ::: xs) = unbox f x ::: delay (map f (adv xs))\n\nThis makes sure that the function @f@ that we give to\n@map@ is available at any time in the future.\n\nThe core of the language is defined in the module\n\"AsyncRattus.Primitives\". Note that the operations on @O@\nand @Box@ have non-standard typing rules. Therefore, this\nlibrary provides a compiler plugin that checks these\nnon-standard typing rules. To write Async Rattus programs,\nyou must enable this plugin via the GHC option\n@-fplugin=AsyncRattus.Plugin@, e.g. by including the following\nline in the source file:\n\n> {-# OPTIONS -fplugin=AsyncRattus.Plugin #-}\n\nIn addition, you have to annotate functions that are\nwritten in Async Rattus:\n\n> {-# ANN myFunction AsyncRattus #-}\n\nYou can also annotate the whole module as an Async Rattus module:\n\n> {-# ANN module AsyncRattus #-}\n\nBelow is a minimal Async Rattus program using the\n\"AsyncRattus.Signal\" module for programming with signals:\n\n> {-# OPTIONS -fplugin=AsyncRattus.Plugin #-}\n>\n> import AsyncRattus\n> import AsyncRattus.Signal\n>\n> {-# ANN sums AsyncRattus #-}\n> sums :: Sig Int -> Sig Int\n> sums = scan (box (+)) 0\n\nThe <docs/src/AsyncRattus.Signal.html source code of the AsyncRattus.Signal module>\nprovides more examples on how to program in Async Rattus.\nAn example project using Async Rattus can be found\n<https://github.com/pa-ba/AsyncRattus/tree/master/examples/console here>.";
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")))
];
};
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"))
];
buildable = true;
};
tests = {
"ill-typed" = {
depends = [
(hsPkgs."AsyncRattus" or (errorHandler.buildDepError "AsyncRattus"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
];
buildable = true;
};
"well-typed" = {
depends = [
(hsPkgs."AsyncRattus" or (errorHandler.buildDepError "AsyncRattus"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
];
buildable = true;
};
};
};
}
64 changes: 64 additions & 0 deletions ...ge/HaTeX-3.22.4.1-r0-e3d6b5a44298f65e5e5373fbfadff73f5ec4b988f6fe33eb17d9a334d4299fa3.nix
View file
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.1"; };
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;
};
};
};
}
55 changes: 55 additions & 0 deletions ...HasCacBDD-0.2.0.0-r0-14bcfba6c2b64626cff99673b351547bda115d59124847dd1898ea56a075a29c.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,55 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "1.24";
identifier = { name = "HasCacBDD"; version = "0.2.0.0"; };
license = "GPL-2.0-only";
copyright = "";
maintainer = "[email protected]";
author = "Malvin Gattinger";
homepage = "https://github.com/m4lvin/HasCacBDD";
url = "";
synopsis = "Haskell bindings for CacBDD";
description = "Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.\nOriginal C++ code from <http://kailesu.net/CacBDD> and a C wrapper are included.";
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.directory or (pkgs.buildPackages.directory or (errorHandler.setupDepError "directory")))
];
};
components = {
"library" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
];
libs = [
(pkgs."stdc++" or (errorHandler.sysDepError "stdc++"))
(pkgs."CacBDD" or (errorHandler.sysDepError "CacBDD"))
];
buildable = true;
};
tests = {
"tests" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."HasCacBDD" or (errorHandler.buildDepError "HasCacBDD"))
(hsPkgs."hspec" or (errorHandler.buildDepError "hspec"))
(hsPkgs."QuickCheck" or (errorHandler.buildDepError "QuickCheck"))
];
buildable = true;
};
};
};
}
43 changes: 43 additions & 0 deletions ...e/MicroHs-0.8.1.0-r0-11933c44b25426f3db96000d98bc5019a0b0cdaed17696786ac4bb0e2fc796fb.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = {};
package = {
specVersion = "3.0";
identifier = { name = "MicroHs"; version = "0.8.1.0"; };
license = "Apache-2.0";
copyright = "2023 Lennart Augustsson";
maintainer = "[email protected]";
author = "[email protected]";
homepage = "";
url = "";
synopsis = "A compiler for a subset of Haskell";
description = "A compiler for a subset of Haskell.\nThe compiler translates to combinators and can compile itself.";
buildType = "Simple";
};
components = {
exes = {
"mhs" = {
depends = [
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."time" or (errorHandler.buildDepError "time"))
(hsPkgs."pretty" or (errorHandler.buildDepError "pretty"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
];
buildable = true;
};
};
};
}
90 changes: 90 additions & 0 deletions ...-server-0.2.6.3.0-r0-c5798c57782a8ad0157034bff7dfe9c17b4fa64dc6246b9ee3eb6420f972a7ea.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,90 @@
{ system
, compiler
, flags
, pkgs
, hsPkgs
, pkgconfPkgs
, errorHandler
, config
, ... }:
{
flags = { agda-2-6-2-2 = false; };
package = {
specVersion = "1.12";
identifier = { name = "agda-language-server"; version = "0.2.6.3.0"; };
license = "MIT";
copyright = "2020 Author name here :)";
maintainer = "[email protected]";
author = "Ting-Gian LUA";
homepage = "https://github.com/banacorn/agda-language-server#readme";
url = "";
synopsis = "An implementation of language server protocal (LSP) for Agda 2.";
description = "Please see the README on GitHub at <https://github.com/agda/agda-language-server#readme>";
buildType = "Simple";
};
components = {
"library" = {
depends = [
(hsPkgs."Agda" or (errorHandler.buildDepError "Agda"))
(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."lsp" or (errorHandler.buildDepError "lsp"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."network" or (errorHandler.buildDepError "network"))
(hsPkgs."network-simple" or (errorHandler.buildDepError "network-simple"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."strict" or (errorHandler.buildDepError "strict"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
] ++ [ (hsPkgs."Agda" or (errorHandler.buildDepError "Agda")) ];
buildable = true;
};
exes = {
"als" = {
depends = [
(hsPkgs."Agda" or (errorHandler.buildDepError "Agda"))
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
(hsPkgs."agda-language-server" or (errorHandler.buildDepError "agda-language-server"))
(hsPkgs."base" or (errorHandler.buildDepError "base"))
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
(hsPkgs."lsp" or (errorHandler.buildDepError "lsp"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."network" or (errorHandler.buildDepError "network"))
(hsPkgs."network-simple" or (errorHandler.buildDepError "network-simple"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."strict" or (errorHandler.buildDepError "strict"))
(hsPkgs."text" or (errorHandler.buildDepError "text"))
] ++ [ (hsPkgs."Agda" or (errorHandler.buildDepError "Agda")) ];
buildable = true;
};
};
tests = {
"als-test" = {
depends = [
(hsPkgs."Agda" or (errorHandler.buildDepError "Agda"))
(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."lsp" or (errorHandler.buildDepError "lsp"))
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
(hsPkgs."network" or (errorHandler.buildDepError "network"))
(hsPkgs."network-simple" or (errorHandler.buildDepError "network-simple"))
(hsPkgs."process" or (errorHandler.buildDepError "process"))
(hsPkgs."stm" or (errorHandler.buildDepError "stm"))
(hsPkgs."strict" or (errorHandler.buildDepError "strict"))
(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."text" or (errorHandler.buildDepError "text"))
] ++ [ (hsPkgs."Agda" or (errorHandler.buildDepError "Agda")) ];
buildable = true;
};
};
};
}
Loading

0 comments on commit c62c413

Please sign in to comment.