effect-start 0.23.0 → 0.25.0

package/dist/Commander.d.ts

@@ -1,100 +0,0 @@
-import * as Effect from "effect/Effect";
-import * as Pipeable from "effect/Pipeable";
-import * as Schema from "effect/Schema";
-declare const CommanderError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "CommanderError";
-} & Readonly<A>;
-export declare class CommanderError extends CommanderError_base<{
-    message: string;
-    cause?: unknown;
-}> {
-}
-declare const TypeId: unique symbol;
-type KebabToCamel<S extends string> = S extends `${infer First}-${infer Rest}` ? `${First}${KebabToCamel<Capitalize<Rest>>}` : S;
-type StripPrefix<S extends string> = S extends `--${infer Name}` ? Name : S extends `-${infer Name}` ? Name : S;
-type OptionNameToCamelCase<S extends string> = KebabToCamel<StripPrefix<S>>;
-export interface OptionBuilder<A = any, Name extends string = string> {
-    readonly _tag: "OptionBuilder";
-    readonly name: Name;
-    readonly long: Name;
-    readonly short?: string;
-    readonly description: string;
-    readonly schema?: Schema.Schema<A, any>;
-    readonly defaultValue?: A;
-}
-type OptionBuilderWithSchema<A, Name extends string> = Omit<OptionBuilder<A, Name>, "schema" | "defaultValue"> & {
-    readonly schema: Schema.Schema<A, any>;
-    readonly defaultValue?: A;
-};
-export declare const option: <const Long extends `--${string}`, const Short extends `-${string}` | undefined = undefined>(long: Long, short?: Short) => {
-    schema<A, I extends string = string>(schema: Schema.Schema<A, I>): OptionBuilderWithSchema<A, Long>;
-    description(desc: string): {
-        schema<A, I_1 extends string = string>(schema: Schema.Schema<A, I_1>): OptionBuilderWithSchema<A, Long>;
-        default<A>(value: A): {
-            schema<A2 extends A, I_2 extends string = string>(schema: Schema.Schema<A2, I_2>): OptionBuilderWithSchema<A2, Long>;
-        };
-    };
-    default<A>(value: A): {
-        schema<A2 extends A, I_3 extends string = string>(schema: Schema.Schema<A2, I_3>): OptionBuilderWithSchema<A2, Long>;
-        description(desc: string): {
-            schema<A2 extends A, I_4 extends string = string>(schema: Schema.Schema<A2, I_4>): OptionBuilderWithSchema<A2, Long>;
-        };
-    };
-};
-export type OptionsMap = Record<string, OptionBuilder<any, any>>;
-type ExtractOptionsFromBuilders<Opts extends OptionsMap> = {
-    [K in keyof Opts as Opts[K] extends OptionBuilder<any, infer Name> ? OptionNameToCamelCase<Name> : never]: Opts[K] extends OptionBuilder<infer A, any> ? A : never;
-};
-export type ExtractOptionValues<Opts extends OptionsMap> = ExtractOptionsFromBuilders<Opts>;
-export interface SubcommandDef<Handled extends boolean = boolean> {
-    readonly _tag: "SubcommandDef";
-    readonly command: CommanderSet<any, any, Handled>;
-}
-type Extend<S, NewOpts extends OptionsMap, NewSubs extends ReadonlyArray<SubcommandDef> = [], Handled extends boolean = false> = S extends CommanderSet<infer Opts, infer Subs, infer _H> ? CommanderSet<Opts & NewOpts, [...Subs, ...NewSubs], Handled> : CommanderSet<NewOpts, NewSubs, Handled>;
-type CommanderBuilder = {
-    option: typeof optionMethod;
-    optionHelp: typeof optionHelp;
-    optionVersion: typeof optionVersion;
-    subcommand: typeof subcommand;
-    handle: typeof handle;
-};
-export type CommanderSet<Opts extends OptionsMap = {}, Subcommands extends ReadonlyArray<SubcommandDef> = [], Handled extends boolean = false> = Pipeable.Pipeable & CommanderSet.Instance<Opts, Subcommands, Handled> & {
-    [TypeId]: typeof TypeId;
-} & CommanderBuilder;
-export declare namespace CommanderSet {
-    type Instance<Opts extends OptionsMap = {}, Subcommands extends ReadonlyArray<SubcommandDef> = [], Handled extends boolean = false> = {
-        readonly name: string;
-        readonly description?: string;
-        readonly version?: string;
-        readonly options: Opts;
-        readonly subcommands: Subcommands;
-        readonly handler?: Handled extends true ? (args: ExtractOptionValues<Opts>) => Effect.Effect<void> : never;
-    };
-    type Default = CommanderSet<{}, [], false>;
-    type Proto = {
-        [TypeId]: typeof TypeId;
-        pipe(): any;
-    } & CommanderBuilder;
-}
-declare const optionMethod: <S, Opt extends OptionBuilder<any, any>>(this: S, opt: Opt) => Extend<S, { [K in Opt["name"] as OptionNameToCamelCase<K>]: Opt; }>;
-export declare const optionHelp: <S>(this: S) => Extend<S, {
-    help: OptionBuilder<boolean, "--help">;
-}>;
-export declare const optionVersion: <S>(this: S) => Extend<S, {
-    version: OptionBuilder<boolean, "--version">;
-}>;
-export declare const subcommand: <S, SubOpts extends OptionsMap, SubSubs extends ReadonlyArray<SubcommandDef>, SubHandled extends boolean>(this: S, cmd: CommanderSet<SubOpts, SubSubs, SubHandled>) => Extend<S, {}, [SubcommandDef<SubHandled>]>;
-export declare const handle: <Opts extends OptionsMap, Subs extends ReadonlyArray<SubcommandDef>>(this: CommanderSet<Opts, Subs, false>, handler: (args: ExtractOptionValues<Opts>) => Effect.Effect<void>) => CommanderSet<Opts, Subs, true>;
-export declare const make: <const Name extends string>(config: {
-    readonly name: Name;
-    readonly description?: string;
-    readonly version?: string;
-}) => CommanderSet<{}, [], false>;
-export declare function isCommanderSet(input: unknown): input is CommanderSet<any, any, any>;
-export declare const parse: <Opts extends OptionsMap, Subs extends ReadonlyArray<SubcommandDef>, Handled extends boolean>(cmd: CommanderSet<Opts, Subs, Handled>, args: ReadonlyArray<string>) => Effect.Effect<ExtractOptionValues<Opts>, CommanderError>;
-export declare const runMain: <Opts extends OptionsMap, Subs extends ReadonlyArray<SubcommandDef>>(cmd: CommanderSet<Opts, Subs, true>) => Effect.Effect<void, CommanderError>;
-export declare const help: <Opts extends OptionsMap, Subs extends ReadonlyArray<SubcommandDef>, Handled extends boolean>(cmd: CommanderSet<Opts, Subs, Handled>) => string;
-export declare const NumberFromString: typeof Schema.NumberFromString;
-export declare const choice: <const Choices extends ReadonlyArray<string>>(choices: Choices) => Schema.Schema<Choices[number], string>;
-export declare const repeatable: <A>(schema: Schema.Schema<A, string>) => Schema.Schema<ReadonlyArray<A>, string>;
-export {};

