polen 0.11.0-next.13 → 0.11.0-next.15

package/build/lib/helpers.js

@@ -1,16 +1,60 @@
-import { Err, Manifest } from '@wollybeard/kit';
+import { S } from '#lib/kit-temp/effect';
+import { FileSystem } from '@effect/platform';
+import { Effect } from 'effect';
+import * as Path from 'node:path';
+// ============================================================================
+// Error Types
+// ============================================================================
+export class PackageJsonNotFound extends S.TaggedError()('PackageJsonNotFound', {
+    projectRoot: S.String,
+    message: S.String,
+}) {
+}
+export class PackageJsonReadError extends S.TaggedError()('PackageJsonReadError', {
+    projectRoot: S.String,
+    message: S.String,
+}) {
+}
+export class PackageJsonParseError extends S.TaggedError()('PackageJsonParseError', {
+    projectRoot: S.String,
+    message: S.String,
+}) {
+}
+// ============================================================================
+// Core Function
+// ============================================================================
 /**
  * Check if a project has a package installed by examining its package.json
  */
-export async function checkIsProjectHasPackageInstalled(projectRoot, packageName) {
-    const packageJson = await Manifest.resource.read(projectRoot);
-    if (Err.is(packageJson)) {
-        if (packageJson._tag === `ResourceErrorNotFound`)
-            return false;
-        throw packageJson;
+export const checkIsProjectHasPackageInstalled = (projectRoot, packageName) => Effect.gen(function* () {
+    const fs = yield* FileSystem.FileSystem;
+    const packageJsonPath = Path.join(projectRoot, 'package.json');
+    // Check if package.json exists
+    const exists = yield* fs.exists(packageJsonPath).pipe(Effect.mapError((error) => new PackageJsonReadError({
+        projectRoot,
+        message: `Failed to check if package.json exists: ${error.message || String(error)}`,
+    })));
+    if (!exists) {
+        return yield* Effect.fail(new PackageJsonNotFound({
+            projectRoot,
+            message: `package.json not found in ${projectRoot}`,
+        }));
     }
-    // Check if React is in dependencies or devDependencies
+    // Read package.json content
+    const content = yield* fs.readFileString(packageJsonPath).pipe(Effect.mapError((error) => new PackageJsonReadError({
+        projectRoot,
+        message: `Failed to read package.json: ${error.message || String(error)}`,
+    })));
+    // Parse JSON
+    const packageJson = yield* Effect.try({
+        try: () => JSON.parse(content),
+        catch: (error) => new PackageJsonParseError({
+            projectRoot,
+            message: `Invalid JSON in package.json: ${error instanceof Error ? error.message : String(error)}`,
+        }),
+    });
+    // Check if package is in dependencies or devDependencies
     return !!(packageJson.dependencies?.[packageName]
         ?? packageJson.devDependencies?.[packageName]);
-}
+});
 //# sourceMappingURL=helpers.js.map

package/build/lib/helpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../src/lib/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAE/C;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,WAAmB,EACnB,WAAmB;IAEnB,MAAM,WAAW,GAAG,MAAM,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;IAE7D,IAAI,GAAG,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;QACxB,IAAI,WAAW,CAAC,IAAI,KAAK,uBAAuB;YAAE,OAAO,KAAK,CAAA;QAC9D,MAAM,WAAW,CAAA;IACnB,CAAC;IAED,uDAAuD;IACvD,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,YAAY,EAAE,CAAC,WAAW,CAAC;WAC5C,WAAW,CAAC,eAAe,EAAE,CAAC,WAAW,CAAC,CAAC,CAAA;AAClD,CAAC"}
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../src/lib/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,sBAAsB,CAAA;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAEjC,+EAA+E;AAC/E,cAAc;AACd,+EAA+E;AAE/E,MAAM,OAAO,mBAAoB,SAAQ,CAAC,CAAC,WAAW,EAAuB,CAAC,qBAAqB,EAAE;IACnG,WAAW,EAAE,CAAC,CAAC,MAAM;IACrB,OAAO,EAAE,CAAC,CAAC,MAAM;CAClB,CAAC;CAAG;AAEL,MAAM,OAAO,oBAAqB,SAAQ,CAAC,CAAC,WAAW,EAAwB,CAAC,sBAAsB,EAAE;IACtG,WAAW,EAAE,CAAC,CAAC,MAAM;IACrB,OAAO,EAAE,CAAC,CAAC,MAAM;CAClB,CAAC;CAAG;AAEL,MAAM,OAAO,qBAAsB,SAAQ,CAAC,CAAC,WAAW,EAAyB,CAAC,uBAAuB,EAAE;IACzG,WAAW,EAAE,CAAC,CAAC,MAAM;IACrB,OAAO,EAAE,CAAC,CAAC,MAAM;CAClB,CAAC;CAAG;AAIL,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,CAC/C,WAAmB,EACnB,WAAmB,EACsD,EAAE,CAC3E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,eAAe,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAA;IAE9D,+BAA+B;IAC/B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CACnD,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,IAAI,oBAAoB,CAAC;QACvB,WAAW;QACX,OAAO,EAAE,2CAA4C,KAAa,CAAC,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE;KAC9F,CAAC,CACH,CACF,CAAA;IAED,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,mBAAmB,CAAC;YACtB,WAAW;YACX,OAAO,EAAE,6BAA6B,WAAW,EAAE;SACpD,CAAC,CACH,CAAA;IACH,CAAC;IAED,4BAA4B;IAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC,IAAI,CAC5D,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,IAAI,oBAAoB,CAAC;QACvB,WAAW;QACX,OAAO,EAAE,gCAAiC,KAAa,CAAC,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE;KACnF,CAAC,CACH,CACF,CAAA;IAED,aAAa;IACb,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QACpC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;QAC9B,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAI,qBAAqB,CAAC;YACxB,WAAW;YACX,OAAO,EAAE,iCAAiC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;SACnG,CAAC;KACL,CAAC,CAAA;IAEF,yDAAyD;IACzD,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,YAAY,EAAE,CAAC,WAAW,CAAC;WAC5C,WAAW,CAAC,eAAe,EAAE,CAAC,WAAW,CAAC,CAAC,CAAA;AAClD,CAAC,CAAC,CAAA"}

package/build/lib/kit-temp/$$.d.ts

@@ -0,0 +1,7 @@
+export * from './array.js';
+export * from './effect.js';
+export * from './global-local-check.js';
+export * as Ob from './ob.js';
+export * from './other.js';
+export * as Resource from './resource.js';
+//# sourceMappingURL=$$.d.ts.map

package/build/lib/kit-temp/$$.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$$.d.ts","sourceRoot":"","sources":["../../../src/lib/kit-temp/$$.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,yBAAyB,CAAA;AACvC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA"}

package/build/lib/kit-temp/$$.js

@@ -0,0 +1,7 @@
+export * from './array.js';
+export * from './effect.js';
+export * from './global-local-check.js';
+export * as Ob from './ob.js';
+export * from './other.js';
+export * as Resource from './resource.js';
+//# sourceMappingURL=$$.js.map

package/build/lib/kit-temp/$$.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"$$.js","sourceRoot":"","sources":["../../../src/lib/kit-temp/$$.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,yBAAyB,CAAA;AACvC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA"}

package/build/lib/kit-temp/$.d.ts

@@ -0,0 +1,2 @@
+export * from './$$.js';
+//# sourceMappingURL=$.d.ts.map

package/build/lib/kit-temp/$.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"$.d.ts","sourceRoot":"","sources":["../../../src/lib/kit-temp/$.ts"],"names":[],"mappings":"AACA,cAAc,SAAS,CAAA"}

