Introduces statix and nil

mlabs-haskell · Dec 23, 2023 · 024da4e · 024da4e
1 parent 099ff8a
commit 024da4e
Show file tree

Hide file tree

Showing 19 changed files with 107 additions and 87 deletions.
diff --git a/extras/.envrc b/extras/.envrc
@@ -0,0 +1 @@
+use flake .#dev-nix
diff --git a/extras/build.nix b/extras/build.nix
@@ -7,15 +7,17 @@
   };
 
   # Makes it available in the system agnostic `lib` argument.
-  config._module.args.lib = config.flake.lib // {
-    inherit (config) lbf-nix;
-  };
+  config = {
+    _module.args.lib = config.flake.lib // {
+      inherit (config) lbf-nix;
+    };
 
-  # Sets the above set option to system ones.
-  config.lbf-nix = lib.genAttrs config.systems (system: (config.perSystem system).lbf-nix);
+    # Sets the above set option to system ones.
+    lbf-nix = lib.genAttrs config.systems (system: (config.perSystem system).lbf-nix);
 
-  # Makes `lib.x86_64-linux.xyz` available
-  config.flake.lib = config.lbf-nix;
+    # Makes `lib.x86_64-linux.xyz` available
+    flake.lib = config.lbf-nix;
+  };
 
   options = {
 
@@ -30,6 +32,12 @@
 
         # Sets a per system `lbf-nix` option.
         config = {
+          devShells.dev-nix = pkgs.mkShell {
+            name = "dev-nix";
+            shellHook = config.settings.shell.hook;
+            buildInputs = config.settings.shell.tools;
+          };
+
           lbf-nix = {
             # NOTE(bladyjoker): If you need to add a function the export externally and use internally via config.lbf-nix, add it here.
 

diff --git a/extras/flake-haskell.nix b/extras/flake-haskell.nix
@@ -44,6 +44,7 @@ let
             hlint = { };
             cabal-fmt = { };
             fourmolu = { };
+            weeder = { };
           };
 
           shellHook = lib.mkForce devShellHook;

diff --git a/extras/flake-purescript.nix b/extras/flake-purescript.nix
@@ -36,7 +36,7 @@ let
         };
       };
 
-      devShell = purs.devShell;
+      inherit (purs) devShell;
     };
 in
 mkFlake pursProjOpts.projectName (pkgs.purescriptProject pursProjOpts)
diff --git a/extras/flake-rust.nix b/extras/flake-rust.nix
@@ -84,22 +84,26 @@ in
     '';
   };
 
-  packages."${crateName}-rust" = craneLib.buildPackage (commonArgs // {
-    inherit cargoArtifacts;
-    doCheck = false;
-    doInstallCargoArtifacts = true;
-  });
+  packages = {
+    "${crateName}-rust" = craneLib.buildPackage (commonArgs // {
+      inherit cargoArtifacts;
+      doCheck = false;
+      doInstallCargoArtifacts = true;
+    });
 
-  packages."${crateName}-rust-src" = vendoredSrc;
+    "${crateName}-rust-src" = vendoredSrc;
 
-  packages."${crateName}-rust-build-env" = buildEnv;
+    "${crateName}-rust-build-env" = buildEnv;
+  };
 
-  checks."${crateName}-rust-test" = craneLib.cargoNextest (commonArgs // {
-    inherit cargoArtifacts;
-    nativeBuildInputs = testTools;
-  });
+  checks = {
+    "${crateName}-rust-test" = craneLib.cargoNextest (commonArgs // {
+      inherit cargoArtifacts;
+      nativeBuildInputs = testTools;
+    });
 
-  checks."${crateName}-rust-clippy" = craneLib.cargoClippy (commonArgs // {
-    inherit cargoArtifacts;
-  });
+    "${crateName}-rust-clippy" = craneLib.cargoClippy (commonArgs // {
+      inherit cargoArtifacts;
+    });
+  };
 }
diff --git a/extras/flake-typescript.nix b/extras/flake-typescript.nix
@@ -146,7 +146,7 @@ let
       '';
 
   node2nixDevelop = node2nixExprs { extraFlags = [ "--development" ]; };