package/dist/ContentNegotiation.d.ts

@@ -1,12 +0,0 @@
-/**
- * RFC 7231 Content Negotiation compatible with Express/Node.js ecosystem.
- * Based on {@link https://github.com/jshttp/negotiator}
- */
-export declare function media(accept: string, available?: Array<string>): Array<string>;
-export declare function language(accept: string, available?: Array<string>): Array<string>;
-export declare function encoding(accept: string, available?: Array<string>): Array<string>;
-export declare function charset(accept: string, available?: Array<string>): Array<string>;
-export declare function headerMedia(headers: Headers, available?: Array<string>): Array<string>;
-export declare function headerLanguage(headers: Headers, available?: Array<string>): Array<string>;
-export declare function headerEncoding(headers: Headers, available?: Array<string>): Array<string>;
-export declare function headerCharset(headers: Headers, available?: Array<string>): Array<string>;

package/dist/Cookies.d.ts

@@ -1,47 +0,0 @@
-import * as Duration from "effect/Duration";
-import * as Inspectable from "effect/Inspectable";
-import * as Option from "effect/Option";
-import * as Pipeable from "effect/Pipeable";
-export declare const TypeId: unique symbol;
-export type TypeId = typeof TypeId;
-export declare const isCookies: (u: unknown) => u is Cookies;
-export interface Cookies extends Pipeable.Pipeable, Inspectable.Inspectable {
-    readonly [TypeId]: TypeId;
-    readonly cookies: Record<string, Cookie>;
-}
-export declare const CookieTypeId: unique symbol;
-export type CookieTypeId = typeof CookieTypeId;
-export interface Cookie extends Inspectable.Inspectable {
-    readonly [CookieTypeId]: CookieTypeId;
-    readonly name: string;
-    readonly value: string;
-    readonly valueEncoded: string;
-    readonly options?: {
-        readonly domain?: string | undefined;
-        readonly expires?: Date | undefined;
-        readonly maxAge?: Duration.DurationInput | undefined;
-        readonly path?: string | undefined;
-        readonly priority?: "low" | "medium" | "high" | undefined;
-        readonly httpOnly?: boolean | undefined;
-        readonly secure?: boolean | undefined;
-        readonly partitioned?: boolean | undefined;
-        readonly sameSite?: "lax" | "strict" | "none" | undefined;
-    } | undefined;
-}
-export declare const empty: Cookies;
-export declare const fromIterable: (cookies: Iterable<Cookie>) => Cookies;
-export declare const fromSetCookie: (headers: Iterable<string> | string) => Cookies;
-export declare const unsafeMakeCookie: (name: string, value: string, options?: Cookie["options"] | undefined) => Cookie;
-export declare const isEmpty: (self: Cookies) => boolean;
-export declare const get: (self: Cookies, name: string) => Option.Option<Cookie>;
-export declare const getValue: (self: Cookies, name: string) => Option.Option<string>;
-export declare const setCookie: (self: Cookies, cookie: Cookie) => Cookies;
-export declare const unsafeSet: (self: Cookies, name: string, value: string, options?: Cookie["options"]) => Cookies;
-export declare const unsafeSetAll: (self: Cookies, cookies: Iterable<readonly [name: string, value: string, options?: Cookie["options"]]>) => Cookies;
-export declare const remove: (self: Cookies, name: string) => Cookies;
-export declare const merge: (self: Cookies, that: Cookies) => Cookies;
-export declare function serializeCookie(self: Cookie): string;
-export declare const toCookieHeader: (self: Cookies) => string;
-export declare const toRecord: (self: Cookies) => Record<string, string>;
-export declare const toSetCookieHeaders: (self: Cookies) => Array<string>;
-export declare function parseHeader(header: string): Record<string, string>;

