@kontor/kontor-sdk 1.0.0-alpha.39 → 1.0.0-alpha.40

package/src/wit/wit-parser/core/types/records.test-d.ts

@@ -1,331 +0,0 @@
-import { expectTypeOf, test } from "vitest";
-
-// TODO: audit discrepancies in this whole file
-import type {
-  ParseRecords,
-  ParseRecord,
-  ParseRecordProperties,
-  // RecordLookup,
-} from "./records.js";
-
-type Records = {
-  "contract-address": readonly [
-    { readonly name: "name"; readonly type: "string" },
-    { readonly name: "height"; readonly type: "s64" },
-    { readonly name: "tx-index"; readonly type: "s64" },
-  ];
-};
-
-test("ParseRecords", () => {
-  expectTypeOf<
-    ParseRecords<
-      [
-        "record contract-address {  name: string, height: s64, tx-index: s64 }",
-        "record token-pair {  a: contract-address, b: contract-address }",
-      ]
-    >
-  >().toEqualTypeOf<{
-    "contract-address": readonly [
-      {
-        readonly name: "name";
-        readonly type: "string";
-        readonly internalType: "string";
-      },
-      {
-        readonly name: "height";
-        readonly type: "s64";
-        readonly internalType: "s64";
-      },
-      {
-        readonly name: "tx-index";
-        readonly type: "s64";
-        readonly internalType: "s64";
-      },
-    ];
-
-    "token-pair": readonly [
-      {
-        readonly type: "tuple";
-        readonly name: "a";
-        // TODO: should include internalType
-        readonly components: readonly [
-          {
-            readonly name: "name";
-            readonly type: "string";
-            readonly internalType: "string";
-          },
-          {
-            readonly name: "height";
-            readonly type: "s64";
-            readonly internalType: "s64";
-          },
-          {
-            readonly name: "tx-index";
-            readonly type: "s64";
-            readonly internalType: "s64";
-          },
-        ];
-      },
-      {
-        readonly type: "tuple";
-        readonly name: "b";
-        readonly components: readonly [
-          {
-            readonly name: "name";
-            readonly type: "string";
-            readonly internalType: "string";
-          },
-          {
-            readonly name: "height";
-            readonly type: "s64";
-            readonly internalType: "s64";
-          },
-          {
-            readonly name: "tx-index";
-            readonly type: "s64";
-            readonly internalType: "s64";
-          },
-        ];
-      },
-    ];
-  }>();
-  expectTypeOf<
-    ParseRecords<
-      [
-        "record contract-address {  name: string, height: s64, tx-index: s64 }",
-        "record token-pair {  values: list<contract-address> }",
-      ]
-    >
-  >().toEqualTypeOf<{
-    "contract-address": readonly [
-      {
-        readonly name: "name";
-        readonly type: "string";
-        readonly internalType: "string";
-      },
-      {
-        readonly name: "height";
-        readonly type: "s64";
-        readonly internalType: "s64";
-      },
-      {
-        readonly name: "tx-index";
-        readonly type: "s64";
-        readonly internalType: "s64";
-      },
-    ];
-
-    "token-pair": readonly [
-      {
-        readonly name: "values";
-        readonly type: "list<contract-address>";
-        readonly internalType: "list<contract-address>";
-      },
-    ];
-  }>();
-  expectTypeOf<
-    ParseRecords<["record contract-address {  cycle: contract-address }"]>
-  >().toEqualTypeOf<{
-    "contract-address": readonly [
-      {
-        readonly name: "cycle";
-        readonly type: "tuple";
-        readonly components: readonly [
-          [
-            'Error: Circular reference detected. Record "contract-address" is a circular reference.',
-          ],
-        ];
-      },
-    ];
-  }>();
-});
-
-test("ParseRecord", () => {
-  expectTypeOf<
-    ParseRecord<"record contract-address {  name: string, height: s64, tx-index: s64 }">
-  >().toEqualTypeOf<{
-    readonly name: "contract-address";
-    readonly components: [
-      {
-        readonly name: "name";
-        readonly type: "string";
-        readonly internalType: "string";
-      },
-      {
-        readonly name: "height";
-        readonly type: "s64";
-        readonly internalType: "s64";
-      },
-      {
-        readonly name: "tx-index";
-        readonly type: "s64";
-        readonly internalType: "s64";
-      },
-    ];
-  }>();
-
-  expectTypeOf<
-    ParseRecord<"record token-pair {  a: contract-address, b: contract-address }">
-  >().toEqualTypeOf<{
-    readonly name: "token-pair";
-    readonly components: [
-      {
-        readonly name: "a";
-        readonly type: "contract-address";
-        readonly internalType: "contract-address";
-      },
-      {
-        readonly name: "b";
-        readonly type: "contract-address";
-        readonly internalType: "contract-address";
-      },
-    ];
-  }>();
-
-  expectTypeOf<
-    ParseRecord<
-      "record token-pair {  a: contract-address, b: contract-address }",
-      Records
-    >
-  >().toEqualTypeOf<{
-    readonly name: "token-pair";
-    readonly components: [
-      {
-        readonly type: "tuple";
-        readonly name: "a";
-        readonly internalType: "contract-address";
-        readonly components: readonly [
-          {
-            // TODO: why aren't we getting internalType here
-            readonly name: "name";
-            readonly type: "string";
-          },
-          {
-            readonly name: "height";
-            readonly type: "s64";
-          },
-          {
-            readonly name: "tx-index";
-            readonly type: "s64";
-          },
-        ];
-      },
-      {
-        readonly type: "tuple";
-        readonly name: "b";
-        readonly internalType: "contract-address";
-        readonly components: readonly [
-          {
-            readonly name: "name";
-            readonly type: "string";
-          },
-          {
-            readonly name: "height";
-            readonly type: "s64";
-          },
-          {
-            readonly name: "tx-index";
-            readonly type: "s64";
-          },
-        ];
-      },
-    ];
-  }>();
-});
-
-test("ParseRecordProperties", () => {
-  expectTypeOf<
-    ParseRecordProperties<"name: string, height: s64, tx-index: s64">
-  >().toEqualTypeOf<
-    [
-      {
-        readonly name: "name";
-        readonly type: "string";
-        readonly internalType: "string";
-      },
-      {
-        readonly name: "height";
-        readonly type: "s64";
-        readonly internalType: "s64";
-      },
-      {
-        readonly name: "tx-index";
-        readonly type: "s64";
-        readonly internalType: "s64";
-      },
-    ]
-  >();
-
-  expectTypeOf<
-    ParseRecordProperties<"a: contract-address, b: contract-address">
-  >().toEqualTypeOf<
-    [
-      {
-        readonly name: "a";
-        readonly type: "contract-address";
-        readonly internalType: "contract-address";
-      },
-      {
-        readonly name: "b";
-        readonly type: "contract-address";
-        readonly internalType: "contract-address";
-      },
-    ]
-  >();
-
-  expectTypeOf<
-    ParseRecordProperties<"a: contract-address, b: contract-address", Records>
-  >().toEqualTypeOf<
-    [
-      {
-        readonly type: "tuple";
-        readonly name: "a";
-        readonly internalType: "contract-address";
-        readonly components: readonly [
-          { readonly name: "name"; readonly type: "string" },
-          { readonly name: "height"; readonly type: "s64" },
-          { readonly name: "tx-index"; readonly type: "s64" },
-        ];
-      },
-      {
-        readonly type: "tuple";
-        readonly name: "b";
-        readonly internalType: "contract-address";
-        readonly components: readonly [
-          { readonly name: "name"; readonly type: "string" },
-          { readonly name: "height"; readonly type: "s64" },
-          { readonly name: "tx-index"; readonly type: "s64" },
-        ];
-      },
-    ]
-  >();
-
-  expectTypeOf<
-    ParseRecordProperties<"values: list<string>", Records>
-  >().toEqualTypeOf<
-    [
-      {
-        readonly name: "values";
-        readonly type: "list<string>";
-        readonly internalType: "list<string>";
-      },
-    ]
-  >();
-
-  expectTypeOf<
-    ParseRecordProperties<"values: list<contract-address>", Records>
-  >().toEqualTypeOf<
-    [
-      {
-        readonly name: "values";
-        readonly type: "list<tuple>";
-        readonly internalType: "list<contract-address>";
-        readonly components: readonly [
-          { readonly name: "name"; readonly type: "string" },
-          { readonly name: "height"; readonly type: "s64" },
-          { readonly name: "tx-index"; readonly type: "s64" },
-        ];
-      },
-    ]
-  >();
-});

