svelte-effect-runtime 2.4.0 → 2.5.0

package/.dist/preprocess/types.d.ts

@@ -31,6 +31,7 @@ export interface ScriptTransformResult {
  */
 export interface TempBinding {
     name: string;
+    type?: string;
 }
 /**
  * Describes how a single statement was lowered.
@@ -40,6 +41,8 @@ export interface TempBinding {
 export interface LoweredStatement {
     /** `$state` bindings to emit at component scope. */
     temps: TempBinding[];
+    /** Helper declarations used only for generated temp types. */
+    type_helpers?: string[];
     /** The rewritten statement text with yield* replaced by temp refs. */
     rewritten_text: string;
     /** Effect bodies to emit in dependency-tracked runtime blocks. */
@@ -69,6 +72,7 @@ export interface EffectBlock {
  */
 export interface LoweredExpression {
     temps: TempBinding[];
+    type_helpers?: string[];
     rewritten_expr: string;
     effect_blocks: EffectBlock[];
 }
@@ -78,5 +82,28 @@ export interface LoweredExpression {
  * @since 2.0.0
  */
 export interface ScriptLoweringContext {
+    effect_name: string;
+    /** Whether generated state placeholders should carry TypeScript types. */
+    emit_types: boolean;
     next_temp_name(hint?: string): string;
+    next_type_helper_name(hint?: string): string;
+}
+/**
+ * Runtime import bindings selected for generated script effect code.
+ *
+ * @since 2.4.2
+ */
+export interface RuntimeImportBindings {
+    /** Binding name used for the Effect namespace in generated code. */
+    effect: string;
+    /** Binding name used for the dispatcher factory in generated code. */
+    dispatcher: string;
+    /** Binding name used for the active dispatcher local. */
+    dispatcher_value: string;
+    /** Binding name used for the generated Effect program local. */
+    program: string;
+    /** Binding name used for the generated cancel function local. */
+    cancel: string;
+    /** Binding name used for Svelte's untrack helper. */
+    untrack: string;
 }

package/.dist/preprocess.js

@@ -1,3 +1,3 @@
-import { t as transform_markup_effect } from "./chunks/transform-s9gKPYu5.js";
-import { t as transform_script_effect } from "./chunks/preprocess-Cn4JH9OO.js";
+import { t as transform_markup_effect } from "./chunks/transform-Cx5bjmP6.js";
+import { t as transform_script_effect } from "./chunks/preprocess-DseI9Doo.js";
 export { transform_markup_effect, transform_script_effect };

package/.dist/remote/client/command.d.ts

@@ -1,6 +1,9 @@
 import type { RemoteFailure } from "../shared.js";
 import type { Effect } from "effect";
 import type { Pending } from "./types.js";
+type EffectRemoteCommandAdapter<Input, Output, ErrorType = never> = ((input: undefined extends Input ? Input | void : Input) => Effect.Effect<Output, RemoteFailure<ErrorType>>) & {
+    readonly pending: number;
+};
 /**
  * Creates a remote command adapter. The adapter preserves the native
  * pending getter and turns each invocation into an Effect.
@@ -14,4 +17,5 @@ import type { Pending } from "./types.js";
  * @returns A function returning an Effect of the response.
  * @internal
  */
-export declare function create_remote_command_adapter<Input, Output>(native_factory: unknown, decode_payload: (value: unknown) => unknown, _base?: string, pending?: Pending): (input: Input) => Effect.Effect<Output, RemoteFailure<unknown>>;
+export declare function create_remote_command_adapter<Input, Output, ErrorType = never>(native_factory: unknown, decode_payload: (value: unknown) => unknown, _base?: string, pending?: Pending): EffectRemoteCommandAdapter<Input, Output, ErrorType>;
+export {};

package/.dist/remote/client/effect.d.ts

@@ -12,4 +12,4 @@ import { Effect } from "effect";
  * @param run - Promise-producing operation that invokes a native remote helper.
  * @returns Effect that maps thrown values into remote failures.
  */
-export declare function make_effect_from_promise<Output>(run: () => Promise<Output>): Effect.Effect<Output, RemoteFailure<unknown>>;
+export declare function make_effect_from_promise<Output, ErrorType = never>(run: () => Promise<Output>): Effect.Effect<Output, RemoteFailure<ErrorType>>;

package/.dist/remote/client/failures.d.ts

@@ -13,7 +13,7 @@ import type { FormIssue, RemoteFailure } from "../shared.js";
  * @param decode - Optional devalue decoder for custom error payloads.
  * @returns The decoded failure/value, or a transport error when decoding fails.
  */
-export declare function decode_remote_error(raw: unknown, decode?: (encoded: string) => unknown): RemoteFailure<unknown> | unknown;
+export declare function decode_remote_error<ErrorType = never>(raw: unknown, decode?: (encoded: string) => unknown): RemoteFailure<ErrorType> | unknown;
 /**
  * Checks whether a decoded value is a tagged remote failure.
  *
@@ -26,7 +26,7 @@ export declare function decode_remote_error(raw: unknown, decode?: (encoded: str
  * @param value - Value to inspect.
  * @returns Whether the value carries a `_tag` discriminator.
  */
-export declare function is_decoded_remote_failure(value: unknown): value is RemoteFailure<unknown>;
+export declare function is_decoded_remote_failure(value: unknown): value is RemoteFailure<never>;
 /**
  * Checks whether a response body represents SvelteKit validation issues.
  *
@@ -54,4 +54,4 @@ export declare function is_validation_body(value: unknown): value is {
  * @param error - Unknown value thrown by a native remote helper.
  * @returns A typed remote failure.
  */
-export declare function normalize_native_error(error: unknown): RemoteFailure<unknown>;
+export declare function normalize_native_error<ErrorType = never>(error: unknown): RemoteFailure<ErrorType>;

package/.dist/remote/client/form-enhance.d.ts

@@ -6,4 +6,4 @@ import type { NativeMethod } from "./types.js";
  * @param callback - Native enhance callback to wrap.
  * @returns Wrapped callback or undefined.
  */
-export declare function wrap_enhance_callback(callback: NativeMethod | undefined): NativeMethod | undefined;
+export declare function wrap_enhance_callback<Output, ErrorType = never>(callback: NativeMethod | undefined): NativeMethod | undefined;

package/.dist/remote/client/form.d.ts

@@ -18,4 +18,4 @@ import type { EffectRemoteForm } from "./types.js";
  * @returns A callable form function whose properties mirror the native form.
  * @internal
  */
-export declare function create_remote_form_adapter<Input extends RemoteFormInput | void, Output>(native_factory: unknown, decode_payload: (value: unknown) => unknown, remote_base?: string): EffectRemoteForm<Input, Output>;
+export declare function create_remote_form_adapter<Input extends RemoteFormInput | void, Output, ErrorType = never>(native_factory: unknown, decode_payload: (value: unknown) => unknown, remote_base?: string): EffectRemoteForm<Input, Output, ErrorType>;

package/.dist/remote/client/query.d.ts

@@ -1,17 +1,23 @@
+import type { EffectRemoteQueryUpdateBrand } from "./types.js";
 import type { RemoteFailure } from "../shared.js";
 import { Effect } from "effect";
-type RemoteResourceEffect<Output> = Effect.Effect<Output, RemoteFailure<unknown>> & {
+type RemoteInput<Input> = undefined extends Input ? Input | void : Input;
+type DecodePayload<Output> = (value: unknown) => Output;
+type NativeQueryFactory<Input> = ((input: RemoteInput<Input>) => unknown) | {
+    readonly load: (input: RemoteInput<Input>) => unknown;
+};
+type RemoteResourceEffect<Output, ErrorType = never> = Effect.Effect<Output, RemoteFailure<ErrorType>> & {
     readonly current: Output | undefined;
     readonly error: unknown;
     readonly loading: boolean;
     readonly ready: boolean;
 };
-type RemoteQueryEffect<Output> = RemoteResourceEffect<Output> & {
+type RemoteQueryEffect<Output, ErrorType = never> = RemoteResourceEffect<Output, ErrorType> & {
     readonly refresh: () => Effect.Effect<void, unknown, never>;
     readonly set: (value: Output) => void;
     readonly withOverride: (update: (current: Output) => Output) => unknown;
 };
-type RemoteLiveQueryEffect<Output> = Effect.Effect<RemoteLiveQueryResource<Output>, RemoteFailure<unknown>>;
+type RemoteLiveQueryEffect<Output, ErrorType = never> = Effect.Effect<RemoteLiveQueryResource<Output>, RemoteFailure<ErrorType>>;
 type RemoteLiveQueryResource<Output> = {
     readonly connected: boolean;
     readonly current: Output | undefined;
@@ -39,7 +45,8 @@ type RemoteLiveQueryResource<Output> = {
  * @returns A function returning an Effect of the response.
  * @internal
  */
-export declare function create_remote_query_adapter<Input, Output>(native_factory: unknown, decode_payload: (value: unknown) => unknown, _base?: string): (input: Input) => RemoteQueryEffect<Output>;
+export declare function create_remote_query_adapter<Input, Output, ErrorType = never>(native_factory: NativeQueryFactory<Input>, decode_payload: DecodePayload<Output>, _base?: string): EffectRemoteQueryUpdateBrand & ((input: RemoteInput<Input>) => RemoteQueryEffect<Output, ErrorType>);
+export declare function create_remote_query_adapter<Input, Output, ErrorType = never>(native_factory: NativeQueryFactory<Input>, decode_payload: (value: unknown) => unknown, _base?: string): EffectRemoteQueryUpdateBrand & ((input: RemoteInput<Input>) => RemoteQueryEffect<Output, ErrorType>);
 /**
  * Creates a remote live query adapter. The returned function takes input and
  * returns an `Effect` that resolves to a live query resource with stream state
@@ -60,5 +67,5 @@ export declare function create_remote_query_adapter<Input, Output>(native_factor
  * @returns A function returning an Effect-backed live query resource.
  * @internal
  */
-export declare function create_remote_live_query_adapter<Input, Output>(native_factory: unknown, _decode_payload: (value: unknown) => unknown, _base?: string): (input: Input) => RemoteLiveQueryEffect<Output>;
+export declare function create_remote_live_query_adapter<Input, Output, ErrorType = never>(native_factory: unknown, _decode_payload: (value: unknown) => unknown, _base?: string): EffectRemoteQueryUpdateBrand & ((input: RemoteInput<Input>) => RemoteLiveQueryEffect<Output, ErrorType>);
 export {};

package/.dist/remote/client/responses.d.ts

@@ -11,7 +11,7 @@ import type { RemoteFailure } from "../shared.js";
  * @param response - Failed fetch response returned by the remote endpoint.
  * @returns Remote failure represented by the response.
  */
-export declare function decode_response_failure(response: Response): Promise<RemoteFailure<unknown>>;
+export declare function decode_response_failure<ErrorType = never>(response: Response): Promise<RemoteFailure<ErrorType>>;
 /**
  * Decodes either a raw value or `Response` returned by a native remote helper.
  *
@@ -25,4 +25,4 @@ export declare function decode_response_failure(response: Response): Promise<Rem
  * @param decode_payload - Function used to decode successful payloads.
  * @returns Decoded successful output.
  */
-export declare function decode_response_or_value<Output>(value: unknown, decode_payload: (value: unknown) => unknown): Promise<Output>;
+export declare function decode_response_or_value<Output, ErrorType = never>(value: unknown, decode_payload: (value: unknown) => unknown): Promise<Output>;

package/.dist/remote/client/types.d.ts

@@ -1,6 +1,49 @@
-import type { RemoteForm, RemoteFormInput } from "@sveltejs/kit";
+import type { RemoteForm, RemoteFormInput, RemoteLiveQuery, RemoteQuery, RemoteQueryOverride } from "@sveltejs/kit";
 import type { RemoteFailure } from "../shared.js";
 import type { Effect } from "effect";
+/**
+ * Type-only marker attached to SER query and live-query adapter functions so
+ * form updates can distinguish them from command adapters.
+ *
+ * @since 2.4.2
+ * @internal
+ */
+export declare const EFFECT_REMOTE_QUERY_UPDATE: unique symbol;
+/**
+ * Type-only brand carried by SER query and live-query adapter functions.
+ *
+ * @since 2.4.2
+ * @internal
+ */
+export type EffectRemoteQueryUpdateBrand = {
+    readonly [EFFECT_REMOTE_QUERY_UPDATE]: true;
+};
+type EffectRemoteFormCallable<Input extends RemoteFormInput | void, Output, ErrorType> = [Input] extends [void] ? () => Effect.Effect<Output, RemoteFailure<ErrorType>> : undefined extends Input ? (input?: Input) => Effect.Effect<Output, RemoteFailure<ErrorType>> : (input: Input) => Effect.Effect<Output, RemoteFailure<ErrorType>>;
+type EffectRemoteQueryUpdate = NativeRemoteQueryUpdate | EffectRemoteQueryUpdateFunction | EffectRemoteLiveQueryUpdateFunction;
+type EffectRemoteCommandUpdate = {
+    readonly pending: number;
+};
+type EffectRemoteQueryUpdateInput<Update> = Update extends EffectRemoteCommandUpdate ? never : Update extends EffectRemoteQueryUpdate ? Update : never;
+type EffectRemoteQueryUpdates<Updates extends readonly unknown[]> = Updates & {
+    [Index in keyof Updates]: EffectRemoteQueryUpdateInput<Updates[Index]>;
+};
+type NativeRemoteQueryUpdate = RemoteQuery<unknown> | RemoteLiveQuery<unknown> | RemoteQueryOverride;
+type EffectRemoteQueryUpdateFunction = EffectRemoteQueryUpdateBrand & ((input: never) => EffectRemoteQueryUpdateResource);
+type EffectRemoteLiveQueryUpdateFunction = EffectRemoteQueryUpdateBrand & ((input: never) => Effect.Effect<EffectRemoteLiveQueryUpdateResource, unknown>);
+type EffectRemoteQueryUpdateResource = Effect.Effect<unknown, unknown> & {
+    readonly refresh: () => Effect.Effect<void, unknown, never>;
+    readonly set: (value: never) => void;
+    readonly withOverride: (update: (current: never) => unknown) => unknown;
+};
+type EffectRemoteLiveQueryUpdateResource = {
+    readonly connected: boolean;
+    readonly current: unknown;
+    readonly done: boolean;
+    readonly error: unknown;
+    readonly loading: boolean;
+    readonly ready: boolean;
+    readonly reconnect: () => Effect.Effect<void, unknown, never>;
+} & AsyncIterable<unknown>;
 /**
  * Represents a pending operation counter that remote command adapters
  * use to track in-flight requests.
@@ -25,8 +68,8 @@ export type NativeMethod = (...args: unknown[]) => unknown;
  */
 export type NativeFormRecord = Record<PropertyKey, unknown>;
 /**
- * Represents the form submit handle passed into an Effect-aware enhanced
- * remote form callback.
+ * Represents the native form submit handle passed into an Effect-aware
+ * enhanced remote form callback.
  *
  * @example
  * ```ts
@@ -39,8 +82,8 @@ export type NativeFormRecord = Record<PropertyKey, unknown>;
  *
  * @since 2.0.0
  */
-export type EffectRemoteFormSubmit = Effect.Effect<unknown, RemoteFailure<unknown>> & {
-    updates: (...updates: unknown[]) => Effect.Effect<unknown, RemoteFailure<unknown>>;
+export type EffectRemoteFormSubmit<Output = unknown, ErrorType = never> = Effect.Effect<Output | undefined, RemoteFailure<ErrorType>> & {
+    updates: <const Updates extends readonly unknown[]>(...updates: EffectRemoteQueryUpdates<Updates>) => Effect.Effect<Output | undefined, RemoteFailure<ErrorType>>;
 };
 /**
  * Represents the callback payload passed to an Effect-aware remote form
@@ -58,8 +101,8 @@ export type EffectRemoteFormSubmit = Effect.Effect<unknown, RemoteFailure<unknow
  *
  * @since 2.0.0
  */
-export type EffectRemoteFormEnhanceOptions<Input extends RemoteFormInput | void> = Omit<Parameters<RemoteForm<Input, unknown>["enhance"]>[0] extends (options: infer Options) => unknown ? Options : never, "submit"> & {
-    submit: () => EffectRemoteFormSubmit;
+export type EffectRemoteFormEnhanceOptions<Input extends RemoteFormInput | void, Output, ErrorType = never> = Omit<Parameters<RemoteForm<Input, Output>["enhance"]>[0] extends (options: infer Options) => unknown ? Options : never, "submit"> & {
+    submit: () => EffectRemoteFormSubmit<Output, ErrorType>;
 };
 /**
  * Represents a SvelteKit remote form whose submission, validation, and
@@ -74,10 +117,11 @@ export type EffectRemoteFormEnhanceOptions<Input extends RemoteFormInput | void>
  *
  * @since 2.0.0
  */
-export type EffectRemoteForm<Input extends RemoteFormInput | void, Output> = ((input: Input) => Effect.Effect<Output, RemoteFailure<unknown>>) & Omit<RemoteForm<Input, Output>, "enhance" | "for" | "preflight" | "submit" | "validate"> & {
-    enhance(callback?: (options: EffectRemoteFormEnhanceOptions<Input>) => void | Promise<void> | Effect.Effect<void, unknown, unknown>): ReturnType<RemoteForm<Input, Output>["enhance"]>;
-    for(id: Parameters<RemoteForm<Input, Output>["for"]>[0]): Omit<EffectRemoteForm<Input, Output>, "for">;
-    preflight(schema: unknown): EffectRemoteForm<Input, Output>;
-    submit(input: Input): Effect.Effect<Output, RemoteFailure<unknown>>;
-    validate(options?: Parameters<RemoteForm<Input, Output>["validate"]>[0]): Effect.Effect<void, RemoteFailure<unknown>>;
+export type EffectRemoteForm<Input extends RemoteFormInput | void, Output, ErrorType = never> = EffectRemoteFormCallable<Input, Output, ErrorType> & Omit<RemoteForm<Input, Output>, "enhance" | "for" | "preflight" | "submit" | "validate"> & {
+    enhance(callback?: (options: EffectRemoteFormEnhanceOptions<Input, Output, ErrorType>) => void | Promise<void> | Effect.Effect<void, unknown, unknown>): ReturnType<RemoteForm<Input, Output>["enhance"]>;
+    for(id: Parameters<RemoteForm<Input, Output>["for"]>[0]): Omit<EffectRemoteForm<Input, Output, ErrorType>, "for">;
+    preflight(schema: Parameters<RemoteForm<Input, Output>["preflight"]>[0]): EffectRemoteForm<Input, Output, ErrorType>;
+    submit: EffectRemoteFormCallable<Input, Output, ErrorType>;
+    validate(options?: Parameters<RemoteForm<Input, Output>["validate"]>[0]): Effect.Effect<void, RemoteFailure<ErrorType>>;
 };
+export {};

package/.dist/remote/client.js

@@ -1,2 +1,2 @@
-import { i as create_remote_command_adapter, n as create_remote_query_adapter, r as create_remote_form_adapter, t as create_remote_live_query_adapter } from "../chunks/client-CfkB_G4o.js";
+import { i as create_remote_command_adapter, n as create_remote_query_adapter, r as create_remote_form_adapter, t as create_remote_live_query_adapter } from "../chunks/client-Cj2X9lY-.js";
 export { create_remote_command_adapter, create_remote_form_adapter, create_remote_live_query_adapter, create_remote_query_adapter };

package/.dist/runtime/preprocess.d.ts

@@ -36,3 +36,4 @@ interface PreprocessGroup {
 export declare function preprocess(): PreprocessGroup;
 export { type BlockRef, type ScriptTransformResult, transform_script_effect, } from "../preprocess.js";
 export { type MarkupTransformResult, transform_markup_effect, } from "../markup/transform.js";
+export { type SvelteTransformResult, transform_svelte_effect, } from "./transform.js";

package/.dist/runtime/preprocess.js

@@ -1,5 +1,6 @@
-import { t as transform_markup_effect } from "../chunks/transform-s9gKPYu5.js";
-import { t as transform_script_effect } from "../chunks/preprocess-Cn4JH9OO.js";
+import { t as transform_markup_effect } from "../chunks/transform-Cx5bjmP6.js";
+import { t as transform_script_effect } from "../chunks/preprocess-DseI9Doo.js";
+import { t as transform_svelte_effect } from "../chunks/transform-BDfspL1K.js";
 //#region src/runtime/preprocess.ts
 /**
 * Svelte preprocessor that lowers `yield*` in script and markup blocks.
@@ -20,36 +21,11 @@ function preprocess() {
 	return {
 		name: "svelte-effect-runtime",
 		markup({ content, filename }) {
-			const resolved_filename = filename ?? "unknown.svelte";
-			const script = find_script(content);
-			let combined = content;
-			if (script?.has_effect) {
-				const result = transform_script_effect(script.text, resolved_filename);
-				combined = content.slice(0, script.effect_attr_start) + content.slice(script.effect_attr_end, script.open_end) + result.code + content.slice(script.close_start);
-			}
-			return { code: transform_markup_effect(combined, resolved_filename).code };
+			return { code: transform_svelte_effect(content, filename ?? "unknown.svelte").code };
 		}
 	};
 }
-function find_script(content) {
-	for (const match of content.matchAll(/<script\b([^>]*)>([\s\S]*?)<\/script\s*>/gi)) {
-		if (match.index === void 0 || /\bmodule\b/.test(match[1] ?? "")) continue;
-		const attrs = match[1] ?? "";
-		const effect_match = /\s+effect(?:\s*=\s*(?:"[^"]*"|'[^']*'|[^\s>]+))?/.exec(attrs);
-		const open_end = match.index + match[0].indexOf(">") + 1;
-		const attr_start = effect_match?.index ?? attrs.length;
-		const attr_end = attr_start + (effect_match?.[0].length ?? 0);
-		return {
-			text: match[2],
-			open_end,
-			close_start: match.index + match[0].lastIndexOf("<"),
-			has_effect: effect_match !== null,
-			effect_attr_start: match.index + 7 + attr_start,
-			effect_attr_end: match.index + 7 + attr_end
-		};
-	}
-}
 //#endregion
-export { preprocess, transform_markup_effect, transform_script_effect };
+export { preprocess, transform_markup_effect, transform_script_effect, transform_svelte_effect };
 
 //# sourceMappingURL=preprocess.js.map

package/.dist/runtime/preprocess.js.map

@@ -1 +1 @@
-{"version":3,"file":"preprocess.js","names":[],"sources":["../../../modules/svelte-effect-runtime/src/runtime/preprocess.ts"],"sourcesContent":["import { transform_markup_effect } from \"$/markup/transform.ts\";\nimport { transform_script_effect } from \"$/preprocess.ts\";\n\n/**\n * Result returned by the Svelte markup preprocessor hook.\n *\n * @since 2.0.0\n */\ninterface MarkupResult {\n  code: string;\n}\n\n/**\n * Minimal Svelte preprocessor group shape used by the runtime.\n *\n * @since 2.0.0\n */\ninterface PreprocessGroup {\n  name: string;\n  markup(options: { content: string; filename?: string }): MarkupResult;\n}\n\n/**\n * Svelte preprocessor that lowers `yield*` in script and markup blocks.\n *\n * @example\n * ```js\n * import { preprocess } from \"svelte-effect-runtime\";\n *\n * export default {\n *   preprocess: [preprocess()],\n * };\n * ```\n *\n * @since 2.0.0\n * @returns A Svelte preprocessor group with a `markup` hook.\n */\nexport function preprocess(): PreprocessGroup {\n  return {\n    name: \"svelte-effect-runtime\",\n\n    markup({ content, filename }: { content: string; filename?: string }) {\n      const resolved_filename = filename ?? \"unknown.svelte\";\n      const script = find_script(content);\n\n      let combined = content;\n\n      if (script?.has_effect) {\n        const result = transform_script_effect(script.text, resolved_filename);\n\n        combined = content.slice(0, script.effect_attr_start) +\n          content.slice(script.effect_attr_end, script.open_end) +\n          result.code +\n          content.slice(script.close_start);\n      }\n\n      const result = transform_markup_effect(combined, resolved_filename);\n\n      return { code: result.code };\n    },\n  };\n}\n\nfunction find_script(content: string):\n  | {\n    text: string;\n    open_end: number;\n    close_start: number;\n    has_effect: boolean;\n    effect_attr_start: number;\n    effect_attr_end: number;\n  }\n  | undefined {\n  const pattern = /<script\\b([^>]*)>([\\s\\S]*?)<\\/script\\s*>/gi;\n\n  for (const match of content.matchAll(pattern)) {\n    if (match.index === undefined || /\\bmodule\\b/.test(match[1] ?? \"\")) {\n      continue;\n    }\n\n    const attrs = match[1] ?? \"\";\n    const effect_match = /\\s+effect(?:\\s*=\\s*(?:\"[^\"]*\"|'[^']*'|[^\\s>]+))?/\n      .exec(attrs);\n    const open_end = match.index + match[0].indexOf(\">\") + 1;\n    const attr_start = effect_match?.index ?? attrs.length;\n    const attr_end = attr_start + (effect_match?.[0].length ?? 0);\n\n    return {\n      text: match[2],\n      open_end,\n      close_start: match.index + match[0].lastIndexOf(\"<\"),\n      has_effect: effect_match !== null,\n      effect_attr_start: match.index + \"<script\".length + attr_start,\n      effect_attr_end: match.index + \"<script\".length + attr_end,\n    };\n  }\n\n  return undefined;\n}\n\nexport {\n  type BlockRef,\n  type ScriptTransformResult,\n  transform_script_effect,\n} from \"$/preprocess.ts\";\n\nexport {\n  type MarkupTransformResult,\n  transform_markup_effect,\n} from \"$/markup/transform.ts\";\n"],"mappings":";;;;;;;;;;;;;;;;;;AAqCA,SAAgB,aAA8B;CAC5C,OAAO;EACL,MAAM;EAEN,OAAO,EAAE,SAAS,YAAoD;GACpE,MAAM,oBAAoB,YAAY;GACtC,MAAM,SAAS,YAAY,OAAO;GAElC,IAAI,WAAW;GAEf,IAAI,QAAQ,YAAY;IACtB,MAAM,SAAS,wBAAwB,OAAO,MAAM,iBAAiB;IAErE,WAAW,QAAQ,MAAM,GAAG,OAAO,iBAAiB,IAClD,QAAQ,MAAM,OAAO,iBAAiB,OAAO,QAAQ,IACrD,OAAO,OACP,QAAQ,MAAM,OAAO,WAAW;GACpC;GAIA,OAAO,EAAE,MAFM,wBAAwB,UAAU,iBAE7B,EAAE,KAAK;EAC7B;CACF;AACF;AAEA,SAAS,YAAY,SASP;CAGZ,KAAK,MAAM,SAAS,QAAQ,SAAS,4CAAO,GAAG;EAC7C,IAAI,MAAM,UAAU,KAAA,KAAa,aAAa,KAAK,MAAM,MAAM,EAAE,GAC/D;EAGF,MAAM,QAAQ,MAAM,MAAM;EAC1B,MAAM,eAAe,mDAClB,KAAK,KAAK;EACb,MAAM,WAAW,MAAM,QAAQ,MAAM,GAAG,QAAQ,GAAG,IAAI;EACvD,MAAM,aAAa,cAAc,SAAS,MAAM;EAChD,MAAM,WAAW,cAAc,eAAe,GAAG,UAAU;EAE3D,OAAO;GACL,MAAM,MAAM;GACZ;GACA,aAAa,MAAM,QAAQ,MAAM,GAAG,YAAY,GAAG;GACnD,YAAY,iBAAiB;GAC7B,mBAAmB,MAAM,QAAQ,IAAmB;GACpD,iBAAiB,MAAM,QAAQ,IAAmB;EACpD;CACF;AAGF"}
+{"version":3,"file":"preprocess.js","names":[],"sources":["../../../modules/svelte-effect-runtime/src/runtime/preprocess.ts"],"sourcesContent":["import { transform_script_effect } from \"$/preprocess.ts\";\nimport { transform_svelte_effect } from \"./transform.ts\";\n\n/**\n * Result returned by the Svelte markup preprocessor hook.\n *\n * @since 2.0.0\n */\ninterface MarkupResult {\n  code: string;\n}\n\n/**\n * Minimal Svelte preprocessor group shape used by the runtime.\n *\n * @since 2.0.0\n */\ninterface PreprocessGroup {\n  name: string;\n  markup(options: { content: string; filename?: string }): MarkupResult;\n}\n\n/**\n * Svelte preprocessor that lowers `yield*` in script and markup blocks.\n *\n * @example\n * ```js\n * import { preprocess } from \"svelte-effect-runtime\";\n *\n * export default {\n *   preprocess: [preprocess()],\n * };\n * ```\n *\n * @since 2.0.0\n * @returns A Svelte preprocessor group with a `markup` hook.\n */\nexport function preprocess(): PreprocessGroup {\n  return {\n    name: \"svelte-effect-runtime\",\n\n    markup({ content, filename }: { content: string; filename?: string }) {\n      const resolved_filename = filename ?? \"unknown.svelte\";\n      const result = transform_svelte_effect(content, resolved_filename);\n\n      return { code: result.code };\n    },\n  };\n}\n\nexport {\n  type BlockRef,\n  type ScriptTransformResult,\n  transform_script_effect,\n} from \"$/preprocess.ts\";\n\nexport {\n  type MarkupTransformResult,\n  transform_markup_effect,\n} from \"$/markup/transform.ts\";\n\nexport {\n  type SvelteTransformResult,\n  transform_svelte_effect,\n} from \"./transform.ts\";\n"],"mappings":";;;;;;;;;;;;;;;;;;;AAqCA,SAAgB,aAA8B;CAC5C,OAAO;EACL,MAAM;EAEN,OAAO,EAAE,SAAS,YAAoD;GAIpE,OAAO,EAAE,MAFM,wBAAwB,SADb,YAAY,gBAGlB,EAAE,KAAK;EAC7B;CACF;AACF"}

package/.dist/runtime/transform.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Result returned by the direct whole-file Svelte transform.
+ *
+ * @example
+ * ```ts
+ * const result = transform_svelte_effect("<p>{yield* load()}</p>", "App.svelte");
+ * result.code;
+ * ```
+ *
+ * @since 2.5.0
+ */
+export interface SvelteTransformResult {
+    /** Transformed Svelte source. */
+    code: string;
+}
+/**
+ * Lowers SER syntax in a complete Svelte component without using Svelte's
+ * preprocessor adapter API.
+ *
+ * @example
+ * ```ts
+ * const result = transform_svelte_effect(
+ *   "<script effect>const value = yield* load()</script>",
+ *   "App.svelte",
+ * );
+ * ```
+ *
+ * @since 2.5.0
+ * @param content - Full Svelte component source to lower before Svelte parses
+ *   it.
+ * @param filename - Component filename used in generated cache identifiers and
+ *   diagnostics.
+ * @returns The transformed component source.
+ */
+export declare function transform_svelte_effect(content: string, filename?: string): SvelteTransformResult;

package/.dist/server/effects.d.ts

@@ -2,7 +2,7 @@ import { Effect } from "effect";
 import type { RequestEvent as RequestEventShape } from "./runtime.js";
 import type { EffectLike, EffectRemoteLiveSource } from "./types.js";
 type ResolvedLiveSource<A> = AsyncIterable<A> | AsyncIterator<A> | Iterable<A> | Iterator<A>;
-type LiveHandlerResult<A> = EffectLike<EffectRemoteLiveSource<A>> | EffectRemoteLiveSource<A>;
+type LiveHandlerResult<A> = EffectLike<EffectRemoteLiveSource<A>, unknown, unknown> | EffectRemoteLiveSource<A>;
 /**
  * Checks whether a value is an Effect generator return object.
  *
@@ -18,7 +18,7 @@ export declare function is_generator_result<A>(value: unknown): value is Effect.
  * @param value - Effect or generator return value.
  * @returns Normalized Effect.
  */
-export declare function to_effect<A>(value: EffectLike<A>): Effect.Effect<A, unknown, unknown>;
+export declare function to_effect<A, E, R>(value: EffectLike<A, E, R>): Effect.Effect<A, E, R>;
 /**
  * Checks whether a value is a live query source SvelteKit can consume.
  *
@@ -45,5 +45,5 @@ export declare function run_live_handler_source<A>(value: LiveHandlerResult<A>,
  * @param event - SvelteKit request event for this remote call.
  * @returns Promise resolving with the handler output.
  */
-export declare function run_handler_effect<A>(value: EffectLike<A>, event: RequestEventShape): Promise<A>;
+export declare function run_handler_effect<A>(value: EffectLike<A, unknown, unknown>, event: RequestEventShape): Promise<A>;
 export {};

package/.dist/server/factories.d.ts

@@ -1,7 +1,6 @@
-import { prerender as native_prerender } from "$app/server";
 import type { RemoteFormInput } from "@sveltejs/kit";
 import { type Schema } from "effect";
-import type { EffectLike, EffectRemoteBatchHandler, EffectRemoteCommand, EffectRemoteForm, EffectRemoteLiveQueryFunction, EffectRemoteLiveSource, EffectRemoteQueryFunction, PrerenderOptions, RemoteFormHandler, RemoteHandler, SchemaInput } from "./types.js";
+import type { EffectLike, EffectRemoteCommand, EffectRemoteForm, EffectRemoteFunction, PrerenderOptions, QueryFactory, RemoteFormHandler, RemoteHandler, SchemaEncodedInput, SchemaInput } from "./types.js";
 type FormSchemaEncodedInput<S> = S extends Schema.Top ? FormRemoteInput<S["Encoded"]> : never;
 type FormRemoteInput<Input> = NormalizeFormEncoded<Input> extends RemoteFormInput ? NormalizeFormEncoded<Input> : never;
 type FormScalar = string | number | boolean | File;
@@ -12,35 +11,6 @@ type NormalizeFormObject<Value> = {
 type OptionalFormKeys<Value> = {
     [Key in keyof Value]-?: Record<PropertyKey, never> extends Pick<Value, Key> ? Key : never;
 }[keyof Value];
-type RemoteLiveHandler<Input = unknown, A = unknown> = EffectLike<EffectRemoteLiveSource<A>> | EffectRemoteLiveSource<A> | ((input: Input) => EffectLike<EffectRemoteLiveSource<A>> | EffectRemoteLiveSource<A>);
-interface QueryFactory {
-    <A>(validate_or_handler: EffectLike<A> | RemoteHandler<void, A>): EffectRemoteQueryFunction<void, A>;
-    <Input, A>(validate_or_handler: "unchecked", maybe_handler: RemoteHandler<Input, A>): EffectRemoteQueryFunction<Input, A>;
-    <S extends Schema.Schema<unknown>, A>(validate_or_handler: S, maybe_handler: RemoteHandler<SchemaInput<S>, A>): EffectRemoteQueryFunction<SchemaInput<S>, A>;
-    readonly batch: typeof QueryBatch;
-    readonly live: typeof QueryLive;
-}
-/**
- * Factory for a batched read-only remote query function.
- *
- * @since 2.0.0
- * @param validate_or_handler - A schema or `"unchecked"` sentinel.
- * @param maybe_handler - Handler receiving validated inputs as one batch.
- * @returns A SvelteKit batch query function.
- */
-declare function QueryBatch<Input, A>(validate_or_handler: "unchecked", maybe_handler: EffectRemoteBatchHandler<Input, A>): EffectRemoteQueryFunction<Input, A>;
-declare function QueryBatch<S extends Schema.Schema<unknown>, A>(validate_or_handler: S, maybe_handler: EffectRemoteBatchHandler<SchemaInput<S>, A>): EffectRemoteQueryFunction<SchemaInput<S>, A>;
-/**
- * Factory for a live remote query function.
- *
- * @since 2.0.0
- * @param validate_or_handler - A schema, `"unchecked"`, or no-arg live handler.
- * @param maybe_handler - Handler used when a validator is supplied.
- * @returns A SvelteKit live query function.
- */
-declare function QueryLive<A>(validate_or_handler: RemoteLiveHandler<void, A>): EffectRemoteLiveQueryFunction<void, A>;
-declare function QueryLive<Input, A>(validate_or_handler: "unchecked", maybe_handler: RemoteLiveHandler<Input, A>): EffectRemoteLiveQueryFunction<Input, A>;
-declare function QueryLive<S extends Schema.Schema<unknown>, A>(validate_or_handler: S, maybe_handler: RemoteLiveHandler<SchemaInput<S>, A>): EffectRemoteLiveQueryFunction<SchemaInput<S>, A>;
 /**
  * Factory for read-only remote query functions.
  *
@@ -66,9 +36,9 @@ export declare const Query: QueryFactory;
  * @param maybe_handler - Handler used when a validator is supplied.
  * @returns A SvelteKit command function.
  */
-export declare function Command<A>(validate_or_handler: EffectLike<A> | RemoteHandler<void, A>): EffectRemoteCommand<void, A>;
-export declare function Command<Input, A>(validate_or_handler: "unchecked", maybe_handler: RemoteHandler<Input, A>): EffectRemoteCommand<Input, A>;
-export declare function Command<S extends Schema.Schema<unknown>, A>(validate_or_handler: S, maybe_handler: RemoteHandler<SchemaInput<S>, A>): EffectRemoteCommand<SchemaInput<S>, A>;
+export declare function Command<A, E = never, R = never>(validate_or_handler: EffectLike<A, E, R> | RemoteHandler<void, A, E, R>): EffectRemoteCommand<void, A, E>;
+export declare function Command<Input, A, E = never, R = never>(validate_or_handler: "unchecked", maybe_handler: RemoteHandler<Input, A, E, R>): EffectRemoteCommand<Input, A, E>;
+export declare function Command<S extends Schema.Schema<unknown>, A, E = never, R = never>(validate_or_handler: S, maybe_handler: RemoteHandler<SchemaInput<S>, A, E, R>): EffectRemoteCommand<SchemaEncodedInput<S>, A, E>;
 /**
  * Factory for a remote form handler.
  *
@@ -90,9 +60,9 @@ export declare function Command<S extends Schema.Schema<unknown>, A>(validate_or
  * @param maybe_handler - Handler used when a validator is supplied.
  * @returns A SvelteKit form function.
  */
-export declare function Form<A>(validate_or_handler: EffectLike<A> | RemoteFormHandler<void, A>): EffectRemoteForm<void, A>;
-export declare function Form<Input extends RemoteFormInput, A>(validate_or_handler: "unchecked", maybe_handler: RemoteFormHandler<Input, A>): EffectRemoteForm<Input, A>;
-export declare function Form<S extends Schema.Top, A>(validate_or_handler: S, maybe_handler: RemoteFormHandler<SchemaInput<S>, A>): EffectRemoteForm<FormSchemaEncodedInput<S>, A>;
+export declare function Form<A, E = never, R = never>(validate_or_handler: EffectLike<A, E, R> | RemoteFormHandler<void, A, E, R>): EffectRemoteForm<void, A, E>;
+export declare function Form<Input extends RemoteFormInput, A, E = never, R = never>(validate_or_handler: "unchecked", maybe_handler: RemoteFormHandler<Input, A, E, R>): EffectRemoteForm<Input, A, E>;
+export declare function Form<S extends Schema.Top, A, E = never, R = never>(validate_or_handler: S, maybe_handler: RemoteFormHandler<SchemaInput<S>, A, E, R>): EffectRemoteForm<FormSchemaEncodedInput<S>, A, E>;
 /**
  * Factory for a prerenderable remote function.
  *
@@ -102,5 +72,7 @@ export declare function Form<S extends Schema.Top, A>(validate_or_handler: S, ma
  * @param maybe_options - Prerender options used with a validator.
  * @returns A SvelteKit prerender function.
  */
-export declare function Prerender(validate_or_handler: unknown, maybe_handler_or_options?: RemoteHandler | PrerenderOptions, maybe_options?: PrerenderOptions): ReturnType<typeof native_prerender>;
+export declare function Prerender<A, E = never, R = never>(validate_or_handler: EffectLike<A, E, R> | RemoteHandler<void, A, E, R>, maybe_options?: PrerenderOptions): EffectRemoteFunction<void, A, E>;
+export declare function Prerender<Input, A, E = never, R = never>(validate_or_handler: "unchecked", maybe_handler: RemoteHandler<Input, A, E, R>, maybe_options?: PrerenderOptions): EffectRemoteFunction<Input, A, E>;
+export declare function Prerender<S extends Schema.Schema<unknown>, A, E = never, R = never>(validate_or_handler: S, maybe_handler: RemoteHandler<SchemaInput<S>, A, E, R>, maybe_options?: PrerenderOptions): EffectRemoteFunction<SchemaEncodedInput<S>, A, E>;
 export {};

package/.dist/server/index.d.ts

@@ -2,4 +2,4 @@ export { Command, Form, Prerender, Query } from "./factories.js";
 export { Error, Redirect } from "./control-flow.js";
 export { get_server_runtime_or_throw, RequestEvent, ServerRuntime, } from "./runtime.js";
 export type { ErrorEffectFactory, ErrorStatus, ErrorStatusName, RedirectEffectFactory, RedirectStatus, RedirectStatusName, } from "./control-flow.js";
-export type { CommandFactory, EffectLike, EffectRemoteBatchHandler, EffectRemoteCommand, EffectRemoteForm, EffectRemoteFunction, EffectRemoteLiveQuery, EffectRemoteLiveQueryFunction, EffectRemoteLiveQueryResource, EffectRemoteLiveSource, EffectRemoteQuery, EffectRemoteQueryFunction, FormFactory, FormInvalid, PrerenderFactory, PrerenderOptions, QueryBatchFactory, QueryFactory, QueryLiveFactory, RemoteFormHandler, RemoteHandler, RemoteLiveHandler, SchemaInput, ServerRuntimeFactory, StandardSchema, } from "./types.js";
+export type { CommandFactory, EffectLike, EffectRemoteBatchHandler, EffectRemoteCommand, EffectRemoteForm, EffectRemoteFunction, EffectRemoteLiveQuery, EffectRemoteLiveQueryFunction, EffectRemoteLiveQueryResource, EffectRemoteLiveSource, EffectRemoteQuery, EffectRemoteQueryFunction, FormFactory, FormInvalid, PrerenderFactory, PrerenderOptions, QueryBatchFactory, QueryFactory, QueryLiveFactory, RemoteFormHandler, RemoteHandler, RemoteLiveHandler, SchemaEncodedInput, SchemaInput, ServerRuntimeFactory, StandardSchema, } from "./types.js";

package/.dist/server/invalid.d.ts

@@ -6,4 +6,4 @@ import type { FormInvalid } from "./types.js";
  * @param path - Current nested form path.
  * @returns Callable invalid proxy for this path.
  */
-export declare function make_invalid_proxy(path?: readonly (string | number)[]): FormInvalid;
+export declare function make_invalid_proxy<Input = unknown>(path?: readonly (string | number)[]): FormInvalid<Input>;

package/.dist/server/schema.d.ts

@@ -15,7 +15,7 @@ export declare function is_unchecked(value: unknown): value is "unchecked";
  * @param value - Value to inspect.
  * @returns Whether the value is callable as a handler.
  */
-export declare function is_handler(value: unknown): value is RemoteHandler;
+export declare function is_handler(value: unknown): value is RemoteHandler<unknown, unknown, unknown, unknown>;
 /**
  * Checks whether a value implements the Standard Schema contract.
  *