package/dist/Development.d.ts

@@ -1,39 +0,0 @@
-import * as FileSystem from "./FileSystem.ts";
-import * as Context from "effect/Context";
-import * as Effect from "effect/Effect";
-import * as Layer from "effect/Layer";
-import * as PubSub from "effect/PubSub";
-import * as Stream from "effect/Stream";
-import type * as PlatformError from "./PlatformError.ts";
-export type DevelopmentEvent = FileSystem.WatchEvent | {
-    readonly _tag: "Reload";
-};
-/** @internal */
-export declare const _resetForTesting: () => void;
-export type DevelopmentService = {
-    events: PubSub.PubSub<DevelopmentEvent>;
-};
-declare const Development_base: Context.TagClass<Development, "effect-start/Development", DevelopmentService>;
-export declare class Development extends Development_base {
-}
-export declare const filterSourceFiles: (event: FileSystem.WatchEvent) => boolean;
-export declare const filterDirectory: (event: FileSystem.WatchEvent) => boolean;
-export declare const watchSource: (opts?: {
-    path?: string;
-    recursive?: boolean;
-    filter?: (event: FileSystem.WatchEvent) => boolean;
-}) => Stream.Stream<FileSystem.WatchEvent, PlatformError.PlatformError, FileSystem.FileSystem>;
-export declare const watch: (opts?: {
-    path?: string;
-    recursive?: boolean;
-    filter?: (event: FileSystem.WatchEvent) => boolean;
-}) => Effect.Effect<{
-    events: PubSub.PubSub<DevelopmentEvent>;
-}, never, FileSystem.FileSystem>;
-export declare const layerWatch: (opts?: {
-    path?: string;
-    recursive?: boolean;
-    filter?: (event: FileSystem.WatchEvent) => boolean;
-}) => Layer.Layer<Development, never, FileSystem.FileSystem>;
-export declare const stream: () => Stream.Stream<DevelopmentEvent>;
-export {};