package/src/wit/wit-parser/core/types/records.ts

@@ -1,91 +0,0 @@
-import type { WitParameter } from "../../../wit.js";
-import type { Trim } from "../../../type-utils.js";
-import type { RecordSignature } from "./signatures.js";
-import type { ParseWitParameter } from "./utils.js";
-import type { Error_ } from "../../../error.js";
-
-export type RecordLookup = Record<string, readonly WitParameter[]>;
-
-export type ParseRecords<signatures extends readonly string[]> =
-  // Create "shallow" version of each record (and filter out non-records or invalid records)
-  {
-    [signature in signatures[number] as ParseRecord<signature> extends infer record extends
-      {
-        name: string;
-      }
-      ? record["name"]
-      : never]: ParseRecord<signature>["components"];
-  } extends infer records extends Record<
-    string,
-    readonly (WitParameter & { type: string })[]
-  >
-    ? // Resolve nested records inside each record
-      {
-        [recordName in keyof records]: ResolveRecords<
-          records[recordName],
-          records
-        >;
-      }
-    : never;
-
-export type ParseRecord<
-  signature extends string,
-  records extends RecordLookup | unknown = unknown,
-> =
-  signature extends RecordSignature<infer name, infer properties>
-    ? {
-        readonly name: Trim<name>;
-        readonly components: ParseRecordProperties<properties, records>;
-      }
-    : never;
-
-export type ParseRecordProperties<
-  signature extends string,
-  records extends RecordLookup | unknown = unknown,
-  result extends any[] = [],
-> =
-  Trim<signature> extends `${infer head},${infer tail}`
-    ? ParseRecordProperties<
-        tail,
-        records,
-        [...result, ParseWitParameter<head, { records: records }>]
-      >
-    : Trim<signature> extends ""
-      ? result
-      : [...result, ParseWitParameter<signature, { records: records }>];
-
-export type ResolveRecords<
-  witParameters extends readonly (WitParameter & { type: string })[],
-  structs extends Record<string, readonly (WitParameter & { type: string })[]>,
-  keyReferences extends { [_: string]: unknown } | unknown = unknown,
-> = readonly [
-  ...{
-    [key in keyof witParameters]: witParameters[key]["type"] extends `${infer head extends
-      string & keyof structs}<${infer tail}>`
-      ? head extends keyof keyReferences
-        ? Error_<`Circular reference detected. Record "${witParameters[key]["type"]}" is a circular reference.`>
-        : {
-            readonly name: witParameters[key]["name"];
-            readonly type: `tuple<${tail}>`;
-            readonly components: ResolveRecords<
-              structs[head],
-              structs,
-              keyReferences & { [_ in head]: true }
-            >;
-          }
-      : // Basic struct (e.g. `type: 'Struct'`)
-        witParameters[key]["type"] extends keyof structs
-        ? witParameters[key]["type"] extends keyof keyReferences
-          ? Error_<`Circular reference detected. Record "${witParameters[key]["type"]}" is a circular reference.`>
-          : {
-              readonly name: witParameters[key]["name"];
-              readonly type: "tuple";
-              readonly components: ResolveRecords<
-                structs[witParameters[key]["type"]],
-                structs,
-                keyReferences & { [_ in witParameters[key]["type"]]: true }
-              >;
-            }
-        : witParameters[key];
-  },
-];