@voidhash/mimic 0.0.1-alpha.9 → 0.0.1

package/dist/server/index.d.cts

@@ -1,4 +1,4 @@
-import { a as InferState, h as __export, n as AnyPrimitive, u as Transaction } from "../Primitive-Cyvy7zvF.cjs";
+import { p as Transaction, r as AnyPrimitive, s as InferState, v as __export } from "../Primitive-CvFVxR8_.cjs";
 
 //#region src/server/ServerDocument.d.ts
 declare namespace ServerDocument_d_exports {

package/dist/server/index.d.cts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.cts","names":[],"sources":["../../src/server/ServerDocument.ts","../../src/server/errors.ts"],"sourcesContent":[],"mappings":";;;;;;;;;UAWiB,kBAAA;;wBAEO;;;;;;AAFxB;AAUiB,UAAA,YAAA,CAAY;EASZ,SAAA,IAAA,EAAA,OAAe;EASpB,SAAA,aAAa,EAAA,MAAA;EAAG,SAAA,MAAA,EAAA,MAAA;;;;AAS5B;AAWiB,UA7BA,eAAA,CA6BqB;EAAiB,SAAA,IAAA,EAAA,UAAA;EAEpC,SAAA,KAAA,EAAA,OAAA;EAE4B,SAAA,OAAA,EAAA,MAAA;;;;AAc/C;AAAgD,KAtCpC,aAAA,GAAgB,kBAsCoB,GAtCC,YAsCD,GAtCgB,eAsChB;;;;AAgB1B,KA7CV,YAAA,GA6CU;EAA0B,SAAA,OAAA,EAAA,IAAA;EAM/B,SAAA,OAAA,EAAA,MAAA;CAAe,GAAA;EAgBnB,SAuJZ,OAAA,EAAA,KAAA;EAvJoC,SAAA,MAAA,EAAA,MAAA;CACJ;;;;AAChB,UA1DA,qBA0DA,CAAA,gBA1DsC,YA0DtC,CAAA,CAAA;;mBAxDE;;ECpDN,SAAA,YAAiB,CAAA,EDsDJ,UCtDiB,CDsDI,OCtDJ,CAAA;EAW9B;EAcA,SAAA,cAAA,CAAsB,EAAA,MAAA;EAgBtB;EAGe,SAAA,WAAA,EAAA,CAAA,OAAA,EDcM,kBCdN,EAAA,GAAA,IAAA;EAEkC;EALpB,SAAA,WAAA,CAAA,EAAA,CAAA,aAAA,EAAA,MAAA,EAAA,MAAA,EAAA,MAAA,EAAA,GAAA,IAAA;EAAgB;EAgB7C,SAAA,qBAAsB,CAAA,EAAA,MAAQ;AAc3C;;;;UDHiB,+BAA+B;;mBAE7B;;SAGV,WAAqB;;;;;;;;;sBAWR,cAA0B;;;;;iBAM/B;;;;;;;;;;cAgBJ,uBAAwB,uBAC1B,sBAAsB,aAC9B,eAAe;;;;;;cC5GL,gBAAA,SAAyB,KAAA;;;;;;;cAWzB,eAAA,SAAwB,gBAAA;;;EDTpB,WAAA,CAAA,aAAkB,EAAA,MAEX,EAAA,OAAA,EAAA,MAAuB;AAQ/C;AASA;AASA;;AAAiD,cCLpC,qBAAA,SAA8B,gBAAA,CDKM;EAAe,SAAA,IAAA,GAAA,uBAAA;EAAe,SAAA,aAAA,EAAA,MAAA;EASnE,SAAA,IAAA,EAAY,MAAA;EAWP,WAAA,CAAA,aAAqB,EAAA,MAAA,EAAA,IAAA,EAAA,MAAA,EAAA,OAAA,EAAA,MAAA;;;;;AAQJ,cCjBrB,oBAAA,SAA6B,gBAAA,CDiBR;EAAkB,SAAA,IAAA,GAAA,sBAAA;EAUnC,SAAA,aAAc,EAAA,MAAA;EAAiB,SAAA,KAAA,CAAA,ECxBpB,KDwBoB;EAE7B,WAAA,CAAA,aAAA,EAAA,MAAA,EAAA,OAAA,EAAA,MAAA,EAAA,KAAA,CAAA,ECxB2C,KDwB3C;;;;;AAoBF,cCjCJ,qBAAA,SAA8B,gBAAA,CDiC1B;EAAe,SAAA,IAAA,GAAA,uBAAA;EAgBnB,SAuJZ,aAAA,EAAA,MAAA;EAvJoC,WAAA,CAAA,aAAA,EAAA,MAAA;;;;;AAEpB,cCrCJ,yBAAA,SAAkC,gBAAA,CDqC9B;;;;AC5GjB"}
+{"version":3,"file":"index.d.cts","names":[],"sources":["../../src/server/ServerDocument.ts","../../src/server/errors.ts"],"sourcesContent":[],"mappings":";;;;;;;;;UAWiB,kBAAA;;wBAEO;;;;;;AAFxB;AAUiB,UAAA,YAAA,CAAY;EASZ,SAAA,IAAA,EAAA,OAAe;EASpB,SAAA,aAAa,EAAA,MAAA;EAAG,SAAA,MAAA,EAAA,MAAA;;;;AAS5B;AAWiB,UA7BA,eAAA,CA6BqB;EAAiB,SAAA,IAAA,EAAA,UAAA;EAEpC,SAAA,KAAA,EAAA,OAAA;EAE4B,SAAA,OAAA,EAAA,MAAA;;;;AAc/C;AAAgD,KAtCpC,aAAA,GAAgB,kBAsCoB,GAtCC,YAsCD,GAtCgB,eAsChB;;;;AAgB1B,KA7CV,YAAA,GA6CU;EAA0B,SAAA,OAAA,EAAA,IAAA;EAM/B,SAAA,OAAA,EAAA,MAAA;CAAe,GAAA;EAgBnB,SAuJZ,OAAA,EAAA,KAAA;EAvJoC,SAAA,MAAA,EAAA,MAAA;CACJ;;;;AAChB,UA1DA,qBA0DA,CAAA,gBA1DsC,YA0DtC,CAAA,CAAA;;mBAxDE;;ECpDN,SAAA,YAAiB,CAAA,EDsDJ,UCtDiB,CDsDI,OCtDJ,CAAA;EAW9B;EAcA,SAAA,cAAA,CAAsB,EAAA,MAAA;EAgBtB;EAGe,SAAA,WAAA,EAAA,CAAA,OAAA,EDcM,kBCdN,EAAA,GAAA,IAAA;EAEkC;EALpB,SAAA,WAAA,CAAA,EAAA,CAAA,aAAA,EAAA,MAAA,EAAA,MAAA,EAAA,MAAA,EAAA,GAAA,IAAA;EAAgB;EAgB7C,SAAA,qBAAsB,CAAA,EAAA,MAAQ;AAc3C;;;;UDHiB,+BAA+B;;mBAE7B;;SAGV,WAAqB;;;;;;;;;sBAWR,cAA0B;;;;;iBAM/B;;;;;;;;;;cAgBJ,uBAAwB,uBAC1B,sBAAsB,aAC9B,eAAe;;;;;;cC5GL,gBAAA,SAAyB,KAAA;;;;;;;cAWzB,eAAA,SAAwB,gBAAA;;;EDTpB,WAAA,CAAA,aAAkB,EAAA,MAEX,EAAA,OAAA,EAAuB,MAAA;AAQ/C;AASA;AASA;;AAAiD,cCLpC,qBAAA,SAA8B,gBAAA,CDKM;EAAe,SAAA,IAAA,GAAA,uBAAA;EAAe,SAAA,aAAA,EAAA,MAAA;EASnE,SAAA,IAAA,EAAY,MAAA;EAWP,WAAA,CAAA,aAAqB,EAAA,MAAA,EAAA,IAAA,EAAA,MAAA,EAAA,OAAA,EAAA,MAAA;;;;;AAQJ,cCjBrB,oBAAA,SAA6B,gBAAA,CDiBR;EAAkB,SAAA,IAAA,GAAA,sBAAA;EAUnC,SAAA,aAAc,EAAA,MAAA;EAAiB,SAAA,KAAA,CAAA,ECxBpB,KDwBoB;EAE7B,WAAA,CAAA,aAAA,EAAA,MAAA,EAAA,OAAA,EAAA,MAAA,EAAA,KAAA,CAAA,ECxB2C,KDwB3C;;;;;AAoBF,cCjCJ,qBAAA,SAA8B,gBAAA,CDiC1B;EAAe,SAAA,IAAA,GAAA,uBAAA;EAgBnB,SAuJZ,aAAA,EAAA,MAAA;EAvJoC,WAAA,CAAA,aAAA,EAAA,MAAA;;;;;AAEpB,cCrCJ,yBAAA,SAAkC,gBAAA,CDqC9B;;;;AC5GjB"}

package/dist/server/index.d.mts

@@ -1,4 +1,4 @@
-import { a as InferState, n as AnyPrimitive, u as Transaction } from "../Primitive-CasheIbX.mjs";
+import { p as Transaction, r as AnyPrimitive, s as InferState } from "../Primitive-lEhQyGVL.mjs";
 
 //#region src/server/ServerDocument.d.ts
 declare namespace ServerDocument_d_exports {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@voidhash/mimic",
-  "version": "0.0.1-alpha.9",
+  "version": "0.0.1",
   "type": "module",
   "repository": {
     "type": "git",
@@ -31,7 +31,7 @@
     "typescript": "5.8.3",
     "vite-tsconfig-paths": "^5.1.4",
     "vitest": "^3.2.4",
-    "@voidhash/tsconfig": "0.0.1-alpha.9"
+    "@voidhash/tsconfig": "0.0.1"
   },
   "peerDependencies": {
     "effect": "^3.19.12"

package/src/EffectSchema.ts

@@ -0,0 +1,374 @@
+/**
+ * Effect.Schema utilities for converting Mimic primitives to Effect.Schema schemas.
+ * 
+ * @since 0.0.1
+ */
+import { Schema } from "effect";
+import type { AnyPrimitive, InferSetInput, InferUpdateInput } from "./primitives/shared";
+import type { LiteralPrimitive, LiteralValue } from "./primitives/Literal";
+import type { StructPrimitive } from "./primitives/Struct";
+import type { ArrayPrimitive } from "./primitives/Array";
+import type { UnionPrimitive, UnionVariants } from "./primitives/Union";
+import type { EitherPrimitive, ScalarPrimitive } from "./primitives/Either";
+import type { LazyPrimitive } from "./primitives/Lazy";
+import type { TreeNodePrimitive, AnyTreeNodePrimitive } from "./primitives/TreeNode";
+
+// =============================================================================
+// Type-level Schema Inference
+// =============================================================================
+
+/**
+ * Infer the Effect.Schema type for a primitive's set input.
+ */
+export type ToSetSchema<T extends AnyPrimitive> = Schema.Schema<InferSetInput<T>>;
+
+/**
+ * Infer the Effect.Schema type for a primitive's update input.
+ */
+export type ToUpdateSchema<T extends AnyPrimitive> = Schema.Schema<InferUpdateInput<T>>;
+
+/**
+ * Type for TreeNode set schema - uses the node's data set input type
+ */
+export type ToTreeNodeSetSchema<T extends AnyTreeNodePrimitive> = Schema.Schema<InferSetInput<T["data"]>>;
+
+/**
+ * Type for TreeNode update schema - uses the node's data update input type
+ */
+export type ToTreeNodeUpdateSchema<T extends AnyTreeNodePrimitive> = Schema.Schema<InferUpdateInput<T["data"]>>;
+
+// =============================================================================
+// Schema for TreeNodeState
+// =============================================================================
+
+/**
+ * Schema for a tree node state (flat storage format).
+ */
+export const TreeNodeStateSchema = Schema.Struct({
+  id: Schema.String,
+  type: Schema.String,
+  parentId: Schema.NullOr(Schema.String),
+  pos: Schema.String,
+  data: Schema.Unknown,
+});
+
+// =============================================================================
+// Internal type for primitives (including those that don't implement full Primitive interface)
+// =============================================================================
+
+/**
+ * Internal type for anything that can be converted to a schema.
+ * This includes both AnyPrimitive and AnyTreeNodePrimitive.
+ */
+type ConvertiblePrimitive = { _tag: string };
+
+// =============================================================================
+// Runtime Conversion Functions
+// =============================================================================
+
+/**
+ * Check if a field is required for set operations.
+ * A field is required if: TRequired is true AND THasDefault is false.
+ * 
+ * We determine this by checking the primitive's schema properties.
+ */
+function isRequiredForSet(primitive: ConvertiblePrimitive): boolean {
+  // Access the private schema to check required and default status
+  const schema = (primitive as any)._schema;
+  if (!schema) return false;
+  
+  return schema.required === true && schema.defaultValue === undefined;
+}
+
+/**
+ * Get the base Effect.Schema for a primitive type (without optional wrapper).
+ */
+function getBaseSchema(primitive: ConvertiblePrimitive): Schema.Schema<any> {
+  switch (primitive._tag) {
+    case "StringPrimitive":
+      return Schema.String;
+    
+    case "NumberPrimitive":
+      return Schema.Number;
+    
+    case "BooleanPrimitive":
+      return Schema.Boolean;
+    
+    case "LiteralPrimitive": {
+      const literalPrimitive = primitive as unknown as LiteralPrimitive<LiteralValue, any, any>;
+      const literalValue = (literalPrimitive as any)._schema?.literal ?? (literalPrimitive as any).literal;
+      return Schema.Literal(literalValue);
+    }
+    
+    case "StructPrimitive": {
+      const structPrimitive = primitive as unknown as StructPrimitive<Record<string, AnyPrimitive>, any, any>;
+      return buildStructSetSchema(structPrimitive);
+    }
+    
+    case "ArrayPrimitive": {
+      const arrayPrimitive = primitive as unknown as ArrayPrimitive<AnyPrimitive, any, any>;
+      const elementSchema = buildElementSetSchema(arrayPrimitive.element);
+      return Schema.Array(elementSchema);
+    }
+    
+    case "UnionPrimitive": {
+      const unionPrimitive = primitive as unknown as UnionPrimitive<UnionVariants, any, any, any>;
+      return buildUnionSetSchema(unionPrimitive);
+    }
+    
+    case "EitherPrimitive": {
+      const eitherPrimitive = primitive as unknown as EitherPrimitive<readonly ScalarPrimitive[], any, any>;
+      return buildEitherSchema(eitherPrimitive);
+    }
+    
+    case "LazyPrimitive": {
+      const lazyPrimitive = primitive as unknown as LazyPrimitive<() => AnyPrimitive>;
+      // Resolve the lazy primitive and get its schema
+      const resolved = (lazyPrimitive as any)._resolve?.() ?? (lazyPrimitive as any)._thunk();
+      return getBaseSchema(resolved);
+    }
+    
+    case "TreeNodePrimitive": {
+      const treeNodePrimitive = primitive as unknown as TreeNodePrimitive<string, StructPrimitive<any>, any>;
+      // TreeNode delegates to its data struct
+      return buildStructSetSchema(treeNodePrimitive.data);
+    }
+    
+    case "TreePrimitive": {
+      // Tree returns an array of TreeNodeState
+      return Schema.Array(TreeNodeStateSchema);
+    }
+    
+    default:
+      return Schema.Unknown;
+  }
+}
+
+/**
+ * Build the set schema for a struct primitive.
+ * Required fields (required=true, no default) are non-optional.
+ * Other fields are wrapped with Schema.optional.
+ */
+function buildStructSetSchema(structPrimitive: StructPrimitive<Record<string, AnyPrimitive>, any, any>): Schema.Schema<any> {
+  const fields = structPrimitive.fields;
+  // Use any to avoid complex Schema type constraints
+  const schemaFields: Record<string, any> = {};
+  
+  for (const key in fields) {
+    const fieldPrimitive = fields[key]!;
+    const baseSchema = getBaseSchema(fieldPrimitive);
+    
+    if (isRequiredForSet(fieldPrimitive)) {
+      // Required field - use base schema directly
+      schemaFields[key] = baseSchema;
+    } else {
+      // Optional field - wrap with Schema.optional
+      schemaFields[key] = Schema.optional(baseSchema);
+    }
+  }
+  
+  return Schema.Struct(schemaFields) as any;
+}
+
+/**
+ * Build the update schema for a struct primitive.
+ * All fields are optional for partial updates.
+ */
+function buildStructUpdateSchema(structPrimitive: StructPrimitive<Record<string, AnyPrimitive>, any, any>): Schema.Schema<any> {
+  const fields = structPrimitive.fields;
+  // Use any to avoid complex Schema type constraints
+  const schemaFields: Record<string, any> = {};
+  
+  for (const key in fields) {
+    const fieldPrimitive = fields[key]!;
+    // For update, use the update schema for nested structs, otherwise base schema
+    let fieldSchema: Schema.Schema<any>;
+    
+    if (fieldPrimitive._tag === "StructPrimitive") {
+      fieldSchema = buildStructUpdateSchema(fieldPrimitive as StructPrimitive<Record<string, AnyPrimitive>, any, any>);
+    } else {
+      fieldSchema = getBaseSchema(fieldPrimitive);
+    }
+    
+    // All fields are optional in update
+    schemaFields[key] = Schema.optional(fieldSchema);
+  }
+  
+  return Schema.Struct(schemaFields) as any;
+}
+
+/**
+ * Build the set schema for an array element.
+ * For struct elements, uses the struct's set input schema.
+ */
+function buildElementSetSchema(elementPrimitive: AnyPrimitive): Schema.Schema<any> {
+  if (elementPrimitive._tag === "StructPrimitive") {
+    return buildStructSetSchema(elementPrimitive as StructPrimitive<Record<string, AnyPrimitive>, any, any>);
+  }
+  return getBaseSchema(elementPrimitive);
+}
+
+/**
+ * Build the set schema for a union primitive.
+ * Creates a Schema.Union of all variant schemas.
+ */
+function buildUnionSetSchema(unionPrimitive: UnionPrimitive<UnionVariants, any, any, any>): Schema.Schema<any> {
+  const variants = unionPrimitive.variants;
+  const variantSchemas: Schema.Schema<any>[] = [];
+  
+  for (const key in variants) {
+    const variantPrimitive = variants[key]!;
+    variantSchemas.push(buildStructSetSchema(variantPrimitive));
+  }
+  
+  if (variantSchemas.length === 0) {
+    return Schema.Unknown;
+  }
+  
+  if (variantSchemas.length === 1) {
+    return variantSchemas[0]!;
+  }
+  
+  return Schema.Union(...variantSchemas as [Schema.Schema<any>, Schema.Schema<any>, ...Schema.Schema<any>[]]);
+}
+
+/**
+ * Build the schema for an either primitive.
+ * Creates a Schema.Union of all scalar variant types.
+ */
+function buildEitherSchema(eitherPrimitive: EitherPrimitive<readonly ScalarPrimitive[], any, any>): Schema.Schema<any> {
+  const variants = eitherPrimitive.variants;
+  const variantSchemas: Schema.Schema<any>[] = [];
+  
+  for (const variant of variants) {
+    variantSchemas.push(getBaseSchema(variant as unknown as ConvertiblePrimitive));
+  }
+  
+  if (variantSchemas.length === 0) {
+    return Schema.Unknown;
+  }
+  
+  if (variantSchemas.length === 1) {
+    return variantSchemas[0]!;
+  }
+  
+  return Schema.Union(...variantSchemas as [Schema.Schema<any>, Schema.Schema<any>, ...Schema.Schema<any>[]]);
+}
+
+/**
+ * Build the update schema for a union primitive.
+ * Creates a Schema.Union of all variant update schemas.
+ */
+function buildUnionUpdateSchema(unionPrimitive: UnionPrimitive<UnionVariants, any, any, any>): Schema.Schema<any> {
+  const variants = unionPrimitive.variants;
+  const variantSchemas: Schema.Schema<any>[] = [];
+  
+  for (const key in variants) {
+    const variantPrimitive = variants[key]!;
+    variantSchemas.push(buildStructUpdateSchema(variantPrimitive));
+  }
+  
+  if (variantSchemas.length === 0) {
+    return Schema.Unknown;
+  }
+  
+  if (variantSchemas.length === 1) {
+    return variantSchemas[0]!;
+  }
+  
+  return Schema.Union(...variantSchemas as [Schema.Schema<any>, Schema.Schema<any>, ...Schema.Schema<any>[]]);
+}
+
+/**
+ * Get the update schema for a primitive.
+ * For structs, all fields are optional (partial updates).
+ * For simple primitives, same as set schema.
+ */
+function getUpdateSchema(primitive: ConvertiblePrimitive): Schema.Schema<any> {
+  switch (primitive._tag) {
+    case "StructPrimitive": {
+      const structPrimitive = primitive as unknown as StructPrimitive<Record<string, AnyPrimitive>, any, any>;
+      return buildStructUpdateSchema(structPrimitive);
+    }
+    
+    case "UnionPrimitive": {
+      const unionPrimitive = primitive as unknown as UnionPrimitive<UnionVariants, any, any, any>;
+      return buildUnionUpdateSchema(unionPrimitive);
+    }
+    
+    case "TreeNodePrimitive": {
+      const treeNodePrimitive = primitive as unknown as TreeNodePrimitive<string, StructPrimitive<any>, any>;
+      // TreeNode update delegates to data struct's update schema (all fields optional)
+      return buildStructUpdateSchema(treeNodePrimitive.data);
+    }
+    
+    case "LazyPrimitive": {
+      const lazyPrimitive = primitive as unknown as LazyPrimitive<() => AnyPrimitive>;
+      const resolved = (lazyPrimitive as any)._resolve?.() ?? (lazyPrimitive as any)._thunk();
+      return getUpdateSchema(resolved);
+    }
+    
+    default:
+      // For simple primitives, update schema is same as set schema
+      return getBaseSchema(primitive);
+  }
+}
+
+// =============================================================================
+// Public API
+// =============================================================================
+
+/**
+ * Convert a Mimic primitive to an Effect.Schema for set operations.
+ * 
+ * The resulting schema:
+ * - For structs: required fields (required=true, no default) are non-optional, others are optional
+ * - For arrays: uses the element's set schema
+ * - For unions: creates a Schema.Union of variant schemas
+ * - For TreeNode: delegates to the node's data struct schema
+ * - For Tree: returns Schema.Array of TreeNodeState
+ * 
+ * @example
+ * ```typescript
+ * const UserSchema = Primitive.Struct({
+ *   name: Primitive.String().required(),
+ *   age: Primitive.Number().default(0),
+ *   email: Primitive.String(),
+ * });
+ * 
+ * const SetSchema = toSetSchema(UserSchema);
+ * // { name: string, age?: number, email?: string }
+ * ```
+ */
+export function toSetSchema<T extends AnyPrimitive>(primitive: T): ToSetSchema<T>;
+export function toSetSchema<T extends AnyTreeNodePrimitive>(primitive: T): ToTreeNodeSetSchema<T>;
+export function toSetSchema(primitive: ConvertiblePrimitive): Schema.Schema<any> {
+  return getBaseSchema(primitive);
+}
+
+/**
+ * Convert a Mimic primitive to an Effect.Schema for update operations.
+ * 
+ * The resulting schema:
+ * - For structs: all fields are optional (partial updates)
+ * - For unions: all variant fields are optional
+ * - For TreeNode: delegates to the node's data struct update schema
+ * - For simple primitives: same as set schema
+ * 
+ * @example
+ * ```typescript
+ * const UserSchema = Primitive.Struct({
+ *   name: Primitive.String().required(),
+ *   age: Primitive.Number().default(0),
+ *   email: Primitive.String(),
+ * });
+ * 
+ * const UpdateSchema = toUpdateSchema(UserSchema);
+ * // { name?: string, age?: string, email?: string }
+ * ```
+ */
+export function toUpdateSchema<T extends AnyPrimitive>(primitive: T): ToUpdateSchema<T>;
+export function toUpdateSchema<T extends AnyTreeNodePrimitive>(primitive: T): ToTreeNodeUpdateSchema<T>;
+export function toUpdateSchema(primitive: ConvertiblePrimitive): Schema.Schema<any> {
+  return getUpdateSchema(primitive);
+}

package/src/index.ts

@@ -10,3 +10,4 @@ export * as OperationPath from "./OperationPath.js";
 export * as ProxyEnvironment from "./ProxyEnvironment.js";
 export * as Transform from "./Transform.js";
 export * as Presence from "./Presence.js";
+export * as EffectSchema from "./EffectSchema.js";