package/dist/Effectify.d.ts

@@ -1,209 +0,0 @@
-import * as Effect from "effect/Effect";
-interface Callback<E, A> {
-    (err: E, a?: A): void;
-}
-type ArgsWithCallback<Args extends Array<any>, E, A> = [...args: Args, cb: Callback<E, A>];
-type WithoutNull<A> = unknown extends A ? void : Exclude<A, null | undefined>;
-type Effectify<T, E> = T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1;
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2;
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3;
-    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4;
-    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5;
-    (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6;
-    (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7;
-    (...args: ArgsWithCallback<infer Args8, infer _E8, infer A8>): infer _R8;
-    (...args: ArgsWithCallback<infer Args9, infer _E9, infer A9>): infer _R9;
-    (...args: ArgsWithCallback<infer Args10, infer _E10, infer A10>): infer _R10;
-} ? {
-    (...args: Args1): Effect.Effect<WithoutNull<A1>, E>;
-    (...args: Args2): Effect.Effect<WithoutNull<A2>, E>;
-    (...args: Args3): Effect.Effect<WithoutNull<A3>, E>;
-    (...args: Args4): Effect.Effect<WithoutNull<A4>, E>;
-    (...args: Args5): Effect.Effect<WithoutNull<A5>, E>;
-    (...args: Args6): Effect.Effect<WithoutNull<A6>, E>;
-    (...args: Args7): Effect.Effect<WithoutNull<A7>, E>;
-    (...args: Args8): Effect.Effect<WithoutNull<A8>, E>;
-    (...args: Args9): Effect.Effect<WithoutNull<A9>, E>;
-    (...args: Args10): Effect.Effect<WithoutNull<A10>, E>;
-} : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1;
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2;
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3;
-    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4;
-    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5;
-    (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6;
-    (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7;
-    (...args: ArgsWithCallback<infer Args8, infer _E8, infer A8>): infer _R8;
-    (...args: ArgsWithCallback<infer Args9, infer _E9, infer A9>): infer _R9;
-} ? {
-    (...args: Args1): Effect.Effect<WithoutNull<A1>, E>;
-    (...args: Args2): Effect.Effect<WithoutNull<A2>, E>;
-    (...args: Args3): Effect.Effect<WithoutNull<A3>, E>;
-    (...args: Args4): Effect.Effect<WithoutNull<A4>, E>;
-    (...args: Args5): Effect.Effect<WithoutNull<A5>, E>;
-    (...args: Args6): Effect.Effect<WithoutNull<A6>, E>;
-    (...args: Args7): Effect.Effect<WithoutNull<A7>, E>;
-    (...args: Args8): Effect.Effect<WithoutNull<A8>, E>;
-    (...args: Args9): Effect.Effect<WithoutNull<A9>, E>;
-} : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1;
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2;
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3;
-    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4;
-    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5;
-    (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6;
-    (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7;
-    (...args: ArgsWithCallback<infer Args8, infer _E8, infer A8>): infer _R8;
-} ? {
-    (...args: Args1): Effect.Effect<WithoutNull<A1>, E>;
-    (...args: Args2): Effect.Effect<WithoutNull<A2>, E>;
-    (...args: Args3): Effect.Effect<WithoutNull<A3>, E>;
-    (...args: Args4): Effect.Effect<WithoutNull<A4>, E>;
-    (...args: Args5): Effect.Effect<WithoutNull<A5>, E>;
-    (...args: Args6): Effect.Effect<WithoutNull<A6>, E>;
-    (...args: Args7): Effect.Effect<WithoutNull<A7>, E>;
-    (...args: Args8): Effect.Effect<WithoutNull<A8>, E>;
-} : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1;
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2;
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3;
-    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4;
-    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5;
-    (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6;
-    (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7;
-} ? {
-    (...args: Args1): Effect.Effect<WithoutNull<A1>, E>;
-    (...args: Args2): Effect.Effect<WithoutNull<A2>, E>;
-    (...args: Args3): Effect.Effect<WithoutNull<A3>, E>;
-    (...args: Args4): Effect.Effect<WithoutNull<A4>, E>;
-    (...args: Args5): Effect.Effect<WithoutNull<A5>, E>;
-    (...args: Args6): Effect.Effect<WithoutNull<A6>, E>;
-    (...args: Args7): Effect.Effect<WithoutNull<A7>, E>;
-} : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1;
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2;
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3;
-    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4;
-    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5;
-    (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6;
-} ? {
-    (...args: Args1): Effect.Effect<WithoutNull<A1>, E>;
-    (...args: Args2): Effect.Effect<WithoutNull<A2>, E>;
-    (...args: Args3): Effect.Effect<WithoutNull<A3>, E>;
-    (...args: Args4): Effect.Effect<WithoutNull<A4>, E>;
-    (...args: Args5): Effect.Effect<WithoutNull<A5>, E>;
-    (...args: Args6): Effect.Effect<WithoutNull<A6>, E>;
-} : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1;
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2;
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3;
-    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4;
-    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5;
-} ? {
-    (...args: Args1): Effect.Effect<WithoutNull<A1>, E>;
-    (...args: Args2): Effect.Effect<WithoutNull<A2>, E>;
-    (...args: Args3): Effect.Effect<WithoutNull<A3>, E>;
-    (...args: Args4): Effect.Effect<WithoutNull<A4>, E>;
-    (...args: Args5): Effect.Effect<WithoutNull<A5>, E>;
-} : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1;
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2;
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3;
-    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4;
-} ? {
-    (...args: Args1): Effect.Effect<WithoutNull<A1>, E>;
-    (...args: Args2): Effect.Effect<WithoutNull<A2>, E>;
-    (...args: Args3): Effect.Effect<WithoutNull<A3>, E>;
-    (...args: Args4): Effect.Effect<WithoutNull<A4>, E>;
-} : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1;
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2;
-    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3;
-} ? {
-    (...args: Args1): Effect.Effect<WithoutNull<A1>, E>;
-    (...args: Args2): Effect.Effect<WithoutNull<A2>, E>;
-    (...args: Args3): Effect.Effect<WithoutNull<A3>, E>;
-} : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1;
-    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2;
-} ? {
-    (...args: Args1): Effect.Effect<WithoutNull<A1>, E>;
-    (...args: Args2): Effect.Effect<WithoutNull<A2>, E>;
-} : T extends {
-    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1;
-} ? {
-    (...args: Args1): Effect.Effect<WithoutNull<A1>, E>;
-} : never;
-type EffectifyError<T> = T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1;
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2;
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3;
-    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4;
-    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5;
-    (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6;
-    (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7;
-    (...args: ArgsWithCallback<infer _Args8, infer E8, infer _A8>): infer _R8;
-    (...args: ArgsWithCallback<infer _Args9, infer E9, infer _A9>): infer _R9;
-    (...args: ArgsWithCallback<infer _Args10, infer E10, infer _A10>): infer _R10;
-} ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8 | E9 | E10> : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1;
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2;
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3;
-    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4;
-    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5;
-    (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6;
-    (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7;
-    (...args: ArgsWithCallback<infer _Args8, infer E8, infer _A8>): infer _R8;
-    (...args: ArgsWithCallback<infer _Args9, infer E9, infer _A9>): infer _R9;
-} ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8 | E9> : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1;
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2;
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3;
-    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4;
-    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5;
-    (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6;
-    (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7;
-    (...args: ArgsWithCallback<infer _Args8, infer E8, infer _A8>): infer _R8;
-} ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8> : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1;
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2;
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3;
-    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4;
-    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5;
-    (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6;
-    (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7;
-} ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7> : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1;
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2;
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3;
-    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4;
-    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5;
-    (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6;
-} ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6> : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1;
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2;
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3;
-    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4;
-    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5;
-} ? NonNullable<E1 | E2 | E3 | E4 | E5> : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1;
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2;
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3;
-    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4;
-} ? NonNullable<E1 | E2 | E3 | E4> : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1;
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2;
-    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3;
-} ? NonNullable<E1 | E2 | E3> : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1;
-    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2;
-} ? NonNullable<E1 | E2> : T extends {
-    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1;
-} ? NonNullable<E1> : never;
-export declare const effectify: {
-    <F extends (...args: Array<any>) => any>(fn: F): Effectify<F, EffectifyError<F>>;
-    <F extends (...args: Array<any>) => any, E>(fn: F, onError: (error: EffectifyError<F>, args: Parameters<F>) => E): Effectify<F, E>;
-    <F extends (...args: Array<any>) => any, E, E2>(fn: F, onError: (error: EffectifyError<F>, args: Parameters<F>) => E, onSyncError: (error: unknown, args: Parameters<F>) => E2): Effectify<F, E | E2>;
-};
-export {};

