TS lbr-plutus golden tests

Author: jared

flake.nix

@@ -93,6 +93,7 @@
         ./testsuites/lbt-plutus/golden/build.nix
         ./testsuites/lbt-plutus/lbt-plutus-haskell/build.nix
         ./testsuites/lbt-plutus/lbt-plutus-purescript/build.nix
+        ./testsuites/lbt-plutus/lbt-plutus-typescript/build.nix
         ./testsuites/lbt-plutus/lbt-plutus-plutarch/build.nix
         ./testsuites/lbt-plutus/lbt-plutus-rust/build.nix
         ./experimental/build.nix

runtimes/typescript/lbr-plutus/src/LambdaBuffers/V1/Instances.ts

@@ -247,6 +247,29 @@ declare module "../PlutusData.js" {
 PlutusData.IsPlutusData[Symbols.UpperBound] =
   PlutusLedgerApiV1.isPlutusDataUpperBound;
 
+// Closure
+declare module "lbr-prelude" {
+  export interface EqInstances {
+    [Symbols.Closure]: Prelude.Eq<PlutusLedgerApiV1.Closure>;
+  }
+
+  export interface JsonInstances {
+    [Symbols.Closure]: Prelude.Json<PlutusLedgerApiV1.Closure>;
+  }
+}
+
+LbrPrelude.Eq[Symbols.Closure] = Prelude.eqBool;
+LbrPrelude.Json[Symbols.Closure] = Prelude.jsonBool;
+
+declare module "../PlutusData.js" {
+  export interface IsPlutusDataInstances {
+    [Symbols.Closure]: PlutusLedgerApiPlutusData.IsPlutusData<
+      PlutusLedgerApiV1.Closure
+    >;
+  }
+}
+PlutusData.IsPlutusData[Symbols.Closure] = PlutusLedgerApiV1.isPlutusDataBool;
+
 // Redeemer
 declare module "lbr-prelude" {
   export interface EqInstances {

runtimes/typescript/lbr-plutus/src/LambdaBuffers/V1/Symbols.ts

@@ -11,6 +11,7 @@ export const Interval: unique symbol = Symbol("Interval");
 export const Extended: unique symbol = Symbol("Extended");
 export const LowerBound: unique symbol = Symbol("LowerBound");
 export const UpperBound: unique symbol = Symbol("UpperBound");
+export const Closure: unique symbol = Symbol("Closure");
 export const Redeemer: unique symbol = Symbol("Redeemer");
 export const Datum: unique symbol = Symbol("Datum");
 export const DatumHash: unique symbol = Symbol("DatumHash");
@@ -36,6 +37,7 @@ export type Interval<A> = PlutusLedgerApiV1.Interval<A>;
 export type Extended<A> = PlutusLedgerApiV1.Extended<A>;
 export type LowerBound<A> = PlutusLedgerApiV1.LowerBound<A>;
 export type UpperBound<A> = PlutusLedgerApiV1.UpperBound<A>;
+export type Closure = PlutusLedgerApiV1.Closure;
 export type Redeemer = PlutusLedgerApiV1.Redeemer;
 export type Datum = PlutusLedgerApiV1.Datum;
 export type DatumHash = PlutusLedgerApiV1.DatumHash;

testsuites/lbt-plutus/api/build.nix

@@ -26,6 +26,13 @@ _: {
           files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
         };
 
+        lbf-plutus-golden-api-typescript = (config.lbf-nix.lbfPlutusTypescript {
+          name = "lbf-plutus-golden-api";
+          src = ./.;
+          files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
+        }).packages.lbf-plutus-golden-api-typescript-tgz
+        ;
+
       };
     };
 }

testsuites/lbt-plutus/golden/build.nix

@@ -22,6 +22,14 @@ _:
           phases = "installPhase";
           installPhase = "ln -s $src $out";
         };
+
+        lbt-plutus-golden-typescript = pkgs.stdenv.mkDerivation {
+          name = "lbt-plutus-golden-data";
+          src = ./.;
+          phases = "installPhase";
+          installPhase = ''ln -s "$src" "$out"'';
+        };
+
       };
 
     };

testsuites/lbt-plutus/lbt-plutus-typescript/.gitignore

@@ -0,0 +1,2 @@
+.extra-dependencies
+data

testsuites/lbt-plutus/lbt-plutus-typescript/build.nix

@@ -0,0 +1,28 @@
+{ inputs, ... }:
+{
+  perSystem = { config, system, ... }:
+    let
+      tsFlake =
+        inputs.flake-lang.lib.${system}.typescriptFlake {
+          name = "lbt-plutus";
+          src = ./.;
+          npmExtraDependencies = [
+            config.packages.lbf-plutus-golden-api-typescript
+          ];
+
+          devShellTools = config.settings.shell.tools;
+          devShellHook = config.settings.shell.hook;
+
+          data =
+            [
+              {
+                name = "lbt-plutus-golden-data";
+                path = config.packages.lbt-plutus-golden-typescript;
+              }
+            ];
+        };
+    in
+    {
+      inherit (tsFlake) devShells checks;
+    };
+}

testsuites/lbt-plutus/lbt-plutus-typescript/package-lock.json

@@ -0,0 +1,32 @@
+{
+  "name": "lbf-prelude-typescript",
+  "version": "1.0.0",
+  "description": "Test suite project for LambdaBuffers",
+  "type": "module",
+  "exports": {
+    ".": "./dist/index.mjs",
+    "./package.json": "./package.json"
+  },
+  "scripts": {
+    "build": "npx tsc -b src/",
+    "test": "node --test"
+  },
+  "author": "Jared Pon",
+  "license": "ISC",
+  "files": [
+    "./dist/**/*"
+  ],
+  "devDependencies": {
+    "@types/node": "^20.11.7",
+    "typescript": "^5.3.3"
+  },
+  "dependencies": {
+    "lbf-plutus": "file:.extra-dependencies/lbf-plutus-1.0.0.tgz",
+    "lbf-plutus-golden-api": "file:.extra-dependencies/lbf-plutus-golden-api-1.0.0.tgz",
+    "lbf-prelude": "file:.extra-dependencies/lbf-prelude-1.0.0.tgz",
+    "lbr-plutus": "file:.extra-dependencies/lbr-plutus-1.0.0.tgz",
+    "lbr-prelude": "file:.extra-dependencies/lbr-prelude-1.0.0.tgz",
+    "plutus-ledger-api": "file:.extra-dependencies/plutus-ledger-api-1.0.0.tgz",
+    "prelude": "file:.extra-dependencies/prelude-1.0.1.tgz"
+  }
+}