package/build/lib/kit-temp/$.js

@@ -0,0 +1,3 @@
+// Namespace export for kit-temp library
+export * from './$$.js';
+//# sourceMappingURL=$.js.map

package/build/lib/kit-temp/$.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"$.js","sourceRoot":"","sources":["../../../src/lib/kit-temp/$.ts"],"names":[],"mappings":"AAAA,wCAAwC;AACxC,cAAc,SAAS,CAAA"}

package/build/lib/kit-temp/array.d.ts

@@ -0,0 +1,2 @@
+export declare function chunkByWeight<T>(items: T[], targetChunks: number, getWeight?: (item: T) => number): T[][];
+//# sourceMappingURL=array.d.ts.map

package/build/lib/kit-temp/array.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array.d.ts","sourceRoot":"","sources":["../../../src/lib/kit-temp/array.ts"],"names":[],"mappings":"AACA,wBAAgB,aAAa,CAAC,CAAC,EAC7B,KAAK,EAAE,CAAC,EAAE,EACV,YAAY,EAAE,MAAM,EACpB,SAAS,GAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAgB,GACvC,CAAC,EAAE,EAAE,CAwBP"}

package/build/lib/kit-temp/array.js

@@ -0,0 +1,23 @@
+// Smart chunking that considers route complexity
+export function chunkByWeight(items, targetChunks, getWeight = () => 1) {
+    const totalWeight = items.reduce((sum, item) => sum + getWeight(item), 0);
+    const targetWeight = totalWeight / targetChunks;
+    const chunks = [];
+    let currentChunk = [];
+    let currentWeight = 0;
+    for (const item of items) {
+        const weight = getWeight(item);
+        if (currentWeight + weight > targetWeight && currentChunk.length > 0) {
+            chunks.push(currentChunk);
+            currentChunk = [];
+            currentWeight = 0;
+        }
+        currentChunk.push(item);
+        currentWeight += weight;
+    }
+    if (currentChunk.length > 0) {
+        chunks.push(currentChunk);
+    }
+    return chunks;
+}
+//# sourceMappingURL=array.js.map

