Implemented .#dev-plutarch

Author: bladyjoker

lambda-buffers-codegen/src/LambdaBuffers/Codegen/Plutarch/Print/TyDef.hs

@@ -85,6 +85,7 @@ printTyDef (PC.TyDef tyN tyabs _) = do
   Print.importType PlRefs.termQTyName
   Print.importType PlRefs.scopeQTyName
   Print.importType PlRefs.ptypeQTyName
+  Print.importType PlRefs.pasDataQTyName
   drvGenericDoc <- printDerivingGeneric
   drvShowDoc <- printDerivingShow
   (kw, absDoc) <- printTyAbs tyN tyabs

libs/build.nix

@@ -17,15 +17,15 @@
         src = ./lbf-prelude;
         files = [ "Prelude.lbf" ];
         classes = [ "Prelude.Eq" "Prelude.Json" ];
-        configs = [ ../lambda-buffers-codegen/data/haskell-prelude-base.json ];
+        configs = [ "${config.packages.codegen-configs}/haskell-prelude-base.json" ];
       };
 
       lbf-prelude-purescript = config.overlayAttrs.lbf-nix.lbfPurescript {
         name = "lbf-prelude";
         src = ./lbf-prelude;
         files = [ "Prelude.lbf" ];
         classes = [ "Prelude.Eq" "Prelude.Json" ];
-        configs = [ ../lambda-buffers-codegen/data/purescript-prelude-base.json ];
+        configs = [ "${config.packages.codegen-configs}/purescript-prelude-base.json" ];
       };
 
       lbf-prelude-plutarch = config.overlayAttrs.lbf-nix.lbfPlutarch' {
@@ -56,7 +56,10 @@
             # being automatically included as a dependency.
             "lbr-plutus"
           ];
-        configs = [ ../lambda-buffers-codegen/data/haskell-prelude-base.json ../lambda-buffers-codegen/data/haskell-plutus-plutustx.json ];
+        configs = [
+          "${config.packages.codegen-configs}/haskell-prelude-base.json"
+          "${config.packages.codegen-configs}/haskell-plutus-plutustx.json"
+        ];
       };
 
       lbf-plutus-purescript = config.overlayAttrs.lbf-nix.lbfPurescript {
@@ -66,7 +69,10 @@
         files = [ "Plutus/V1.lbf" "Plutus/V2.lbf" ];
         classes = [ "Prelude.Eq" "Prelude.Json" "Plutus.V1.PlutusData" ];
         dependencies = [ "lbf-prelude" ];
-        configs = [ ../lambda-buffers-codegen/data/purescript-prelude-base.json ../lambda-buffers-codegen/data/purescript-plutus-ctl.json ];
+        configs = [
+          "${config.packages.codegen-configs}/purescript-prelude-base.json"
+          "${config.packages.codegen-configs}/purescript-plutus-ctl.json"
+        ];
       };
 
       lbf-plutus-plutarch = config.overlayAttrs.lbf-nix.lbfPlutarch' {
@@ -76,7 +82,10 @@
         files = [ "Plutus/V1.lbf" "Plutus/V2.lbf" ];
         classes = [ "Prelude.Eq" "Plutus.V1.PlutusData" ];
         dependencies = [ "lbf-prelude-plutarch" ];
-        configs = [ "${config.packages.codegen-configs}/plutarch-prelude.json" "${config.packages.codegen-configs}/plutarch-plutus.json" ];
+        configs = [
+          "${config.packages.codegen-configs}/plutarch-prelude.json"
+          "${config.packages.codegen-configs}/plutarch-plutus.json"
+        ];
       };
     };
 
@@ -97,7 +106,7 @@
           project = { lib, ... }: {
             src = config.packages.lbf-prelude-haskell;
 
-            name = "lbf-prelude-haskell";
+            name = "dev-prelude-haskell";
 
             inherit (config.settings.haskell) index-state compiler-nix-name;
 
@@ -111,9 +120,6 @@
                 packages = {
                   allComponent.doHoogle = true;
                   allComponent.doHaddock = true;
-
-                  # Enable strict compilation
-                  lbf-prelude.configureFlags = [ "-f-dev" ];
                 };
               })
             ];
@@ -167,7 +173,7 @@
           project = { lib, ... }: {
             src = config.packages.lbf-plutus-haskell;
 
-            name = "lbf-plutus-haskell";
+            name = "dev-plutustx";
 
             inherit (config.settings.haskell) index-state compiler-nix-name;
 
@@ -183,9 +189,6 @@
                 packages = {
                   allComponent.doHoogle = true;
                   allComponent.doHaddock = true;
-
-                  # Enable strict compilation
-                  lbf-plutus.configureFlags = [ "-f-dev" ];
                 };
               })
             ];
@@ -222,6 +225,68 @@
           ]).flake { };
         in
         hsNixFlake.devShell;
+
+      dev-plutarch =
+        let
+          project = { lib, ... }: {
+            src = config.packages.lbf-plutus-plutarch;
+
+            name = "dev-plutarch";
+
+            inherit (config.settings.haskell) index-state compiler-nix-name;
+
+            extraHackage = [
+              # Load Plutarch support (Prelude, Plutus)
+              "${config.packages.lbf-prelude-plutarch}"
+              "${config.packages.lbf-plutus-plutarch}"
+              "${config.packages.lbr-plutarch-src}"
+              # Load Haskell support (Prelude, Plutus)
+              "${config.packages.lbf-prelude-haskell}"
+              "${config.packages.lbf-plutus-haskell}"
+              "${config.packages.lbr-prelude-haskell-src}"
+              "${config.packages.lbr-plutus-haskell-src}"
+              # Plutarch itself
+              "${inputs.plutarch}"
+              "${inputs.plutarch}/plutarch-extra"
+            ];
+
+            modules = [
+              (_: {
+                packages = {
+                  allComponent.doHoogle = true;
+                  allComponent.doHaddock = true;
+                };
+              })
+            ];
+
+            shell = {
+
+              withHoogle = true;
+
+              exactDeps = true;
+
+              nativeBuildInputs = config.settings.shell.tools ++ [
+                config.packages.lbf-plutus-to-plutarch
+              ];
+
+              additional = ps: [ ps.lbf-prelude-plutarch ps.lbf-plutus-plutarch ps.lbr-plutarch ps.plutus-tx ps.plutus-ledger-api ];
+
+              tools = {
+                cabal = { };
+                haskell-language-server = { };
+              };
+
+              shellHook = lib.mkForce config.settings.shell.hook;
+            };
+          };
+          hsNixFlake = (pkgs.haskell-nix.cabalProject' [
+            inputs.mlabs-tooling.lib.mkHackageMod
+            inputs.mlabs-tooling.lib.moduleMod
+            project
+          ]).flake { };
+        in
+        hsNixFlake.devShell;
+
     };
   };
 }