-  node2nixDevelopAttrs = ((import node2nixDevelop) { inherit nodejs pkgs; inherit (pkgs) system; });
+  node2nixDevelopAttrs = (import node2nixDevelop) { inherit nodejs pkgs; inherit (pkgs) system; };
 
   # Build the project (runs `npm run build`), and puts the entire output in the
   # nix store

diff --git a/extras/haskell.nix/plutus.nix b/extras/haskell.nix/plutus.nix
@@ -27,9 +27,11 @@ let
       packages = builtins.listToAttrs (builtins.map
         (name: {
           inherit name;
-          value.components.library.setupHaddockFlags = [ "--haddock-options=@${responseFile}" ];
-          value.components.library.ghcOptions = [ "-XFlexibleContexts" "-Wwarn" "-fplugin-opt=PlutusTx.Plugin:defer-errors" ];
-          value.components.library.extraSrcFiles = [ responseFile ];
+          value.components.library = {
+            setupHaddockFlags = [ "--haddock-options=@${responseFile}" ];
+            ghcOptions = [ "-XFlexibleContexts" "-Wwarn" "-fplugin-opt=PlutusTx.Plugin:defer-errors" ];
+            extraSrcFiles = [ responseFile ];
+          };
         })
         l);
     };

diff --git a/extras/lbf-nix/utils.nix b/extras/lbf-nix/utils.nix
@@ -7,7 +7,7 @@ let
         then overrides.${name}.override val
         else val
       )
