Skip to content

Commit 37b1768

Browse files
author
IOHK
committed
Automatic Update
1 parent b41f7e5 commit 37b1768

File tree

40 files changed

+1836
-4
lines changed

40 files changed

+1836
-4
lines changed

‎default.nix

+3
Original file line numberDiff line numberDiff line change
@@ -4663,6 +4663,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
46634663
"dewdrop" = import ./nix/dewdrop.nix;
46644664
"df1" = import ./nix/df1.nix;
46654665
"df1-html" = import ./nix/df1-html.nix;
4666+
"df1-wai" = import ./nix/df1-wai.nix;
46664667
"dfinity-radix-tree" = import ./nix/dfinity-radix-tree.nix;
46674668
"dfrac" = import ./nix/dfrac.nix;
46684669
"dfsbuild" = import ./nix/dfsbuild.nix;
@@ -4695,6 +4696,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
46954696
"di-handle" = import ./nix/di-handle.nix;
46964697
"di-monad" = import ./nix/di-monad.nix;
46974698
"di-polysemy" = import ./nix/di-polysemy.nix;
4699+
"di-wai" = import ./nix/di-wai.nix;
46984700
"dia-base" = import ./nix/dia-base.nix;
46994701
"dia-functions" = import ./nix/dia-functions.nix;
47004702
"diagnose" = import ./nix/diagnose.nix;
@@ -16368,6 +16370,7 @@ with builtins; mapAttrs (_: mapAttrs (_: data: rec {
1636816370
"type-level-natural-number-operations" = import ./nix/type-level-natural-number-operations.nix;
1636916371
"type-level-numbers" = import ./nix/type-level-numbers.nix;
1637016372
"type-level-sets" = import ./nix/type-level-sets.nix;
16373+
"type-level-show" = import ./nix/type-level-show.nix;
1637116374
"type-level-tf" = import ./nix/type-level-tf.nix;
1637216375
"type-list" = import ./nix/type-list.nix;
1637316376
"type-map" = import ./nix/type-map.nix;

‎hackage/barbies-th-0.1.11-r1-df9648ae23b2a97f7766fae2ca923b7554b53775925ba15fbcb062cc837e1040.nix

+54
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,54 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {};
12+
package = {
13+
specVersion = "2.4";
14+
identifier = { name = "barbies-th"; version = "0.1.11"; };
15+
license = "BSD-3-Clause";
16+
copyright = "Copyright (c) 2022 Fumiaki Kinoshita";
17+
maintainer = "[email protected]";
18+
author = "Fumiaki Kinoshita";
19+
homepage = "https://github.com/fumieval/barbies-th";
20+
url = "";
21+
synopsis = "Create strippable HKD via TH";
22+
description = "Please see Data.Barbie.TH";
23+
buildType = "Simple";
24+
};
25+
components = {
26+
"library" = {
27+
depends = [
28+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
29+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
30+
(hsPkgs."barbies" or (errorHandler.buildDepError "barbies"))
31+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
32+
];
33+
buildable = true;
34+
};
35+
tests = {
36+
"th" = {
37+
depends = [
38+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
39+
(hsPkgs."barbies" or (errorHandler.buildDepError "barbies"))
40+
(hsPkgs."barbies-th" or (errorHandler.buildDepError "barbies-th"))
41+
];
42+
buildable = true;
43+
};
44+
"th-passthrough" = {
45+
depends = [
46+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
47+
(hsPkgs."barbies" or (errorHandler.buildDepError "barbies"))
48+
(hsPkgs."barbies-th" or (errorHandler.buildDepError "barbies-th"))
49+
];
50+
buildable = true;
51+
};
52+
};
53+
};
54+
}

‎hackage/clash-ghc-1.8.1-r2-b0df77ae4c62409b5edf4c6f0b6563acd5685c0d0e695aeb5bfa78ed33bbd5d1.nix

+100
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,100 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {
12+
dynamic = false;
13+
use-ghc-paths = false;
14+
workaround-ghc-mmap-crash = false;
15+
};
16+
package = {
17+
specVersion = "2.2";
18+
identifier = { name = "clash-ghc"; version = "1.8.1"; };
19+
license = "BSD-2-Clause";
20+
copyright = "Copyright © 2012-2016, University of Twente,\n2016-2017, Myrtle Software Ltd,\n2017-2019, QBayLogic B.V., Google Inc.";
21+
maintainer = "QBayLogic B.V. <[email protected]>";
22+
author = "The Clash Authors";
23+
homepage = "https://clash-lang.org/";
24+
url = "";
25+
synopsis = "Clash: a functional hardware description language - GHC frontend";
26+
description = "Clash is a functional hardware description language that borrows both its\nsyntax and semantics from the functional programming language Haskell. The\nClash compiler transforms these high-level descriptions to low-level\nsynthesizable VHDL, Verilog, or SystemVerilog.\n\nFeatures of Clash:\n\n* Strongly typed, but with a very high degree of type inference, enabling both\nsafe and fast prototyping using concise descriptions.\n\n* Interactive REPL: load your designs in an interpreter and easily test all\nyour component without needing to setup a test bench.\n\n* Higher-order functions, with type inference, result in designs that are\nfully parametric by default.\n\n* Synchronous sequential circuit design based on streams of values, called\n@Signal@s, lead to natural descriptions of feedback loops.\n\n* Support for multiple clock domains, with type safe clock domain crossing.\n\n\nThis package provides:\n\n* Clash Compiler binary using GHC/Haskell as a frontend\n\n\nPrelude library: <https://hackage.haskell.org/package/clash-prelude>";
27+
buildType = "Simple";
28+
};
29+
components = {
30+
"library" = {
31+
depends = (((([
32+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
33+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
34+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
35+
(hsPkgs."Cabal" or (errorHandler.buildDepError "Cabal"))
36+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
37+
(hsPkgs."data-binary-ieee754" or (errorHandler.buildDepError "data-binary-ieee754"))
38+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
39+
(hsPkgs."extra" or (errorHandler.buildDepError "extra"))
40+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
41+
(hsPkgs."process" or (errorHandler.buildDepError "process"))
42+
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
43+
(hsPkgs."haskeline" or (errorHandler.buildDepError "haskeline"))
44+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
45+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
46+
(hsPkgs."split" or (errorHandler.buildDepError "split"))
47+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
48+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
49+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
50+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
51+
(hsPkgs."clash-prelude" or (errorHandler.buildDepError "clash-prelude"))
52+
(hsPkgs."concurrent-supply" or (errorHandler.buildDepError "concurrent-supply"))
53+
(hsPkgs."ghc-typelits-extra" or (errorHandler.buildDepError "ghc-typelits-extra"))
54+
(hsPkgs."ghc-typelits-knownnat" or (errorHandler.buildDepError "ghc-typelits-knownnat"))
55+
(hsPkgs."ghc-typelits-natnormalise" or (errorHandler.buildDepError "ghc-typelits-natnormalise"))
56+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
57+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
58+
(hsPkgs."ghc-boot" or (errorHandler.buildDepError "ghc-boot"))
59+
(hsPkgs."ghc-prim" or (errorHandler.buildDepError "ghc-prim"))
60+
(hsPkgs."ghci" or (errorHandler.buildDepError "ghci"))
61+
(hsPkgs."uniplate" or (errorHandler.buildDepError "uniplate"))
62+
(hsPkgs."reflection" or (errorHandler.buildDepError "reflection"))
63+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
64+
(hsPkgs."string-interpolate" or (errorHandler.buildDepError "string-interpolate"))
65+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
66+
(hsPkgs."utf8-string" or (errorHandler.buildDepError "utf8-string"))
67+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
68+
] ++ [
69+
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
70+
]) ++ pkgs.lib.optional (compiler.isGhc && compiler.version.ge "8.10.0") (hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))) ++ (if compiler.isGhc && compiler.version.ge "9.0.0"
71+
then [
72+
(hsPkgs."ghc-bignum" or (errorHandler.buildDepError "ghc-bignum"))
73+
]
74+
else [
75+
(hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))
76+
])) ++ pkgs.lib.optional (flags.use-ghc-paths) (hsPkgs."ghc-paths" or (errorHandler.buildDepError "ghc-paths"))) ++ (if system.isWindows
77+
then [ (hsPkgs."Win32" or (errorHandler.buildDepError "Win32")) ]
78+
else [ (hsPkgs."unix" or (errorHandler.buildDepError "unix")) ]);
79+
buildable = true;
80+
};
81+
exes = {
82+
"clash" = {
83+
depends = [
84+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
85+
(hsPkgs."clash-ghc" or (errorHandler.buildDepError "clash-ghc"))
86+
];
87+
libs = [ (pkgs."pthread" or (errorHandler.sysDepError "pthread")) ];
88+
buildable = true;
89+
};
90+
"clashi" = {
91+
depends = [
92+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
93+
(hsPkgs."clash-ghc" or (errorHandler.buildDepError "clash-ghc"))
94+
];
95+
libs = [ (pkgs."pthread" or (errorHandler.sysDepError "pthread")) ];
96+
buildable = true;
97+
};
98+
};
99+
};
100+
}