package/dist/Entity.d.ts

@@ -1,47 +0,0 @@
-import * as Effect from "effect/Effect";
-import * as ParseResult from "effect/ParseResult";
-import * as Pipeable from "effect/Pipeable";
-import * as Stream from "effect/Stream";
-import * as Values from "./Values.ts";
-export declare const TypeId: unique symbol;
-export type TypeId = typeof TypeId;
-/**
- * Header keys are guaranteed to be lowercase.
- */
-export type Headers = {
-    [header: string]: string | null | undefined;
-};
-export interface Entity<T = unknown, E = never> extends Pipeable.Pipeable {
-    readonly [TypeId]: TypeId;
-    readonly body: T;
-    readonly headers: Headers;
-    /**
-     * Accepts any valid URI (Uniform Resource Identifier), including URLs
-     * (http://, https://, file://), URNs (urn:isbn:...), S3 URIs (s3://bucket/key),
-     * data URIs, and other schemes. While commonly called "URL" in many APIs,
-     * this property handles URIs as the correct superset term per RFC 3986.
-     */
-    readonly url: string | undefined;
-    readonly status: number | undefined;
-    readonly text: T extends string ? Effect.Effect<T, ParseResult.ParseError | E> : Effect.Effect<string, ParseResult.ParseError | E>;
-    readonly json: [T] extends [Effect.Effect<infer A, any, any>] ? Effect.Effect<A extends string | Uint8Array | ArrayBuffer ? unknown : A, ParseResult.ParseError | E> : [T] extends [Stream.Stream<any, any, any>] ? Effect.Effect<unknown, ParseResult.ParseError | E> : [T] extends [string | Uint8Array | ArrayBuffer] ? Effect.Effect<unknown, ParseResult.ParseError | E> : [T] extends [Values.Json] ? Effect.Effect<T, ParseResult.ParseError | E> : Effect.Effect<unknown, ParseResult.ParseError | E>;
-    readonly bytes: Effect.Effect<Uint8Array, ParseResult.ParseError | E>;
-    readonly stream: T extends Stream.Stream<infer A, infer E1, any> ? Stream.Stream<A, ParseResult.ParseError | E | E1> : Stream.Stream<Uint8Array, ParseResult.ParseError | E>;
-}
-export interface Proto extends Pipeable.Pipeable {
-    readonly [TypeId]: TypeId;
-}
-export declare function isEntity(input: unknown): input is Entity;
-interface Options {
-    readonly headers?: Headers;
-    readonly url?: string;
-    readonly status?: number;
-}
-export declare function make<A, E>(body: Effect.Effect<A, E, never>, options?: Options): Entity<Effect.Effect<A, E, never>, E>;
-export declare function make<A extends Uint8Array | string, E>(body: Stream.Stream<A, E, never>, options?: Options): Entity<Stream.Stream<A, E, never>, E>;
-export declare function make<T>(body: T, options?: Options): Entity<T, never>;
-export declare function effect<A, E, R>(body: Effect.Effect<Entity<A> | A, E, R>): Entity<A, E>;
-export declare function resolve<A, E>(entity: Entity<A, E>): Effect.Effect<Entity<A, E>, E, never>;
-export declare function type(self: Entity): string;
-export declare function length(self: Entity): number | undefined;
-export {};