package/build/lib/kit-temp/array.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array.js","sourceRoot":"","sources":["../../../src/lib/kit-temp/array.ts"],"names":[],"mappings":"AAAA,iDAAiD;AACjD,MAAM,UAAU,aAAa,CAC3B,KAAU,EACV,YAAoB,EACpB,YAAiC,GAAG,EAAE,CAAC,CAAC;IAExC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IACzE,MAAM,YAAY,GAAG,WAAW,GAAG,YAAY,CAAA;IAE/C,MAAM,MAAM,GAAU,EAAE,CAAA;IACxB,IAAI,YAAY,GAAQ,EAAE,CAAA;IAC1B,IAAI,aAAa,GAAG,CAAC,CAAA;IAErB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;QAC9B,IAAI,aAAa,GAAG,MAAM,GAAG,YAAY,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrE,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;YACzB,YAAY,GAAG,EAAE,CAAA;YACjB,aAAa,GAAG,CAAC,CAAA;QACnB,CAAC;QACD,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvB,aAAa,IAAI,MAAM,CAAA;IACzB,CAAC;IAED,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAC3B,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC"}

package/build/lib/kit-temp/effect.d.ts

@@ -0,0 +1,271 @@
+import { Schema as S } from 'effect';
+import type * as E from 'effect';
+import type * as EAST from 'effect/SchemaAST';
+export type StringOrNever<$Type> = $Type extends string ? $Type : never;
+export { Schema as S } from 'effect';
+export declare namespace EffectKit {
+    namespace Struct {
+        type StructTag = string;
+        const tagPropertyName = "_tag";
+        type TagPropertyName = typeof tagPropertyName;
+        type TaggedStruct = {
+            [_ in TagPropertyName]: StructTag;
+        };
+        const isTagged: (value: unknown) => value is TaggedStruct;
+        /**
+         * Delete all properties from an object except the tag property
+         * Mutates the object in place
+         */
+        const clearExceptTag: (obj: TaggedStruct) => void;
+    }
+    namespace Tag {
+        type PropertyName = '_tag';
+    }
+    namespace TaggedStruct {
+        /**
+         * Omit the _tag field from a type
+         */
+        type OmitTag<$T> = Omit<$T, Tag.PropertyName>;
+    }
+    namespace Schema {
+        type $any = S.Schema<any, any, any>;
+        type ArgDecoded<$Schema extends $any> = S.Schema.Type<$Schema>;
+        type ArgEncoded<$Schema extends $any> = S.Schema.Encoded<$Schema>;
+        namespace Tag {
+            type GetValue<$Tag extends S.tag<any>> = $Tag extends S.tag<infer __value__> ? __value__ : never;
+        }
+        namespace Struct {
+            type $any = S.Struct<any>;
+            type ExtractFields<$Struct extends S.Struct<any>> = $Struct extends S.Struct<infer __fields__> ? __fields__ : never;
+            /**
+             * Extract specific fields from a struct schema
+             * Type-safe at input/output but implementation can cheat
+             */
+            const extractFields: <$Fields extends S.Struct.Fields, $Keys extends ReadonlyArray<keyof $Fields>>(schema: S.Struct<$Fields> | S.TaggedStruct<any, $Fields>, keys: $Keys) => Pick<$Fields, $Keys[number]>;
+        }
+        namespace TaggedStruct {
+            type Tag = string;
+            type $any = S.TaggedStruct<E.SchemaAST.LiteralValue, any>;
+            type Any = S.TaggedStruct<any, any>;
+            type Filter<$TaggedStruct extends $any, $PickedKeys extends keyof Struct.ExtractFields<$TaggedStruct>> = $TaggedStruct extends S.TaggedStruct<infer __tag__, infer __structFields__> ? S.TaggedStruct<__tag__, Pick<__structFields__, $PickedKeys>> : never;
+            type ArgTag<$Schema extends Schema.$any> = $Schema extends S.TaggedStruct<infer __tag__ extends EAST.LiteralValue, any> ? __tag__ : never;
+            type ArgTagString<$Schema extends Schema.$any> = StringOrNever<ArgTag<$Schema>>;
+            type ArgFields<$Schema extends Any> = $Schema extends S.TaggedStruct<any, infer __fields__> ? __fields__ : never;
+            const getTagOrThrow: <schema extends Schema.$any>(schema: schema) => ArgTagString<schema>;
+        }
+        namespace UnionAdt {
+            export type $any = S.Union<TaggedStruct.$any[]>;
+            export interface ADTInfo {
+                name: string;
+                members: ADTMember[];
+            }
+            export interface ADTMember {
+                tag: string;
+                memberName: string;
+            }
+            /**
+             * Extract all tag values from a union of tagged structs
+             */
+            export type GetTags<$Union extends $any> = StringOrNever<Tag.GetValue<$Union['members'][number]['fields']['_tag']>>;
+            /**
+             * Extract a specific member by its tag
+             */
+            export type ExtractMemberByTag<$Union extends S.Union<any>, $Tag extends GetTags<$Union>> = Union.Arg.MembersAsUnion<$Union> extends infer __member__ ? __member__ extends S.TaggedStruct<$Tag, any> ? S.Schema.Type<__member__> : never : never;
+            /**
+             * Factory function type for creating union members
+             */
+            export type FnMake<$Union extends S.Union<any>> = <$Tag extends GetTags<$Union>>(tag: $Tag, fields: EffectKit.TaggedStruct.OmitTag<ExtractMemberByTag<$Union, $Tag>>) => ExtractMemberByTag<$Union, $Tag>;
+            /**
+             * Type-safe collection of tagged struct members from a union schema
+             * Returns a map where keys are inferred tag literals
+             */
+            export const collectMembersByTag: <$Union extends $any>(union: $Union) => Map<GetTags<$Union>, Union.Arg.MembersAsUnion<$Union>>;
+            /**
+             * Create a factory function for a discriminated union.
+             *
+             * @example
+             * ```typescript
+             * const MyUnion = Schema.Union(
+             *   Schema.TaggedStruct('TypeA', { value: Schema.String }),
+             *   Schema.TaggedStruct('TypeB', { count: Schema.Number })
+             * )
+             *
+             * const make = EffectKit.Schema.Union.make(MyUnion)
+             *
+             * // Type-safe member creation
+             * const a = make('TypeA', { value: 'hello' }) // TypeA
+             * const b = make('TypeB', { count: 42 })      // TypeB
+             * ```
+             */
+            export const makeMake: <union extends S.Union<any>>(union: union) => FnMake<union>;
+            /**
+             * Parse tags to detect ADTs.
+             * Returns a Map of ADT names to ADT info.
+             *
+             * @deprecated Use parseADT instead which returns single ADT or null
+             *
+             * @example
+             * parseADTs(['CatalogVersioned', 'CatalogUnversioned'])
+             * // Map { 'Catalog' => { name: 'Catalog', members: [...] } }
+             */
+            export const parseADTs: (tags: string[]) => Map<string, ADTInfo>;
+            /**
+             * Parse tags to detect if they form a single ADT.
+             * Returns the ADT info if all tags follow one ADT pattern, null otherwise.
+             *
+             * @example
+             * parseADT(['CatalogVersioned', 'CatalogUnversioned'])
+             * // { name: 'Catalog', members: [...] }
+             *
+             * parseADT(['CatalogVersioned', 'User'])
+             * // null (not an ADT - mixed patterns)
+             */
+            export const parse: (tags: string[]) => ADTInfo | null;
+            /**
+             * Check if a specific tag is an ADT member given all tags in the union.
+             *
+             * @example
+             * isADTMember('CatalogVersioned', ['CatalogVersioned', 'CatalogUnversioned'])
+             * // true
+             */
+            export const isADTMember: (tag: string, allTags: string[]) => boolean;
+            /**
+             * Get ADT info for a specific tag.
+             * Returns null if the tag is not an ADT member.
+             */
+            export const getADTInfo: (tag: string, allTags: string[]) => {
+                adtName: string;
+                memberName: string;
+            } | null;
+            /**
+             * Format an ADT tag from components.
+             */
+            export const formatADTTag: (adtName: string, memberName: string) => string;
+            /**
+             * Type-level version of parseTag
+             */
+            export type ParseTag<$Tag extends string> = $Tag extends `${infer __adtName__}${infer __memberName__}` ? __adtName__ extends `${infer __first__}${infer __rest__}` ? __first__ extends Capitalize<__first__> ? __rest__ extends `${Lowercase<__rest__>}${string}` ? __memberName__ extends `${infer __first2__}${infer __rest2__}` ? __first2__ extends Capitalize<__first2__> ? __rest2__ extends `${string}${Lowercase<string>}${string}` | `${Lowercase<string>}${string}` | Lowercase<string> ? {
+                adtName: __adtName__;
+                memberName: __memberName__;
+            } : never : never : never : never : never : never : never;
+            /**
+             * Convert ADT name to path (PascalCase to kebab-case)
+             */
+            export type ADTNameToPath<$Name extends string> = Lowercase<$Name>;
+            /**
+             * Convert member name to path (PascalCase to kebab-case)
+             */
+            export type MemberNameToPath<$Name extends string> = Lowercase<$Name>;
+            /**
+             * Extract all tags from a union type.
+             */
+            export type ExtractTags<$T> = $T extends {
+                _tag: infer __tag__ extends string;
+            } ? __tag__ : never;
+            /**
+             * Count members with a specific ADT prefix in a union.
+             */
+            type CountADTMembers<$ADTName extends string, $Union> = [
+                Extract<$Union, {
+                    _tag: `${$ADTName}${string}`;
+                }>
+            ] extends [never] ? 0 : [Extract<$Union, {
+                _tag: `${$ADTName}${string}`;
+            }>] extends [infer __first__] ? [Exclude<Extract<$Union, {
+                _tag: `${$ADTName}${string}`;
+            }>, __first__>] extends [never] ? 1 : 2 : 0;
+            /**
+             * Check if a tag is an ADT member within a schema.
+             */
+            export type IsHasMemberTag<$Tag extends string, $S extends Schema.$any> = $S extends S.Schema<infer __union__> ? ParseTag<$Tag> extends {
+                adtName: infer __adt__ extends string;
+            } ? CountADTMembers<__adt__, __union__> extends 0 ? false : CountADTMembers<__adt__, __union__> extends 1 ? false : true : false : false;
+            /**
+             * Get ADT info from a tag within a schema.
+             */
+            export type GetMemberInfo<$Tag extends string, $S extends Schema.$any> = $S extends S.Schema<infer __union__> ? ParseTag<$Tag> extends {
+                adtName: infer __adt__ extends string;
+                memberName: infer __member__ extends string;
+            } ? CountADTMembers<__adt__, __union__> extends 0 ? never : CountADTMembers<__adt__, __union__> extends 1 ? never : {
+                adtName: __adt__;
+                memberName: __member__;
+            } : never : never;
+            export {};
+        }
+        namespace Union {
+            type $any = S.Union<$any[]>;
+            type $anyOfStructs = S.Union<Struct.$any[]>;
+            namespace Arg {
+                type Members<$Union extends S.Union<any>> = $Union extends S.Union<infer __members__> ? __members__ : never;
+                type MembersAsUnion<$Union extends S.Union<any>> = Members<$Union>[number];
+            }
+        }
+        namespace AST {
+            /**
+             * Extract the tag value from a TypeLiteral AST with _tag field
+             */
+            const extractTag: (ast: EAST.TypeLiteral) => string | null;
+            /**
+             * Collect all tagged members from a union AST into a map keyed by tag
+             */
+            const collectTaggedMembers: (ast: EAST.Union) => Map<string, EAST.TypeLiteral>;
+            /**
+             * Resolves an AST node to its underlying type, handling transformations and suspensions
+             *
+             * @param ast - The AST node to resolve
+             * @returns The resolved AST node
+             */
+            const resolve: (ast: EAST.AST) => EAST.AST;
+            /**
+             * Extracts the schema for a specific field from a struct schema.
+             *
+             * Handles:
+             * - TypeLiteral (standard structs)
+             * - Transformation (which might wrap a struct)
+             * - Suspend types (lazy schema references)
+             *
+             * @param schema - The struct schema to extract from
+             * @param fieldName - The name of the field to extract
+             * @returns The field's schema, or undefined if not found
+             */
+            const getFieldSchema: (schema: S.Schema<any, any, any>, fieldName: string) => S.Schema<any, any, never> | undefined;
+            /**
+             * Extracts all property keys from a TypeLiteral (struct).
+             *
+             * @param ast - The TypeLiteral AST node
+             * @returns Array of property names as strings
+             */
+            const extractPropertyKeys: (ast: EAST.TypeLiteral) => string[];
+            /**
+             * Gets a property signature from a TypeLiteral by name.
+             *
+             * @param ast - The TypeLiteral AST node
+             * @param propertyName - The name of the property to find
+             * @returns The property signature, or undefined if not found
+             */
+            const getPropertySignature: (ast: EAST.TypeLiteral, propertyName: string | symbol) => EAST.PropertySignature | undefined;
+            /**
+             * Checks if a property exists in a TypeLiteral.
+             *
+             * @param ast - The TypeLiteral AST node
+             * @param propertyName - The name of the property to check
+             * @returns True if the property exists, false otherwise
+             */
+            const hasProperty: (ast: EAST.TypeLiteral, propertyName: string | symbol) => boolean;
+            /**
+             * Extracts the type AST of a specific property from a TypeLiteral.
+             * Automatically resolves Suspend types.
+             *
+             * @param ast - The TypeLiteral AST node
+             * @param propertyName - The name of the property
+             * @returns The property's type AST, or undefined if not found
+             */
+            const getResolvedPropertyType: (ast: EAST.TypeLiteral, propertyName: string | symbol) => EAST.AST | undefined;
+            /**
+             * Extracts all tags from a union
+             */
+            const extractTagsFromUnion: (ast: EAST.Union) => string[];
+        }
+    }
+}
+//# sourceMappingURL=effect.d.ts.map

