@game-infra/valibot-to-csharp 0.1.0 → 0.2.0

package/dist/variants.d.ts

@@ -0,0 +1,63 @@
+/**
+ * Classifying a union: which field tags its members, what every member has in common, and the
+ * shapes the emitter knows how to render.
+ */
+import type { ObjectField, ObjectNode, SchemaNode } from "./ir.js";
+/**
+ * Decision: structural union shapes supported by the emitter.
+ *
+ * 'enum':          every member is a literal / picklist string
+ * 'stringOrList':  exactly string | string[]
+ * 'discriminated': every member is object({ type: literal('X'), ... })
+ * 'generic':       fallback; emitted as JsonElement with a note
+ */
+export type UnionShape = {
+    kind: "enum";
+    values: string[];
+} | {
+    kind: "stringOrList";
+} | {
+    kind: "discriminated";
+    discriminator: string;
+    members: ResolvedVariantMember[];
+} | {
+    kind: "generic";
+};
+export interface ResolvedVariantMember {
+    /** Literal value of the discriminator for this member. */
+    tag: string;
+    /** The C# type name representing this variant. */
+    typeName: string;
+    /** The object schema powering this member. */
+    schema: ObjectNode;
+    /** Where it came from: the source const name, if it's a named schema. */
+    sourceName?: string;
+}
+/**
+ * The fields every member of a variant declares identically, discriminator excluded.
+ *
+ * "Identically" is by name, by nullability and by the whole schema shape: two members that both
+ * have a `payload` of different shapes share a name and nothing else, and hoisting that to the base
+ * would be a lie the compiler would then enforce.
+ */
+export declare function sharedFields(members: readonly ResolvedVariantMember[], discriminator: string): ObjectField[];
+/** A field that can carry a variant's discriminator: only a string literal can. */
+export declare function isTagField(field: ObjectField): boolean;
+/**
+ * The field a union tags its members by when no `variant(...)` declared one.
+ *
+ * Only a guess, and only for a bare `union([...])`: a `variant("op", ...)` states the
+ * discriminator outright and is taken at its word instead. A `schemaVersion: literal(1)`
+ * beside the tag is a constant field, not a second discriminator, so only string literals
+ * are eligible.
+ */
+export declare function inferTagField(obj: ObjectNode): ObjectField | null;
+/** How a member is named in a note, before it has resolved to a C# type. */
+export declare function describeMember(node: SchemaNode): string;
+/**
+ * Whether a named schema emits as a polymorphic base, as far as can be told without a module
+ * to resolve refs against. Used only to order the emit — bases before everything else, so a
+ * member is reserved by the time something references it — never for correctness.
+ */
+export declare function isVariantLike(node: SchemaNode): boolean;
+//# sourceMappingURL=variants.d.ts.map

package/dist/variants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variants.d.ts","sourceRoot":"","sources":["../src/variants.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAEnE;;;;;;;GAOG;AACH,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,GACxB;IACE,IAAI,EAAE,eAAe,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,qBAAqB,EAAE,CAAC;CAClC,GACD;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAExB,MAAM,WAAW,qBAAqB;IACpC,0DAA0D;IAC1D,GAAG,EAAE,MAAM,CAAC;IACZ,kDAAkD;IAClD,QAAQ,EAAE,MAAM,CAAC;IACjB,8CAA8C;IAC9C,MAAM,EAAE,UAAU,CAAC;IACnB,yEAAyE;IACzE,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,OAAO,EAAE,SAAS,qBAAqB,EAAE,EACzC,aAAa,EAAE,MAAM,GACpB,WAAW,EAAE,CAQf;AAWD,mFAAmF;AACnF,wBAAgB,UAAU,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAEtD;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,UAAU,GAAG,WAAW,GAAG,IAAI,CAMjE;AAED,4EAA4E;AAC5E,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAEvD;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,UAAU,GAAG,OAAO,CAYvD"}

package/dist/variants.js