-      ((builtins.mapAttrs (name: val: if attrs?${name} then attrs.${name} else val.default) overrides) // attrs);
+      ((builtins.mapAttrs (name: val: attrs.${name} or val.default) overrides) // attrs);
   # Makes a shell flag
   # Example: `mkFlag "foo" "bar" = "--foo='bar'"`
   mkFlag = key: value: "--${key}=${pkgs.lib.escapeShellArg "${value}"}";

diff --git a/extras/pre-commit-hooks-extra.nix b/extras/pre-commit-hooks-extra.nix
@@ -4,8 +4,8 @@
   ];
   perSystem = { pkgs, ... }:
     let
-      rustfmt = pkgs.rust-bin.stable.latest.rustfmt;
-      deno = pkgs.deno;
+      inherit (pkgs.rust-bin.stable.latest) rustfmt;
+      inherit (pkgs) deno;
     in
     {
       pre-commit.settings.hooks = {

diff --git a/pre-commit.nix b/pre-commit.nix
@@ -3,30 +3,31 @@
     ./extras/pre-commit-hooks-extra.nix
     inputs.proto-nix.lib.preCommitModule
   ];
-  perSystem = { config, ... }:
+  perSystem = { config, pkgs, ... }:
     {
-      devShells.dev-pre-commit = config.pre-commit.devShell;
-      devShells.default = config.pre-commit.devShell;
+      devShells.default = pkgs.mkShell {
+        name = "dev-default";
+        buildInputs = config.settings.shell.tools;
+        shellHook = config.settings.shell.hook;
+      };
 
       pre-commit = {
         settings = {
           excludes = [
+            ".*spago-packages.nix$"
             "lambda-buffers-codegen/data/goldens/.*"
             "lambda-buffers-codegen/data/lamval-cases/.*"
             "experimental/archive/.*"
             "experimental/ctl-env/autogen/.*"
             "experimental/plutustx-env/autogen/.*"
-            "experimental/ctl-env/spago-packages.nix"
             "lambda-buffers-frontend/data/goldens/good/work-dir/.*"
-            "docs/compiler-api.md"
             "lambda-buffers-testsuite/lbt-prelude/goldens/.*"
-            "runtimes/purescript/lbr-prelude/spago-packages.nix"
-            ".*/spago-packages.nix$"
           ];
 
           hooks = {
             nixpkgs-fmt.enable = true;
             deadnix.enable = true;
+            statix.enable = true;
             cabal-fmt.enable = true;
             fourmolu.enable = true;
             shellcheck.enable = true;
@@ -45,6 +46,7 @@
 
           settings = {
             ormolu.cabalDefaultExtensions = true;
+            statix.ignore = [ "**spago-packages.nix" ];
           };
         };
       };

diff --git a/runtimes/rust/lbr-prelude-derive/build.nix b/runtimes/rust/lbr-prelude-derive/build.nix
@@ -4,7 +4,7 @@
       rustFlake =
         config.lbf-nix.rustFlake {
           src = ./.;
-          crane = inputs.crane;
+          inherit (inputs) crane;
           crateName = "lbr-prelude-derive";
           extraSources = [
             {

diff --git a/runtimes/rust/lbr-prelude/build.nix b/runtimes/rust/lbr-prelude/build.nix
@@ -4,7 +4,7 @@
       rustFlake =
         config.lbf-nix.rustFlake {
           src = ./.;
-          crane = inputs.crane;
+          inherit (inputs) crane;
           crateName = "lbr-prelude";
           extraSources = [
             {

diff --git a/runtimes/typescript/lbr-plutus/build.nix b/runtimes/typescript/lbr-plutus/build.nix
@@ -1,4 +1,4 @@
-{ ... }:
+_:
 {
   perSystem = { config, ... }:
     let
@@ -15,17 +15,15 @@
     {
 
       packages = {
-        lbr-plutus-typescript = typescriptFlake.packages.lbr-plutus-typescript;
-        lbr-plutus-typescript-tgz = typescriptFlake.packages.lbr-plutus-typescript-tgz;
-        lbr-plutus-typescript-node2nix = typescriptFlake.packages.lbr-plutus-typescript-node2nix;
+        inherit (typescriptFlake.packages) lbr-plutus-typescript lbr-plutus-typescript-tgz lbr-plutus-typescript-node2nix;
       };
 
       devShells = {
-        lbr-plutus-typescript = typescriptFlake.devShells.lbr-plutus-typescript;
+        inherit (typescriptFlake.devShells) lbr-plutus-typescript;
       };
 
       checks = {
-        lbr-plutus-typescript-test = typescriptFlake.checks.lbr-plutus-typescript-test;
+        inherit (typescriptFlake.checks) lbr-plutus-typescript-test;
       };
 
       # TODO(jaredponn): for some reason, writing the more terse `inherit`

diff --git a/runtimes/typescript/lbr-prelude/build.nix b/runtimes/typescript/lbr-prelude/build.nix
@@ -1,4 +1,4 @@
-{ ... }:
+_:
 {
   perSystem = { config, ... }:
     let
@@ -13,18 +13,16 @@
     in
     {
       packages = {
-        lbr-prelude-typescript = typescriptFlake.packages.lbr-prelude-typescript;
-        lbr-prelude-typescript-tgz = typescriptFlake.packages.lbr-prelude-typescript-tgz;
-        lbr-prelude-typescript-node2nix = typescriptFlake.packages.lbr-prelude-typescript-node2nix;
+        inherit (typescriptFlake.packages) lbr-prelude-typescript lbr-prelude-typescript-tgz lbr-prelude-typescript-node2nix;
       };
 
       devShells =
         {
-          lbr-prelude-typescript = typescriptFlake.devShells.lbr-prelude-typescript;
+          inherit (typescriptFlake.devShells) lbr-prelude-typescript;
         };
 
       checks = {
-        lbr-prelude-typescript-test = typescriptFlake.checks.lbr-prelude-typescript-test;
+        inherit (typescriptFlake.checks) lbr-prelude-typescript-test;
       };
 
       # TODO(jaredponn): for some reason, writing the more terse `inherit`

diff --git a/settings.nix b/settings.nix
@@ -49,8 +49,10 @@
             shell = {
 
               tools = [
+
                 pkgs.haskellPackages.apply-refact
 
+                pkgs.nil
                 inputs.pre-commit-hooks.outputs.packages.${system}.deadnix
                 inputs.pre-commit-hooks.outputs.packages.${system}.nixpkgs-fmt
 

diff --git a/testsuites/lbt-plutus/api/build.nix b/testsuites/lbt-plutus/api/build.nix
@@ -1,30 +1,32 @@
 _: {
   perSystem = { config, ... }:
     {
-      packages.lbf-plutus-golden-api-haskell = config.lbf-nix.lbfPlutusHaskell {
-        name = "lbf-plutus-golden-api";
-        src = ./.;
-        files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
-      };
+      packages = {
+        lbf-plutus-golden-api-haskell = config.lbf-nix.lbfPlutusHaskell {
+          name = "lbf-plutus-golden-api";
+          src = ./.;
+          files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
+        };
 
-      packages.lbf-plutus-golden-api-purescript = config.lbf-nix.lbfPlutusPurescript {
-        name = "lbf-plutus-golden-api";
-        src = ./.;
-        files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
-      };
+        lbf-plutus-golden-api-purescript = config.lbf-nix.lbfPlutusPurescript {
+          name = "lbf-plutus-golden-api";
+          src = ./.;
+          files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
+        };
 
-      packages.lbf-plutus-golden-api-plutarch = config.lbf-nix.lbfPlutarch {
-        name = "lbf-plutus-plutarch-golden-api";
-        src = ./.;
-        files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
-      };
+        lbf-plutus-golden-api-plutarch = config.lbf-nix.lbfPlutarch {
+          name = "lbf-plutus-plutarch-golden-api";
+          src = ./.;
+          files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
+        };
 
-      packages.lbf-plutus-golden-api-rust = config.lbf-nix.lbfPlutusRust {
-        name = "lbf-plutus-rust-golden-api";
-        src = ./.;
-        files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
-      };
+        lbf-plutus-golden-api-rust = config.lbf-nix.lbfPlutusRust {
+          name = "lbf-plutus-rust-golden-api";
+          src = ./.;
+          files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
+        };
 
+      };
     };
 }
 
diff --git a/testsuites/lbt-plutus/lbt-plutus-rust/build.nix b/testsuites/lbt-plutus/lbt-plutus-rust/build.nix
@@ -4,7 +4,7 @@
     let
       rustFlake = config.lbf-nix.rustFlake {
         src = ./.;
-        crane = inputs.crane;
+        inherit (inputs) crane;
         crateName = "lbt-plutus";
 
         extraSources = [

diff --git a/testsuites/lbt-prelude/api/build.nix b/testsuites/lbt-prelude/api/build.nix
@@ -1,24 +1,26 @@
 _: {
   perSystem = { config, ... }:
     {
-      packages.lbf-prelude-golden-api-haskell = config.lbf-nix.lbfPreludeHaskell {
-        name = "lbf-prelude-golden-api";
-        src = ./.;
-        files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
-      };
+      packages = {
+        lbf-prelude-golden-api-haskell = config.lbf-nix.lbfPreludeHaskell {
+          name = "lbf-prelude-golden-api";
+          src = ./.;
+          files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
+        };
 
-      packages.lbf-prelude-golden-api-purescript = config.lbf-nix.lbfPreludePurescript {
-        name = "lbf-prelude-golden-api";
-        src = ./.;
-        files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
-      };
+        lbf-prelude-golden-api-purescript = config.lbf-nix.lbfPreludePurescript {
+          name = "lbf-prelude-golden-api";
+          src = ./.;
+          files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
+        };
 
-      packages.lbf-prelude-golden-api-rust = config.lbf-nix.lbfPreludeRust {
-        name = "lbf-prelude-golden-api";
-        src = ./.;
-        files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
-      };
+        lbf-prelude-golden-api-rust = config.lbf-nix.lbfPreludeRust {
+          name = "lbf-prelude-golden-api";
+          src = ./.;
+          files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
+        };
 
+      };
     };
 }
 
diff --git a/testsuites/lbt-prelude/lbt-prelude-rust/build.nix b/testsuites/lbt-prelude/lbt-prelude-rust/build.nix
@@ -4,7 +4,7 @@
     let
       rustFlake = config.lbf-nix.rustFlake {
         src = ./.;
-        crane = inputs.crane;
+        inherit (inputs) crane;
         crateName = "lbt-prelude";
 
         extraSources = [