Fixed Compiled Issues in example/nodejs(escrow example)

changelog.d/20231213_092859_nicolas.henin_revert_address.md

@@ -0,0 +1,3 @@
+### @marlowe.io/runtime-core
+
+- - `AddressBech32` is a branded type instead of newtype (`unAddressBech32` has been removed and is not necessary anymore) : [PR #127](https://github.com/input-output-hk/marlowe-ts-sdk/pull/127)

packages/runtime/client/rest/src/contract/endpoints/collection.ts

@@ -25,7 +25,6 @@ import {
   Metadata,
   TextEnvelope,
   TextEnvelopeGuard,
-  unAddressBech32,
   unTxOutRef,
   AddressesAndCollaterals,
   AddressBech32,
@@ -584,13 +583,9 @@ export const postViaAxios: (
           ...(stakeAddress && {
             "X-Stake-Address": unStakeAddressBech32(stakeAddress),
           }),
-          "X-Change-Address": unAddressBech32(
-            addressesAndCollaterals.changeAddress
-          ),
-          "X-Address": pipe(
-            addressesAndCollaterals.usedAddresses,
-            A.map(unAddressBech32),
-            (a) => a.join(",")
+          "X-Change-Address": addressesAndCollaterals.changeAddress,
+          "X-Address": pipe(addressesAndCollaterals.usedAddresses, (a) =>
+            a.join(",")
           ),
           "X-Collateral-UTxO": pipe(
             addressesAndCollaterals.collateralUTxOs,

packages/runtime/client/rest/src/contract/guards.ts

@@ -23,5 +23,4 @@ export {
   TokenMetadataGuard as TokenMetadata,
   RoleTokenConfigurationGuard as RoleTokenConfiguration,
   RolesConfigurationGuard as RolesConfiguration,
-  AddressBech32Guard as AddressBech32,
 } from "./rolesConfigurations.js";

packages/runtime/client/rest/src/contract/index.ts

@@ -16,8 +16,6 @@ export { ContractDetails } from "./details.js";
 export {
   useMintedRoles,
   mintRole,
-  AddressBech32Brand,
-  AddressBech32,
   openRole,
   ClosedRole,
   OpenRole,

packages/runtime/client/rest/src/contract/rolesConfigurations.ts

@@ -3,25 +3,8 @@ import * as t from "io-ts/lib/index.js";
 import { PolicyId, RoleName } from "@marlowe.io/language-core-v1";
 
 import * as G from "@marlowe.io/language-core-v1/guards";
-
-/**
- *  @category Roles Configuration
- */
-export interface AddressBech32Brand {
-  readonly AddressBech32: unique symbol;
-}
-
-export const AddressBech32Guard = t.brand(
-  t.string,
-  (s): s is t.Branded<string, AddressBech32Brand> => true,
-  "AddressBech32"
-);
-
-/**
- *  Cardano Address in a Bech32 format
- *  @category Roles Configuration
- */
-export type AddressBech32 = t.TypeOf<typeof AddressBech32Guard>;
+import { AddressBech32, AddressBech32Guard } from "@marlowe.io/runtime-core";
+import { assertGuardEqual, proxy } from "@marlowe.io/adapter/io-ts";
 
 /**
  *  Definition a of Closed Role Tlken
@@ -147,7 +130,7 @@ export const TokenQuantityGuard: t.Type<TokenQuantity> = t.bigint;
  */
 export interface RoleTokenConfiguration {
   recipients:
-    | { [x: string & t.Brand<AddressBech32Brand>]: TokenQuantity }
+    | { [x: AddressBech32]: TokenQuantity }
     | { OpenRole: TokenQuantity };
   metadata?: TokenMetadata;
 }
@@ -166,11 +149,21 @@ export const RoleTokenConfigurationGuard: t.Type<RoleTokenConfiguration> =
 /**
  *  @category Roles Configuration
  */
-export type MintRolesTokens = { [x: RoleName]: RoleTokenConfiguration };
+export type RoleTokenConfigurations = RoleTokenConfiguration | ClosedRole;
+
+export const RoleConfigurationsGuard = t.union([
+  RoleTokenConfigurationGuard,
+  ClosedRoleGuard,
+]);
+
+/**
+ *  @category Roles Configuration
+ */
+export type MintRolesTokens = { [x: RoleName]: RoleTokenConfigurations };
 
-export const MintRolesTokensGuard: t.Type<MintRolesTokens> = t.record(
-  G.RoleName,
-  RoleTokenConfigurationGuard
+export const MintRolesTokensGuard = assertGuardEqual(
+  proxy<MintRolesTokens>(),
+  t.record(G.RoleName, RoleConfigurationsGuard)
 );
 
 /**

packages/runtime/client/rest/src/contract/transaction/endpoints/collection.ts

@@ -25,7 +25,6 @@ import {
   TextEnvelopeGuard,
   TxId,
   TxOutRef,
-  unAddressBech32,
   unTxOutRef,
 } from "@marlowe.io/runtime-core";
 
@@ -164,13 +163,9 @@ export const postViaAxios: (axiosInstance: AxiosInstance) => POST =
             Accept:
               "application/vendor.iog.marlowe-runtime.apply-inputs-tx-json",
             "Content-Type": "application/json",
-            "X-Change-Address": unAddressBech32(
-              addressesAndCollaterals.changeAddress
-            ),
-            "X-Address": pipe(
-              addressesAndCollaterals.usedAddresses,
-              A.map(unAddressBech32),
-              (a) => a.join(",")
+            "X-Change-Address": addressesAndCollaterals.changeAddress,
+            "X-Address": pipe(addressesAndCollaterals.usedAddresses, (a) =>
+              a.join(",")
             ),
             "X-Collateral-UTxO": pipe(
               addressesAndCollaterals.collateralUTxOs,

packages/runtime/client/rest/src/payout/details.ts

@@ -8,6 +8,7 @@ import {
   AddressBech32,
   WithdrawalId,
   AssetQuantity,
+  AddressBech32Guard,
 } from "@marlowe.io/runtime-core";
 
 import { PayoutStatus } from "./status.js";
@@ -24,7 +25,7 @@ export const PayoutDetails = t.type({
   contractId: ContractIdGuard,
   withdrawalId: optionFromNullable(WithdrawalId),
   role: AssetId,
-  payoutValidatorAddress: AddressBech32,
+  payoutValidatorAddress: AddressBech32Guard,
   status: PayoutStatus,
   assets: Assets,
 });

packages/runtime/client/rest/src/withdrawal/endpoints/collection.ts

@@ -23,7 +23,6 @@ import {
   TextEnvelopeGuard,
   TxOutRef,
   WithdrawalId,
-  unAddressBech32,
   unPolicyId,
   unTxOutRef,
 } from "@marlowe.io/runtime-core";
@@ -147,13 +146,9 @@ export const postViaAxios: (axiosInstance: AxiosInstance) => POST =
           headers: {
             Accept: "application/vendor.iog.marlowe-runtime.withdraw-tx-json",
             "Content-Type": "application/json",
-            "X-Change-Address": unAddressBech32(
-              addressesAndCollaterals.changeAddress
-            ),
-            "X-Address": pipe(
-              addressesAndCollaterals.usedAddresses,
-              A.map(unAddressBech32),
-              (a) => a.join(",")
+            "X-Change-Address": addressesAndCollaterals.changeAddress,
+            "X-Address": pipe(addressesAndCollaterals.usedAddresses, (a) =>
+              a.join(",")
             ),
             "X-Collateral-UTxO": pipe(
               addressesAndCollaterals.collateralUTxOs,

packages/runtime/core/package.json

@@ -33,6 +33,7 @@
   },
   "dependencies": {
     "@marlowe.io/language-core-v1": "0.3.0-beta-rc1",
+    "@marlowe.io/adapter": "0.3.0-beta-rc1",
     "fp-ts": "^2.16.1",
     "io-ts": "2.2.21",
     "newtype-ts": "0.3.5"

packages/runtime/core/src/address.ts

@@ -2,19 +2,27 @@ import * as t from "io-ts/lib/index.js";
 import { iso, Newtype } from "newtype-ts";
 import { fromNewtype } from "io-ts-types";
 import { TxOutRef } from "./tx/outRef.js";
+import { unsafeEither } from "@marlowe.io/adapter/fp-ts";
 
-export type AddressBech32 = Newtype<
-  { readonly AddressBech32: unique symbol },
-  string
->;
-export const AddressBech32 = fromNewtype<AddressBech32>(t.string);
-export const unAddressBech32 = iso<AddressBech32>().unwrap;
-export const addressBech32 = iso<AddressBech32>().wrap;
+export interface AddressBech32Brand {
+  readonly AddressBech32: unique symbol;
+}
+
+export const AddressBech32Guard = t.brand(
+  t.string,
+  (s): s is t.Branded<string, AddressBech32Brand> => true,
+  "AddressBech32"
+);
+
+export type AddressBech32 = t.TypeOf<typeof AddressBech32Guard>;
+
+export const addressBech32 = (s: string) =>
+  unsafeEither(AddressBech32Guard.decode(s));
 
 export type AddressesAndCollaterals = t.TypeOf<typeof AddressesAndCollaterals>;
 export const AddressesAndCollaterals = t.type({
-  changeAddress: AddressBech32,
-  usedAddresses: t.array(AddressBech32),
+  changeAddress: AddressBech32Guard,
+  usedAddresses: t.array(AddressBech32Guard),
   collateralUTxOs: t.array(TxOutRef),
 });
 

packages/runtime/core/src/tsconfig.json

@@ -1,6 +1,14 @@
 {
   "extends": "../../../../tsconfig-base.json",
   "compilerOptions": {
-    "outDir": "../dist/esm"
-  }
+    "outDir": "../dist/esm",
+    "paths": {
+      "@marlowe.io/adapter/*": ["../../../../adapter/src/*"],
+      "@marlowe.io/language-core-v1/*": ["../../../../language/core/v1/src/*"]
+    }
+  },
+  "references": [
+    { "path": "../../../adapter/src" },
+    { "path": "../../../language/core/v1/src" }
+  ]
 }