@@ -0,0 +1,63 @@
+/**
+ * Classifying a union: which field tags its members, what every member has in common, and the
+ * shapes the emitter knows how to render.
+ */
+/**
+ * The fields every member of a variant declares identically, discriminator excluded.
+ *
+ * "Identically" is by name, by nullability and by the whole schema shape: two members that both
+ * have a `payload` of different shapes share a name and nothing else, and hoisting that to the base
+ * would be a lie the compiler would then enforce.
+ */
+export function sharedFields(members, discriminator) {
+    const [first, ...rest] = members;
+    if (!first || members.length < 2)
+        return [];
+    return first.schema.fields.filter((candidate) => candidate.name !== discriminator &&
+        rest.every((member) => member.schema.fields.some((other) => sameField(candidate, other))));
+}
+function sameField(left, right) {
+    return (left.name === right.name &&
+        left.optional === right.optional &&
+        left.nullable === right.nullable &&
+        JSON.stringify(left.schema) === JSON.stringify(right.schema));
+}
+/** A field that can carry a variant's discriminator: only a string literal can. */
+export function isTagField(field) {
+    return field.schema.kind === "literal" && typeof field.schema.value === "string";
+}
+/**
+ * The field a union tags its members by when no `variant(...)` declared one.
+ *
+ * Only a guess, and only for a bare `union([...])`: a `variant("op", ...)` states the
+ * discriminator outright and is taken at its word instead. A `schemaVersion: literal(1)`
+ * beside the tag is a constant field, not a second discriminator, so only string literals
+ * are eligible.
+ */
+export function inferTagField(obj) {
+    return (obj.fields.find((field) => isTagField(field) && field.name === "type") ??
+        obj.fields.find(isTagField) ??
+        null);
+}
+/** How a member is named in a note, before it has resolved to a C# type. */
+export function describeMember(node) {
+    return node.kind === "ref" ? `"${node.name}"` : "an inline member";
+}
+/**
+ * Whether a named schema emits as a polymorphic base, as far as can be told without a module
+ * to resolve refs against. Used only to order the emit — bases before everything else, so a
+ * member is reserved by the time something references it — never for correctness.
+ */
+export function isVariantLike(node) {
+    if (node.kind === "variant")
+        return true;
+    if (node.kind === "union") {
+        // Heuristic: unions of all-object-literals with a shared discriminator.
+        // Re-classifying here would require the context; keep it simple and let
+        // the emitter decide. This ordering only affects when emitNamed runs for
+        // the base, not correctness.
+        return (node.members.length > 0 && node.members.every((m) => m.kind === "object" || m.kind === "ref"));
+    }
+    return false;
+}
+//# sourceMappingURL=variants.js.map

package/dist/variants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variants.js","sourceRoot":"","sources":["../src/variants.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAiCH;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,OAAyC,EACzC,aAAqB;IAErB,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC;IACjC,IAAI,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5C,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAC/B,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,IAAI,KAAK,aAAa;QAChC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,IAAiB,EAAE,KAAkB;IACtD,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;QACxB,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;QAChC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;QAChC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAC7D,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,UAAU,CAAC,KAAkB;IAC3C,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC;AACnF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,GAAe;IAC3C,OAAO,CACL,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;QACtE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;QAC3B,IAAI,CACL,CAAC;AACJ,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,cAAc,CAAC,IAAgB;IAC7C,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,kBAAkB,CAAC;AACrE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,IAAgB;IAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,wEAAwE;QACxE,wEAAwE;QACxE,yEAAyE;QACzE,6BAA6B;QAC7B,OAAO,CACL,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAC9F,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@game-infra/valibot-to-csharp",
-  "version": "0.1.0",
+  "version": "0.2.0",
   "description": "Generate idiomatic C# record types from TypeScript valibot schemas",
   "homepage": "https://github.com/kibertoad/game-infra/tree/main/packages/valibot-to-csharp#readme",
   "bugs": {
@@ -33,11 +33,11 @@
     "@typescript/typescript6": "^6.0.2"
   },
   "devDependencies": {
-    "@types/node": "^26.1.2",
+    "@types/node": "^26.4.1",
     "rimraf": "^6.1.3",
     "typescript": "^7.0.2",
     "valibot": "^1.4.2",
-    "vitest": "^4.1.10"
+    "vitest": "^4.1.11"
   },
   "scripts": {
     "build": "rimraf dist && tsc --project tsconfig.build.json",