‎hackage/clash-lib-1.8.1-r2-45e07d5fea935962ad34899935f54a8211408df50a001fc4850e6238ba3409ac.nix

+164
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,164 @@
1+
{ system
2+
, compiler
3+
, flags
4+
, pkgs
5+
, hsPkgs
6+
, pkgconfPkgs
7+
, errorHandler
8+
, config
9+
, ... }:
10+
{
11+
flags = {
12+
debug = false;
13+
unittests = true;
14+
doctests = true;
15+
workaround-ghc-mmap-crash = false;
16+
};
17+
package = {
18+
specVersion = "2.2";
19+
identifier = { name = "clash-lib"; version = "1.8.1"; };
20+
license = "BSD-2-Clause";
21+
copyright = "Copyright © 2012-2016, University of Twente,\n2016-2019, Myrtle Software Ltd,\n2017-2023, QBayLogic B.V., Google Inc.";
22+
maintainer = "QBayLogic B.V. <[email protected]>";
23+
author = "The Clash Authors";
24+
homepage = "https://clash-lang.org/";
25+
url = "";
26+
synopsis = "Clash: a functional hardware description language - As a library";
27+
description = "Clash is a functional hardware description language that borrows both its\nsyntax and semantics from the functional programming language Haskell. The\nClash compiler transforms these high-level descriptions to low-level\nsynthesizable VHDL, Verilog, or SystemVerilog.\n\nFeatures of Clash:\n\n* Strongly typed, but with a very high degree of type inference, enabling both\nsafe and fast prototyping using concise descriptions.\n\n* Interactive REPL: load your designs in an interpreter and easily test all\nyour component without needing to setup a test bench.\n\n* Higher-order functions, with type inference, result in designs that are\nfully parametric by default.\n\n* Synchronous sequential circuit design based on streams of values, called\n@Signal@s, lead to natural descriptions of feedback loops.\n\n* Support for multiple clock domains, with type safe clock domain crossing.\n\n\nThis package provides:\n\n* The CoreHW internal language: SystemF + Letrec + Case-decomposition\n\n* The normalisation process that brings CoreHW in a normal form that can be\nconverted to a netlist\n\n* Blackbox/Primitive Handling\n\n\nFront-ends (for: parsing, typecheck, etc.) are provided by separate packages:\n\n* <https://hackage.haskell.org/package/clash-ghc GHC/Haskell Frontend>\n\n* <https://github.com/christiaanb/Idris-dev Idris Frontend>\n\n\nPrelude library: <https://hackage.haskell.org/package/clash-prelude>";
28+
buildType = "Simple";
29+
};
30+
components = {
31+
"library" = {
32+
depends = [
33+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
34+
(hsPkgs."attoparsec-aeson" or (errorHandler.buildDepError "attoparsec-aeson"))
35+
(hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty"))
36+
(hsPkgs."ansi-terminal" or (errorHandler.buildDepError "ansi-terminal"))
37+
(hsPkgs."array" or (errorHandler.buildDepError "array"))
38+
(hsPkgs."async" or (errorHandler.buildDepError "async"))
39+
(hsPkgs."attoparsec" or (errorHandler.buildDepError "attoparsec"))
40+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
41+
(hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
42+
(hsPkgs."binary" or (errorHandler.buildDepError "binary"))
43+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
44+
(hsPkgs."clash-prelude" or (errorHandler.buildDepError "clash-prelude"))
45+
(hsPkgs."concurrent-supply" or (errorHandler.buildDepError "concurrent-supply"))
46+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
47+
(hsPkgs."cryptohash-sha256" or (errorHandler.buildDepError "cryptohash-sha256"))
48+
(hsPkgs."data-binary-ieee754" or (errorHandler.buildDepError "data-binary-ieee754"))
49+
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
50+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
51+
(hsPkgs."dlist" or (errorHandler.buildDepError "dlist"))
52+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
53+
(hsPkgs."exceptions" or (errorHandler.buildDepError "exceptions"))
54+
(hsPkgs."extra" or (errorHandler.buildDepError "extra"))
55+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
56+
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
57+
(hsPkgs."ghc-boot-th" or (errorHandler.buildDepError "ghc-boot-th"))
58+
(hsPkgs."hashable" or (errorHandler.buildDepError "hashable"))
59+
(hsPkgs."haskell-src-meta" or (errorHandler.buildDepError "haskell-src-meta"))
60+
(hsPkgs."hint" or (errorHandler.buildDepError "hint"))
61+
(hsPkgs."infinite-list" or (errorHandler.buildDepError "infinite-list"))
62+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
63+
(hsPkgs."mtl" or (errorHandler.buildDepError "mtl"))
64+
(hsPkgs."ordered-containers" or (errorHandler.buildDepError "ordered-containers"))
65+
(hsPkgs."prettyprinter" or (errorHandler.buildDepError "prettyprinter"))
66+
(hsPkgs."prettyprinter-interp" or (errorHandler.buildDepError "prettyprinter-interp"))
67+
(hsPkgs."pretty-show" or (errorHandler.buildDepError "pretty-show"))
68+
(hsPkgs."primitive" or (errorHandler.buildDepError "primitive"))
69+
(hsPkgs."string-interpolate" or (errorHandler.buildDepError "string-interpolate"))
70+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
71+
(hsPkgs."temporary" or (errorHandler.buildDepError "temporary"))
72+
(hsPkgs."terminal-size" or (errorHandler.buildDepError "terminal-size"))
73+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
74+
(hsPkgs."time" or (errorHandler.buildDepError "time"))
75+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
76+
(hsPkgs."trifecta" or (errorHandler.buildDepError "trifecta"))
77+
(hsPkgs."vector" or (errorHandler.buildDepError "vector"))
78+
(hsPkgs."vector-binary-instances" or (errorHandler.buildDepError "vector-binary-instances"))
79+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
80+
(hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
81+
] ++ (if compiler.isGhc && compiler.version.ge "9.0.0"
82+
then [
83+
(hsPkgs."ghc-bignum" or (errorHandler.buildDepError "ghc-bignum"))
84+
]
85+
else [
86+
(hsPkgs."integer-gmp" or (errorHandler.buildDepError "integer-gmp"))
87+
]);
88+
buildable = true;
89+
};
90+
exes = {
91+
"v16-upgrade-primitives" = {
92+
depends = [
93+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
94+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
95+
(hsPkgs."attoparsec-aeson" or (errorHandler.buildDepError "attoparsec-aeson"))
96+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
97+
(hsPkgs."yaml" or (errorHandler.buildDepError "yaml"))
98+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
99+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
100+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
101+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
102+
(hsPkgs."stringsearch" or (errorHandler.buildDepError "stringsearch"))
103+
(hsPkgs."Glob" or (errorHandler.buildDepError "Glob"))
104+
];
105+
buildable = true;
106+
};
107+
"static-files" = {
108+
depends = [
109+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
110+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
111+
(hsPkgs."directory" or (errorHandler.buildDepError "directory"))
112+
(hsPkgs."docopt" or (errorHandler.buildDepError "docopt"))
113+
(hsPkgs."extra" or (errorHandler.buildDepError "extra"))
114+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
115+
];
116+
buildable = if compiler.isGhc && compiler.version.ge "9.2.0"
117+
then false
118+
else true;
119+
};
120+
};
121+
tests = {
122+
"doctests" = {
123+
depends = pkgs.lib.optionals (!!flags.doctests) [
124+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
125+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
126+
(hsPkgs."doctest-parallel" or (errorHandler.buildDepError "doctest-parallel"))
127+
(hsPkgs."filepath" or (errorHandler.buildDepError "filepath"))
128+
];
129+
buildable = if !flags.doctests then false else true;
130+
};
131+
"unittests" = {
132+
depends = pkgs.lib.optionals (!!flags.unittests) [
133+
(hsPkgs."clash-prelude" or (errorHandler.buildDepError "clash-prelude"))
134+
(hsPkgs."clash-lib" or (errorHandler.buildDepError "clash-lib"))
135+
(hsPkgs."ghc-typelits-knownnat" or (errorHandler.buildDepError "ghc-typelits-knownnat"))
136+
(hsPkgs."aeson" or (errorHandler.buildDepError "aeson"))
137+
(hsPkgs."attoparsec-aeson" or (errorHandler.buildDepError "attoparsec-aeson"))
138+
(hsPkgs."aeson-pretty" or (errorHandler.buildDepError "aeson-pretty"))
139+
(hsPkgs."base" or (errorHandler.buildDepError "base"))
140+
(hsPkgs."base16-bytestring" or (errorHandler.buildDepError "base16-bytestring"))
141+
(hsPkgs."bytestring" or (errorHandler.buildDepError "bytestring"))
142+
(hsPkgs."containers" or (errorHandler.buildDepError "containers"))
143+
(hsPkgs."concurrent-supply" or (errorHandler.buildDepError "concurrent-supply"))
144+
(hsPkgs."data-default" or (errorHandler.buildDepError "data-default"))
145+
(hsPkgs."deepseq" or (errorHandler.buildDepError "deepseq"))
146+
(hsPkgs."haskell-src-exts" or (errorHandler.buildDepError "haskell-src-exts"))
147+
(hsPkgs."ghc" or (errorHandler.buildDepError "ghc"))
148+
(hsPkgs."lens" or (errorHandler.buildDepError "lens"))
149+
(hsPkgs."pretty-show" or (errorHandler.buildDepError "pretty-show"))
150+
(hsPkgs."quickcheck-text" or (errorHandler.buildDepError "quickcheck-text"))
151+
(hsPkgs."tasty" or (errorHandler.buildDepError "tasty"))
152+
(hsPkgs."tasty-hunit" or (errorHandler.buildDepError "tasty-hunit"))
153+
(hsPkgs."tasty-quickcheck" or (errorHandler.buildDepError "tasty-quickcheck"))
154+
(hsPkgs."tasty-th" or (errorHandler.buildDepError "tasty-th"))
155+
(hsPkgs."template-haskell" or (errorHandler.buildDepError "template-haskell"))
156+
(hsPkgs."text" or (errorHandler.buildDepError "text"))
157+
(hsPkgs."transformers" or (errorHandler.buildDepError "transformers"))
158+
(hsPkgs."unordered-containers" or (errorHandler.buildDepError "unordered-containers"))
159+
];
160+
buildable = if !flags.unittests then false else true;
161+
};
162+
};
163+
};
164+
}

0 commit comments

Comments
 (0)