package/dist/FilePathPattern.d.ts

@@ -1,29 +0,0 @@
-import * as Either from "effect/Either";
-import type * as PathPattern from "./PathPattern.ts";
-export type FilePathPattern = string;
-export type Segment = {
-    _tag: "GroupSegment";
-    name: string;
-} | {
-    _tag: "RestSegment";
-    name: string;
-} | {
-    _tag: "ParamSegment";
-    name: string;
-} | {
-    _tag: "LiteralSegment";
-    value: string;
-} | {
-    _tag: "InvalidSegment";
-    value: string;
-};
-export declare function segments(pattern: string): Array<Segment>;
-export type ValidationError = {
-    _tag: "FilePathPatternError";
-    pattern: string;
-    message: string;
-};
-export type ValidationResult = Either.Either<Array<Segment>, ValidationError>;
-export declare function validate(pattern: string): ValidationResult;
-export declare function format(segs: Array<Segment>): `/${string}`;
-export declare function toPathPattern(pattern: string): Either.Either<PathPattern.PathPattern, ValidationError>;

package/dist/FileRouter.d.ts

@@ -1,56 +0,0 @@
-import * as FileSystem from "./FileSystem.ts";
-import * as Effect from "effect/Effect";
-import * as Layer from "effect/Layer";
-import * as FilePathPattern from "./FilePathPattern.ts";
-import type * as PathPattern from "./PathPattern.ts";
-import type * as PlatformError from "./PlatformError.ts";
-import * as Route from "./Route.ts";
-import * as RouteTree from "./RouteTree.ts";
-declare const FileRouterError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
-    readonly _tag: "FileRouterError";
-} & Readonly<A>;
-export declare class FileRouterError extends FileRouterError_base<{
-    reason: "Import" | "Conflict" | "FileSystem";
-    cause?: unknown;
-    path?: string;
-}> {
-}
-export type RouteModule = {
-    default: Route.RouteSet.Any;
-};
-export type LazyRouteModule = () => Promise<RouteModule>;
-export type FileRoutes = {
-    [path: PathPattern.PathPattern]: [LazyRouteModule, ...LazyRouteModule[]];
-};
-export type Segment = FilePathPattern.Segment;
-export type FileRoute = {
-    handle: "route" | "layer";
-    modulePath: `/${string}`;
-    routePath: `/${string}`;
-    segments: Array<Segment>;
-};
-/**
- * Routes sorted by depth, with rest parameters at the end.
- * - layer.tsx
- * - users/route.tsx
- * - users/[userId]/route.tsx
- * - [[rest]]/route.tsx
- */
-export type OrderedFileRoutes = Array<FileRoute>;
-export declare function parseRoute(path: string): FileRoute | null;
-/**
- * Generates a tree file that references all routes.
- */
-export declare function layer(load: () => Promise<{
-    default: FileRoutes;
-}>): Layer.Layer<Route.Routes, FileRouterError, FileSystem.FileSystem>;
-export declare function layer(options: {
-    load: () => Promise<{
-        default: FileRoutes;
-    }>;
-    path: string;
-}): Layer.Layer<Route.Routes, FileRouterError, FileSystem.FileSystem>;
-export declare function fromFileRoutes(fileRoutes: FileRoutes): Effect.Effect<RouteTree.RouteTree>;
-export declare function walkRoutesDirectory(dir: string): Effect.Effect<OrderedFileRoutes, PlatformError.PlatformError | FileRouterError, FileSystem.FileSystem>;
-export declare function getFileRoutes(paths: Array<string>): Effect.Effect<OrderedFileRoutes, FileRouterError>;
-export {};