package/build/lib/kit-temp/effect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect.d.ts","sourceRoot":"","sources":["../../../src/lib/kit-temp/effect.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,KAAK,CAAC,MAAM,QAAQ,CAAA;AAChC,OAAO,KAAK,KAAK,IAAI,MAAM,kBAAkB,CAAA;AAG7C,MAAM,MAAM,aAAa,CAAC,KAAK,IAAI,KAAK,SAAS,MAAM,GAAG,KAAK,GAAG,KAAK,CAAA;AAEvE,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEpC,yBAAiB,SAAS,CAAC;IACzB,UAAiB,MAAM,CAAC;QACtB,KAAY,SAAS,GAAG,MAAM,CAAA;QAEvB,MAAM,eAAe,SAAS,CAAA;QAErC,KAAY,eAAe,GAAG,OAAO,eAAe,CAAA;QAEpD,KAAY,YAAY,GAAG;aAAG,CAAC,IAAI,eAAe,GAAG,SAAS;SAAE,CAAA;QAEzD,MAAM,QAAQ,GACnB,OAAO,OAAO,KACb,KAAK,IAAI,YAEX,CAAA;QAED;;;WAGG;QACI,MAAM,cAAc,GAAI,KAAK,YAAY,KAAG,IAMlD,CAAA;KACF;IAED,UAAiB,GAAG,CAAC;QACnB,KAAY,YAAY,GAAG,MAAM,CAAA;KAClC;IAED,UAAiB,YAAY,CAAC;QAC5B;;WAEG;QACH,KAAY,OAAO,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,YAAY,CAAC,CAAA;KACrD;IAED,UAAiB,MAAM,CAAC;QAEtB,KAAY,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;QAE1C,KAAY,UAAU,CAAC,OAAO,SAAS,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACrE,KAAY,UAAU,CAAC,OAAO,SAAS,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QAExE,UAAiB,GAAG,CAAC;YACnB,KAAY,QAAQ,CAAC,IAAI,SAAS,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,SAAS,CAAC,CAAC,GAAG,CAAC,MAAM,SAAS,CAAC,GAAG,SAAS,GAC3F,KAAK,CAAA;SACV;QAED,UAAiB,MAAM,CAAC;YACtB,KAAY,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;YAEhC,KAAY,aAAa,CACvB,OAAO,SAAS,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAC3B,OAAO,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,UAAU,CAAC,GAAG,UAAU,GAAG,KAAK,CAAA;YAEnE;;;eAGG;YACI,MAAM,aAAa,GACxB,OAAO,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,EAC/B,KAAK,SAAS,aAAa,CAAC,MAAM,OAAO,CAAC,EAE1C,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,EACxD,MAAM,KAAK,KACV,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAM7B,CAAA;SACF;QAED,UAAiB,YAAY,CAAC;YAC5B,KAAY,GAAG,GAAG,MAAM,CAAA;YAExB,KAAY,IAAI,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,EAAE,GAAG,CAAC,CAAA;YAChE,KAAY,GAAG,GAAG,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;YAE1C,KAAY,MAAM,CAChB,aAAa,SAAS,IAAI,EAC1B,WAAW,SAAS,MAAM,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,IAC3D,aAAa,SAAS,CAAC,CAAC,YAAY,CAAC,MAAM,OAAO,EAAE,MAAM,gBAAgB,CAAC,GAC3E,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,gBAAgB,EAAE,WAAW,CAAC,CAAC,GAC5D,KAAK,CAAA;YAET,KAAY,MAAM,CAAC,OAAO,SAAS,MAAM,CAAC,IAAI,IAAI,OAAO,SACvD,CAAC,CAAC,YAAY,CAAC,MAAM,OAAO,SAAS,IAAI,CAAC,YAAY,EAAE,GAAG,CAAC,GAAG,OAAO,GACpE,KAAK,CAAA;YAET,KAAY,YAAY,CAAC,OAAO,SAAS,MAAM,CAAC,IAAI,IAAI,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAA;YAEtF,KAAY,SAAS,CAAC,OAAO,SAAS,GAAG,IAAI,OAAO,SAAS,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,UAAU,CAAC,GAAG,UAAU,GAC3G,KAAK,CAAA;YAEF,MAAM,aAAa,GAAI,MAAM,SAAS,MAAM,CAAC,IAAI,EACtD,QAAQ,MAAM,KACb,YAAY,CAAC,MAAM,CAoCrB,CAAA;SACF;QAED,UAAiB,QAAQ,CAAC;YACxB,MAAM,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAA;YAM/C,MAAM,WAAW,OAAO;gBACtB,IAAI,EAAE,MAAM,CAAA;gBACZ,OAAO,EAAE,SAAS,EAAE,CAAA;aACrB;YAED,MAAM,WAAW,SAAS;gBACxB,GAAG,EAAE,MAAM,CAAA;gBACX,UAAU,EAAE,MAAM,CAAA;aACnB;YAED;;eAEG;YACH,MAAM,MAAM,OAAO,CAAC,MAAM,SAAS,IAAI,IAAI,aAAa,CACtD,GAAG,CAAC,QAAQ,CACV,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAC5C,CACF,CAAA;YAED;;eAEG;YACH,MAAM,MAAM,kBAAkB,CAC5B,MAAM,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAC3B,IAAI,SAAS,OAAO,CAAC,MAAM,CAAC,IAC1B,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,SAAS,MAAM,UAAU,GACzD,UAAU,SAAS,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GACxE,KAAK,GACL,KAAK,CAAA;YAET;;eAEG;YACH,MAAM,MAAM,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,SAAS,OAAO,CAAC,MAAM,CAAC,EAC7E,GAAG,EAAE,IAAI,EACT,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,KACrE,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;YAErC;;;eAGG;YACH,MAAM,CAAC,MAAM,mBAAmB,GAC9B,MAAM,SAAS,IAAI,EAEnB,OAAO,MAAM,KACZ,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CASvD,CAAA;YAED;;;;;;;;;;;;;;;;eAgBG;YACH,MAAM,CAAC,MAAM,QAAQ,GAAI,KAAK,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EACjD,OAAO,KAAK,KACX,MAAM,CAAC,KAAK,CAYd,CAAA;YAMD;;;;;;;;;eASG;YACH,MAAM,CAAC,MAAM,SAAS,GAAI,MAAM,MAAM,EAAE,KAAG,GAAG,CAAC,MAAM,EAAE,OAAO,CAO7D,CAAA;YAED;;;;;;;;;;eAUG;YACH,MAAM,CAAC,MAAM,KAAK,GAAI,MAAM,MAAM,EAAE,KAAG,OAAO,GAAG,IAkChD,CAAA;YAED;;;;;;eAMG;YACH,MAAM,CAAC,MAAM,WAAW,GAAI,KAAK,MAAM,EAAE,SAAS,MAAM,EAAE,KAAG,OAM5D,CAAA;YAED;;;eAGG;YACH,MAAM,CAAC,MAAM,UAAU,GAAI,KAAK,MAAM,EAAE,SAAS,MAAM,EAAE,KAAG;gBAAE,OAAO,EAAE,MAAM,CAAC;gBAAC,UAAU,EAAE,MAAM,CAAA;aAAE,GAAG,IAcrG,CAAA;YA0CD;;eAEG;YACH,MAAM,CAAC,MAAM,YAAY,GAAI,SAAS,MAAM,EAAE,YAAY,MAAM,KAAG,MAElE,CAAA;YAMD;;eAEG;YACH,MAAM,MAAM,QAAQ,CAAC,IAAI,SAAS,MAAM,IAAI,IAAI,SAAS,GAAG,MAAM,WAAW,GAAG,MAAM,cAAc,EAAE,GAClG,WAAW,SAAS,GAAG,MAAM,SAAS,GAAG,MAAM,QAAQ,EAAE,GACvD,SAAS,SAAS,UAAU,CAAC,SAAS,CAAC,GACrC,QAAQ,SAAS,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,MAAM,EAAE,GAChD,cAAc,SAAS,GAAG,MAAM,UAAU,GAAG,MAAM,SAAS,EAAE,GAC5D,UAAU,SAAS,UAAU,CAAC,UAAU,CAAC,GACvC,SAAS,SACT,GAAG,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,GAC5F;gBAAE,OAAO,EAAE,WAAW,CAAC;gBAAC,UAAU,EAAE,cAAc,CAAA;aAAE,GACtD,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACL,KAAK,CAAA;YAET;;eAEG;YACH,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,MAAM,IAAI,SAAS,CAAC,KAAK,CAAC,CAAA;YAElE;;eAEG;YACH,MAAM,MAAM,gBAAgB,CAAC,KAAK,SAAS,MAAM,IAAI,SAAS,CAAC,KAAK,CAAC,CAAA;YAErE;;eAEG;YACH,MAAM,MAAM,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS;gBAAE,IAAI,EAAE,MAAM,OAAO,SAAS,MAAM,CAAA;aAAE,GAAG,OAAO,GAAG,KAAK,CAAA;YAEjG;;eAEG;YACH,KAAK,eAAe,CAAC,QAAQ,SAAS,MAAM,EAAE,MAAM,IAClD;gBAAC,OAAO,CAAC,MAAM,EAAE;oBAAE,IAAI,EAAE,GAAG,QAAQ,GAAG,MAAM,EAAE,CAAA;iBAAE,CAAC;aAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GACnE,CAAC,OAAO,CAAC,MAAM,EAAE;gBAAE,IAAI,EAAE,GAAG,QAAQ,GAAG,MAAM,EAAE,CAAA;aAAE,CAAC,CAAC,SAAS,CAAC,MAAM,SAAS,CAAC,GAC3E,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE;gBAAE,IAAI,EAAE,GAAG,QAAQ,GAAG,MAAM,EAAE,CAAA;aAAE,CAAC,EAAE,SAAS,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GAC3F,CAAC,GACH,CAAC,CAAA;YAEP;;eAEG;YACH,MAAM,MAAM,cAAc,CAAC,IAAI,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,CAAC,IAAI,IAAI,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,SAAS,CAAC,GAC1G,QAAQ,CAAC,IAAI,CAAC,SAAS;gBAAE,OAAO,EAAE,MAAM,OAAO,SAAS,MAAM,CAAA;aAAE,GAC9D,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC,GAAG,KAAK,GACrD,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC,GAAG,KAAK,GACrD,IAAI,GACN,KAAK,GACL,KAAK,CAAA;YAET;;eAEG;YACH,MAAM,MAAM,aAAa,CAAC,IAAI,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,CAAC,IAAI,IAAI,EAAE,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,SAAS,CAAC,GACzG,QAAQ,CAAC,IAAI,CAAC,SAAS;gBAAE,OAAO,EAAE,MAAM,OAAO,SAAS,MAAM,CAAC;gBAAC,UAAU,EAAE,MAAM,UAAU,SAAS,MAAM,CAAA;aAAE,GAC3G,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC,GAAG,KAAK,GACrD,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC,GAAG,KAAK,GACrD;gBAAE,OAAO,EAAE,OAAO,CAAC;gBAAC,UAAU,EAAE,UAAU,CAAA;aAAE,GAC9C,KAAK,GACL,KAAK,CAAA;;SACV;QAED,UAAiB,KAAK,CAAC;YACrB,KAAY,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;YAClC,KAAY,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;YAClD,UAAiB,GAAG,CAAC;gBACnB,KAAY,OAAO,CAAC,MAAM,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,MAAM,SAAS,CAAC,CAAC,KAAK,CAAC,MAAM,WAAW,CAAC,GAAG,WAAW,GACtG,KAAK,CAAA;gBACT,KAAY,cAAc,CAAC,MAAM,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAA;aAClF;SACF;QAED,UAAiB,GAAG,CAAC;YACnB;;eAEG;YACI,MAAM,UAAU,GAAI,KAAK,IAAI,CAAC,WAAW,KAAG,MAAM,GAAG,IAW3D,CAAA;YAED;;eAEG;YACI,MAAM,oBAAoB,GAAI,KAAK,IAAI,CAAC,KAAK,KAAG,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,WAAW,CAalF,CAAA;YAMD;;;;;eAKG;YACI,MAAM,OAAO,GAAI,KAAK,IAAI,CAAC,GAAG,KAAG,IAAI,CAAC,GAQ5C,CAAA;YAMD;;;;;;;;;;;eAWG;YACI,MAAM,cAAc,GACzB,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAC/B,WAAW,MAAM,KAChB,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,SAkB9B,CAAA;YAED;;;;;eAKG;YACI,MAAM,mBAAmB,GAAI,KAAK,IAAI,CAAC,WAAW,KAAG,MAAM,EAIjE,CAAA;YAED;;;;;;eAMG;YACI,MAAM,oBAAoB,GAC/B,KAAK,IAAI,CAAC,WAAW,EACrB,cAAc,MAAM,GAAG,MAAM,KAC5B,IAAI,CAAC,iBAAiB,GAAG,SAE3B,CAAA;YAED;;;;;;eAMG;YACI,MAAM,WAAW,GACtB,KAAK,IAAI,CAAC,WAAW,EACrB,cAAc,MAAM,GAAG,MAAM,KAC5B,OAEF,CAAA;YAED;;;;;;;eAOG;YACI,MAAM,uBAAuB,GAClC,KAAK,IAAI,CAAC,WAAW,EACrB,cAAc,MAAM,GAAG,MAAM,KAC5B,IAAI,CAAC,GAAG,GAAG,SAIb,CAAA;YAMD;;eAEG;YACI,MAAM,oBAAoB,GAAI,KAAK,IAAI,CAAC,KAAK,KAAG,MAAM,EAa5D,CAAA;SACF;KACF;CACF"}