package/dist/FileRouterCodegen.d.ts

@@ -1,18 +0,0 @@
-import * as FileSystem from "./FileSystem.ts";
-import * as Effect from "effect/Effect";
-import * as Schema from "effect/Schema";
-import * as FilePathPattern from "./FilePathPattern.ts";
-import * as FileRouter from "./FileRouter.ts";
-export declare function validateRouteModule(module: unknown): module is FileRouter.RouteModule;
-export declare function generatePathParamsSchema(segments: ReadonlyArray<FilePathPattern.Segment>): Schema.Struct<any> | null;
-/**
- * Validates all route modules in the given route handles.
- */
-export declare function validateRouteModules(path: string, routes: FileRouter.OrderedFileRoutes): Effect.Effect<void, FileRouter.FileRouterError, FileSystem.FileSystem>;
-export declare function generateCode(fileRoutes: FileRouter.OrderedFileRoutes): string | null;
-/**
- * Updates the tree file only if the generated content differs from the existing file.
- * This prevents infinite loops when watching for file changes.
- */
-export declare function update(routesPath: string, treePath?: string): Effect.Effect<void, FileRouter.FileRouterError, FileSystem.FileSystem>;
-export declare function dump(routesPath: string, treePath?: string): Effect.Effect<void, FileRouter.FileRouterError, FileSystem.FileSystem>;

package/dist/FileRouterPattern.d.ts

@@ -1,9 +0,0 @@
-import * as RouterPattern from "./RouterPattern.ts";
-export type GroupSegment<Name extends string = string> = {
-    _tag: "GroupSegment";
-    name: Name;
-};
-export type Segment = RouterPattern.Segment | GroupSegment;
-export declare function parse(pattern: string): Segment[];
-export declare function formatSegment(seg: Segment): string;
-export declare function format(segments: Segment[]): `/${string}`;

package/dist/FileRouterPattern.js

@@ -1,35 +0,0 @@
-import * as RouterPattern from "./RouterPattern.js";
-export function parse(pattern) {
-    const trimmedPath = pattern.replace(/(^\/)|(\/$)/g, "");
-    if (trimmedPath === "") {
-        return [];
-    }
-    const segmentStrings = trimmedPath
-        .split("/")
-        .filter(s => s !== "");
-    if (segmentStrings.length === 0) {
-        return [];
-    }
-    const segments = segmentStrings.map((s) => {
-        // (group) - Groups (FileRouter-specific)
-        const groupMatch = s.match(/^\((\w+)\)$/);
-        if (groupMatch) {
-            return { _tag: "GroupSegment", name: groupMatch[1] };
-        }
-        // Delegate to RouterPattern for all other segment types
-        return RouterPattern.parseSegment(s);
-    });
-    if (segments.some((seg) => seg === null)) {
-        throw new Error(`Invalid path segment in "${pattern}": contains invalid characters or format`);
-    }
-    return segments;
-}
-export function formatSegment(seg) {
-    if (seg._tag === "GroupSegment")
-        return `(${seg.name})`;
-    return RouterPattern.formatSegment(seg);
-}
-export function format(segments) {
-    const joined = segments.map(formatSegment).join("/");
-    return (joined ? `/${joined}` : "/");
-}