@typed/router 0.32.0 → 1.0.0-beta.0

package/src/Matcher.ts

@@ -1,385 +1,1326 @@
-/**
- * @since 1.0.0
- */
+import * as findMyWay from "find-my-way-ts";
+import type * as Arr from "effect/Array";
+import * as Cause from "effect/Cause";
+import * as Effect from "effect/Effect";
+import * as Exit from "effect/Exit";
+import { interrupt, isSuccess } from "effect/Exit";
+import { dual, identity } from "effect/Function";
+import * as Result from "effect/Result";
+import * as Layer from "effect/Layer";
+import * as Option from "effect/Option";
+import { type Pipeable, pipeArguments } from "effect/Pipeable";
+import * as Schema from "effect/Schema";
+import { makeFormatterDefault } from "effect/SchemaIssue";
+import * as Scope from "effect/Scope";
+import * as ServiceMap from "effect/ServiceMap";
+import * as Stream from "effect/Stream";
+import type { ExcludeTag, ExtractTag, NoInfer, Tags } from "effect/Types";
+import { exit } from "@typed/fx/Fx";
+import { mapEffect } from "@typed/fx/Fx/combinators/mapEffect";
+import { provideServices } from "@typed/fx/Fx/combinators/provide";
+import { skipRepeats } from "@typed/fx/Fx/combinators/skipRepeats";
+import { switchMap } from "@typed/fx/Fx/combinators/switchMap";
+import { unwrap } from "@typed/fx/Fx/combinators/unwrap";
+import { fromEffect, never } from "@typed/fx/Fx/constructors/fromEffect";
+import { succeed } from "@typed/fx/Fx/constructors/succeed";
+import type * as Fx from "@typed/fx/Fx/Fx";
+import { fromStream } from "@typed/fx/Fx/stream";
+import { isFx } from "@typed/fx/Fx/TypeId";
+import { RefSubject } from "@typed/fx/RefSubject";
+import { CurrentPath, Navigation } from "@typed/navigation/Navigation";
+import type { MatchAst, RouteAst } from "./AST.js";
+import * as AST from "./AST.js";
+import { CurrentRoute } from "./CurrentRoute.js";
+import { Join, make as makeRoute, type Route } from "./Route.js";
+import type { Router } from "./Router.js";
 
-import * as Fx from "@typed/fx/Fx"
-import * as Match from "@typed/fx/Match"
-import type * as RefSubject from "@typed/fx/RefSubject"
-import type { Navigation } from "@typed/navigation"
-import { CurrentPath, isRedirectError, navigate, RedirectError } from "@typed/navigation"
-import type * as Route from "@typed/route"
-import * as Data from "effect/Data"
-import * as Effect from "effect/Effect"
-import { dual, pipe } from "effect/Function"
-import * as Option from "effect/Option"
-import { type Pipeable, pipeArguments } from "effect/Pipeable"
-import { hasProperty } from "effect/Predicate"
-import type * as Scope from "effect/Scope"
-import * as Unify from "effect/Unify"
-import type { CurrentRoute } from "./CurrentRoute.js"
-import { makeHref } from "./CurrentRoute.js"
-import type { MatchInput } from "./MatchInput.js"
-import * as RouteMatch from "./RouteMatch.js"
+export type Layout<Params, A, E, R, B, E2, R2> = (
+  params: LayoutParams<Params, A, E, R>,
+) => Fx.Fx<B, E2, R2>;
 
-/**
- * @since 1.0.0
- */
-export const RouteMatcherTypeId = Symbol.for("@typed/router/RouteMatcher")
+export type LayoutParams<Params, A, E, R> = {
+  readonly params: RefSubject.RefSubject<Params>;
+  readonly content: Fx.Fx<A, E, R>;
+};
 
-/**
- * @since 1.0.0
- */
-export type RouteMatcherTypeId = typeof RouteMatcherTypeId
+export type CatchHandler<E, A, E2, R2> = (
+  cause: RefSubject.RefSubject<Cause.Cause<E>>,
+) => Fx.Fx<A, E2, R2>;
 
-/**
- * @since 1.0.0
- */
-export interface RouteMatcher<Matches extends RouteMatch.RouteMatch.Any> extends Pipeable {
-  readonly [RouteMatcherTypeId]: RouteMatcherTypeId
+export type AnyLayer =
+  | Layer.Layer<any, any, any>
+  | Layer.Layer<never, any, any>
+  | Layer.Layer<any, never, any>
+  | Layer.Layer<any, any, never>
+  | Layer.Layer<never, never, never>
+  | Layer.Layer<any, never, never>
+  | Layer.Layer<never, any, never>
+  | Layer.Layer<never, never, any>;
 
-  readonly matches: ReadonlyArray<Matches>
+type AnyServiceMap = ServiceMap.ServiceMap<any> | ServiceMap.ServiceMap<never>;
+type AnyDependency = AnyLayer | AnyServiceMap;
+type AnyLayout = Layout<any, any, any, any, any, any, any>;
+type AnyCatch = CatchHandler<any, any, any, any>;
+type AnyGuard = GuardType<any, any, any, any>;
+type AnyMatchHandler = (params: RefSubject.RefSubject<any>) => Fx.Fx<any, any, any>;
 
-  readonly add: <I extends RouteMatch.RouteMatch.Any>(match: I) => RouteMatcher<Matches | I>
+type DependencyProvided<D> =
+  D extends Layer.Layer<infer Provided, any, any>
+    ? Provided
+    : D extends ServiceMap.ServiceMap<infer Provided>
+      ? Provided
+      : never;
+type DependencyError<D> = D extends Layer.Layer<any, infer E, any> ? E : never;
+type DependencyRequirements<D> = D extends Layer.Layer<any, any, infer R> ? R : never;
 
-  readonly match: <I extends MatchInput.Any, A, E, R>(
-    input: I,
-    match: (ref: RefSubject.RefSubject<MatchInput.Success<I>>) => Fx.Fx<A, E, R>
-  ) => RouteMatcher<
-    | Matches
-    | RouteMatch.RouteMatch<
-      MatchInput.Route<I>,
-      MatchInput.Success<I>,
-      MatchInput.Error<I>,
-      MatchInput.Context<I>,
-      A,
-      E,
-      R
-    >
-  >
+type LayerSuccess<L> = L extends Layer.Layer<infer Provided, any, any> ? Provided : never;
+type LayerError<L> = L extends Layer.Layer<any, infer E, any> ? E : never;
+type LayerServices<L> = L extends Layer.Layer<any, any, infer R> ? R : never;
 
-  readonly switch: <I extends MatchInput.Any, A, E, R>(
-    input: I,
-    match: (ref: MatchInput.Success<I>) => Fx.Fx<A, E, R>
-  ) => RouteMatcher<
-    | Matches
-    | RouteMatch.RouteMatch<
-      MatchInput.Route<I>,
-      MatchInput.Success<I>,
-      MatchInput.Error<I>,
-      MatchInput.Context<I>,
-      A,
-      E,
-      R | Scope.Scope
-    >
-  >
+export type GuardType<I, O, E = never, R = never> = (
+  input: I,
+) => Effect.Effect<Option.Option<O>, E, R>;
+export interface AsGuard<I, O, E = never, R = never> {
+  readonly asGuard: () => GuardType<I, O, E, R>;
+}
+export type GuardInput<I, O, E = never, R = never> = GuardType<I, O, E, R> | AsGuard<I, O, E, R>;
 
-  readonly effect: <I extends MatchInput.Any, A, E, R>(
-    input: I,
-    match: (ref: MatchInput.Success<I>) => Effect.Effect<A, E, R>
-  ) => RouteMatcher<
-    | Matches
-    | RouteMatch.RouteMatch<
-      MatchInput.Route<I>,
-      MatchInput.Success<I>,
-      MatchInput.Error<I>,
-      MatchInput.Context<I>,
-      A,
-      E,
-      R | Scope.Scope
-    >
-  >
+type GuardOutput<G> =
+  G extends GuardType<any, infer O, any, any>
+    ? O
+    : G extends AsGuard<any, infer O, any, any>
+      ? O
+      : never;
+type GuardError<G> =
+  G extends GuardType<any, any, infer E, any>
+    ? E
+    : G extends AsGuard<any, any, infer E, any>
+      ? E
+      : never;
+type GuardServices<G> =
+  G extends GuardType<any, any, any, infer R>
+    ? R
+    : G extends AsGuard<any, any, any, infer R>
+      ? R
+      : never;
 
-  readonly to: <I extends MatchInput.Any, B>(
-    input: I,
-    f: (value: MatchInput.Success<I>) => B
-  ) => RouteMatcher<
-    | Matches
-    | RouteMatch.RouteMatch<
-      MatchInput.Route<I>,
-      MatchInput.Success<I>,
-      MatchInput.Error<I>,
-      MatchInput.Context<I>,
-      B,
-      never,
-      Scope.Scope
-    >
-  >
+type MatchOptions<Rt extends Route.Any, B, E2, R2, D, LB, LE2, LR2, C> = {
+  readonly route: Rt;
+  readonly handler:
+    | MatchHandlerReturnValue<B, E2, R2>
+    | ((params: RefSubject.RefSubject<Route.Type<Rt>>) => MatchHandlerReturnValue<B, E2, R2>);
+  readonly dependencies?: D;
+  readonly layout?: Layout<Route.Type<Rt>, B, E2, R2, LB, LE2, LR2>;
+  readonly catch?: C;
+};
+
+type MatchHandlerReturnValue<A, E, R> =
+  | Fx.Fx<A, E, R>
+  | Stream.Stream<A, E, R>
+  | Effect.Effect<A, E, R>
+  | A;
+
+type MatchHandlerOptions<Params, B, E2, R2, D, LB, LE2, LR2, C> = {
+  readonly handler:
+    | MatchHandlerReturnValue<B, E2, R2>
+    | ((params: RefSubject.RefSubject<Params>) => MatchHandlerReturnValue<B, E2, R2>);
+  readonly dependencies?: D;
+  readonly layout?: Layout<Params, B, E2, R2, LB, LE2, LR2>;
+  readonly catch?: C;
+};
+
+type ApplyDependencies<E, R, D> =
+  D extends ReadonlyArray<infer Dep>
+    ? {
+        readonly e: E | DependencyError<Dep>;
+        readonly r: Exclude<R, DependencyProvided<Dep>> | DependencyRequirements<Dep>;
+      }
+    : { readonly e: E; readonly r: R };
+
+type ApplyCatch<A, E, R, C> =
+  C extends CatchHandler<any, infer CA, infer CE, infer CR>
+    ? { readonly a: A | CA; readonly e: CE; readonly r: R | CR }
+    : { readonly a: A; readonly e: E; readonly r: R };
+
+type ComputeMatchResult<E2, R2, D, LB, LE2, LR2, C, GE, GR> = ApplyCatch<
+  LB,
+  ApplyDependencies<E2 | GE | LE2, R2 | GR | LR2, D>["e"],
+  ApplyDependencies<E2 | GE | LE2, R2 | GR | LR2, D>["r"],
+  C
+>;
+
+export interface Matcher<A, E = never, R = never> extends Pipeable {
+  readonly cases: ReadonlyArray<MatchAst>;
+
+  // Overload 1: match(route, handler) - function handler (must be first for inference)
+  match<Rt extends Route.Any, B, E2 = never, R2 = never>(
+    route: Rt,
+    handler: (params: RefSubject.RefSubject<Route.Type<Rt>>) => MatchHandlerReturnValue<B, E2, R2>,
+  ): Matcher<A | B, E | E2, R | R2 | Scope.Scope>;
+
+  // Overload 2: match(route, effectLike) - Fx/Effect/Stream handler
+  match<Rt extends Route.Any, B, E2 = never, R2 = never>(
+    route: Rt,
+    handler: Fx.Fx<B, E2, R2> | Effect.Effect<B, E2, R2> | Stream.Stream<B, E2, R2>,
+  ): Matcher<A | B, E | E2, R | R2 | Scope.Scope>;
+
+  // Overload 3: match(route, options) - route with options object
+  match<
+    Rt extends Route.Any,
+    B,
+    E2 = never,
+    R2 = never,
+    D extends ReadonlyArray<AnyDependency> | undefined = undefined,
+    LB = B,
+    LE2 = never,
+    LR2 = never,
+    C extends CatchHandler<any, any, any, any> | undefined = undefined,
+  >(
+    route: Rt,
+    options: MatchHandlerOptions<Route.Type<Rt>, B, E2, R2, D, LB, LE2, LR2, C>,
+  ): Matcher<
+    A | ComputeMatchResult<E2, R2, D, LB, LE2, LR2, C, never, never>["a"],
+    E | ComputeMatchResult<E2, R2, D, LB, LE2, LR2, C, never, never>["e"],
+    R | ComputeMatchResult<E2, R2, D, LB, LE2, LR2, C, never, never>["r"] | Scope.Scope
+  >;
+
+  // Overload 4: match(route, value) - direct value handler (last for 2-arg form)
+  match<Rt extends Route.Any, const B>(route: Rt, handler: B): Matcher<A | B, E, R | Scope.Scope>;
+
+  // Overload 5: match(route, guard, handler) - guard with function handler (must be before value)
+  match<
+    Rt extends Route.Any,
+    G extends GuardInput<Route.Type<Rt>, any, any, any>,
+    B,
+    E2 = never,
+    R2 = never,
+  >(
+    route: Rt,
+    guard: G,
+    handler: (params: RefSubject.RefSubject<GuardOutput<G>>) => MatchHandlerReturnValue<B, E2, R2>,
+  ): Matcher<A | B, E | E2 | GuardError<G>, R | R2 | GuardServices<G> | Scope.Scope>;
+
+  // Overload 6: match(route, guard, effectLike) - guard with Fx/Effect/Stream handler
+  match<
+    Rt extends Route.Any,
+    G extends GuardInput<Route.Type<Rt>, any, any, any>,
+    B,
+    E2 = never,
+    R2 = never,
+  >(
+    route: Rt,
+    guard: G,
+    handler: Fx.Fx<B, E2, R2> | Effect.Effect<B, E2, R2> | Stream.Stream<B, E2, R2>,
+  ): Matcher<A | B, E | E2 | GuardError<G>, R | R2 | GuardServices<G> | Scope.Scope>;
+
+  // Overload 7: match(route, guard, options) - route with guard and options object
+  match<
+    Rt extends Route.Any,
+    G extends GuardInput<Route.Type<Rt>, any, any, any>,
+    B,
+    E2 = never,
+    R2 = never,
+    D extends ReadonlyArray<AnyDependency> | undefined = undefined,
+    LB = B,
+    LE2 = never,
+    LR2 = never,
+    C extends CatchHandler<any, any, any, any> | undefined = undefined,
+  >(
+    route: Rt,
+    guard: G,
+    options: MatchHandlerOptions<GuardOutput<G>, B, E2, R2, D, LB, LE2, LR2, C>,
+  ): Matcher<
+    A | ComputeMatchResult<E2, R2, D, LB, LE2, LR2, C, GuardError<G>, GuardServices<G>>["a"],
+    E | ComputeMatchResult<E2, R2, D, LB, LE2, LR2, C, GuardError<G>, GuardServices<G>>["e"],
+    | R
+    | ComputeMatchResult<E2, R2, D, LB, LE2, LR2, C, GuardError<G>, GuardServices<G>>["r"]
+    | Scope.Scope
+  >;
+
+  // Overload 8: match(route, guard, value) - guard with value handler (last for 3-arg form)
+  match<Rt extends Route.Any, G extends GuardInput<Route.Type<Rt>, any, any, any>, B>(
+    route: Rt,
+    guard: G,
+    handler: B,
+  ): Matcher<A | B, E | GuardError<G>, R | GuardServices<G> | Scope.Scope>;
+
+  // Overload 9: match(fullOptions) - full options object including route
+  match<
+    Rt extends Route.Any,
+    B,
+    E2 = never,
+    R2 = never,
+    D extends ReadonlyArray<AnyDependency> | undefined = undefined,
+    LB = B,
+    LE2 = never,
+    LR2 = never,
+    C extends CatchHandler<any, any, any, any> | undefined = undefined,
+  >(
+    options: MatchOptions<Rt, B, E2, R2, D, LB, LE2, LR2, C>,
+  ): Matcher<
+    A | ComputeMatchResult<E2, R2, D, LB, LE2, LR2, C, never, never>["a"],
+    E | ComputeMatchResult<E2, R2, D, LB, LE2, LR2, C, never, never>["e"],
+    R | ComputeMatchResult<E2, R2, D, LB, LE2, LR2, C, never, never>["r"] | Scope.Scope
+  >;
+
+  readonly prefix: <Rt extends Route.Any>(route: Rt) => Matcher<A, E, R>;
+
+  readonly provide: <Layers extends readonly [AnyLayer, ...AnyLayer[]]>(
+    ...layers: Layers
+  ) => Matcher<
+    A,
+    E | LayerError<Layers[number]>,
+    Exclude<R, LayerSuccess<Layers[number]>> | LayerServices<Layers[number]>
+  >;
+
+  readonly provideService: <Id, S>(
+    tag: ServiceMap.Service<Id, S>,
+    service: S,
+  ) => Matcher<A, E, Exclude<R, Id>>;
+
+  readonly provideServices: <R2>(
+    services: ServiceMap.ServiceMap<R2>,
+  ) => Matcher<A, E, Exclude<R, R2>>;
+
+  readonly catchCause: <B, E2, R2>(f: CatchHandler<E, B, E2, R2>) => Matcher<A | B, E2, R | R2>;
+
+  readonly catch: <B, E2, R2>(f: (e: E) => Fx.Fx<B, E2, R2>) => Matcher<A | B, E2, R | R2>;
+
+  readonly catchTag: <const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>, B, E2, R2>(
+    tag: K,
+    f: (
+      e: ExtractTag<NoInfer<E>, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>,
+    ) => Fx.Fx<B, E2, R2>,
+  ) => Matcher<
+    A | B,
+    E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>,
+    R | R2
+  >;
+
+  readonly layout: <B, E2, R2>(
+    layout: Layout<any, A, E, R, B, E2, R2>,
+  ) => Matcher<B, E | E2, R | R2>;
 }
 
-/**
- * @since 1.0.0
- */
-export namespace RouteMatcher {
-  /**
-   * @since 1.0.0
-   */
-  export type Any = RouteMatcher<RouteMatch.RouteMatch.Any>
-
-  /**
-   * @since 1.0.0
-   */
-  export type Context<T> = T extends RouteMatcher<infer Matches> ? RouteMatch.RouteMatch.Context<Matches> : never
+export declare namespace Matcher {
+  export type Any =
+    | Matcher<any, any, any>
+    | Matcher<any, never, any>
+    | Matcher<any, any, never>
+    | Matcher<any, never, never>;
+  export type Success<T> = [T] extends [Matcher<infer A, infer _E, infer _R>] ? A : never;
+  export type Error<T> = [T] extends [Matcher<infer _A, infer E, infer _R>] ? E : never;
+  export type Services<T> = [T] extends [Matcher<infer _A, infer _E, infer R>] ? R : never;
+}
+
+export type MatchHandler<Params, A, E, R> =
+  | Fx.Fx<A, E, R>
+  | Stream.Stream<A, E, R>
+  | Effect.Effect<A, E, R>
+  | A
+  | ((
+      params: RefSubject.RefSubject<Params>,
+    ) => Fx.Fx<A, E, R> | Stream.Stream<A, E, R> | Effect.Effect<A, E, R> | A);
+
+type MatchHandlerFn<Params, A, E, R> = (
+  params: RefSubject.RefSubject<Params>,
+) => Fx.Fx<A, E, R> | Stream.Stream<A, E, R> | Effect.Effect<A, E, R> | A;
+
+function isMatchHandlerFn<Params, A, E, R>(
+  handler: MatchHandler<Params, A, E, R>,
+): handler is MatchHandlerFn<Params, A, E, R> {
+  return typeof handler === "function";
 }
 
-class RouteMatcherImpl<Matches extends RouteMatch.RouteMatch.Any> implements RouteMatcher<Matches> {
-  readonly [RouteMatcherTypeId]: RouteMatcherTypeId = RouteMatcherTypeId
+function isHandlerOptions(value: unknown): value is { readonly handler: unknown } {
+  return typeof value === "object" && value !== null && "handler" in value;
+}
+
+// Monomorphic shape - all properties always present for V8 optimization
+type ParsedMatch = {
+  readonly route: Route.Any;
+  readonly handler: unknown;
+  readonly guard: AnyGuard | undefined;
+  readonly layout: AnyLayout | undefined;
+  readonly catchFn: AnyCatch | undefined;
+  readonly dependencies: ReadonlyArray<AnyDependency> | undefined;
+};
+
+function parseMatchArgs(args: [unknown, ...Array<unknown>]): ParsedMatch {
+  const [first, second, third] = args;
 
-  constructor(readonly matches: ReadonlyArray<Matches>) {
-    this.add = this.add.bind(this)
-    this.match = this.match.bind(this)
-    this.switch = this.switch.bind(this)
-    this.effect = this.effect.bind(this)
-    this.to = this.to.bind(this)
+  // Single arg: full options object (Overload 9)
+  if (second === undefined) {
+    const opts = first as MatchOptions<Route.Any, any, any, any, any, any, any, any, any>;
+    return {
+      route: opts.route,
+      handler: opts.handler,
+      guard: undefined,
+      layout: opts.layout as AnyLayout | undefined,
+      catchFn: opts.catch as AnyCatch | undefined,
+      dependencies: opts.dependencies as ReadonlyArray<AnyDependency> | undefined,
+    };
   }
 
-  add<I extends RouteMatch.RouteMatch.Any>(match: I): RouteMatcher<Matches | I> {
-    return new RouteMatcherImpl([...this.matches, match])
+  // Two args
+  if (third === undefined) {
+    if (isHandlerOptions(second)) {
+      // Overload 3: match(route, options)
+      const opts = second as MatchHandlerOptions<any, any, any, any, any, any, any, any, any>;
+      return {
+        route: first as Route.Any,
+        handler: opts.handler,
+        guard: undefined,
+        layout: opts.layout as AnyLayout | undefined,
+        catchFn: opts.catch as AnyCatch | undefined,
+        dependencies: opts.dependencies as ReadonlyArray<AnyDependency> | undefined,
+      };
+    }
+    // Overloads 1, 2, 4: match(route, handler)
+    return {
+      route: first as Route.Any,
+      handler: second,
+      guard: undefined,
+      layout: undefined,
+      catchFn: undefined,
+      dependencies: undefined,
+    };
   }
 
-  match<I extends MatchInput.Any, A, E, R>(
-    input: I,
-    match: (ref: RefSubject.RefSubject<MatchInput.Success<I>>) => Fx.Fx<A, E, R>
-  ) {
-    return this.add(RouteMatch.fromInput(input, match))
+  // Three args
+  if (isHandlerOptions(third)) {
+    // Overload 7: match(route, guard, options)
+    const opts = third as MatchHandlerOptions<any, any, any, any, any, any, any, any, any>;
+    return {
+      route: first as Route.Any,
+      handler: opts.handler,
+      guard: second as AnyGuard,
+      layout: opts.layout as AnyLayout | undefined,
+      catchFn: opts.catch as AnyCatch | undefined,
+      dependencies: opts.dependencies as ReadonlyArray<AnyDependency> | undefined,
+    };
   }
 
-  switch<I extends MatchInput.Any, A, E, R>(
-    input: I,
-    match: (ref: MatchInput.Success<I>) => Fx.Fx<A, E, R>
-  ) {
-    return this.match(input, Fx.switchMap(match))
+  // Overloads 5, 6, 8: match(route, guard, handler)
+  return {
+    route: first as Route.Any,
+    handler: third,
+    guard: second as AnyGuard,
+    layout: undefined,
+    catchFn: undefined,
+    dependencies: undefined,
+  };
+}
+
+class MatcherImpl<A, E, R> implements Matcher<A, E, R> {
+  readonly cases: ReadonlyArray<MatchAst>;
+  constructor(cases: ReadonlyArray<MatchAst>) {
+    this.cases = cases;
+    this.match = this.match.bind(this);
+    this.catch = this.catch.bind(this);
+    this.catchTag = this.catchTag.bind(this);
+    this.layout = this.layout.bind(this);
+    this.provide = this.provide.bind(this);
+    this.provideService = this.provideService.bind(this);
   }
 
-  effect<I extends MatchInput.Any, A, E, R>(
-    input: I,
-    match: (ref: MatchInput.Success<I>) => Effect.Effect<A, E, R>
-  ) {
-    return this.match(input, Fx.switchMapEffect(match))
+  // Implementation overloads for type inference - use simplified return types
+  match<Rt extends Route.Any, B, E2 = never, R2 = never>(
+    route: Rt,
+    handler: (params: RefSubject.RefSubject<Route.Type<Rt>>) => MatchHandlerReturnValue<B, E2, R2>,
+  ): Matcher<A | B, E | E2, R | R2 | Scope.Scope>;
+  match<Rt extends Route.Any, B, E2 = never, R2 = never>(
+    route: Rt,
+    handler: Fx.Fx<B, E2, R2> | Effect.Effect<B, E2, R2> | Stream.Stream<B, E2, R2>,
+  ): Matcher<A | B, E | E2, R | R2 | Scope.Scope>;
+  match<
+    Rt extends Route.Any,
+    B,
+    E2 = never,
+    R2 = never,
+    D extends ReadonlyArray<AnyDependency> | undefined = undefined,
+  >(
+    route: Rt,
+    options: MatchHandlerOptions<Route.Type<Rt>, B, E2, R2, D, B, never, never, undefined>,
+  ): Matcher<
+    A | B,
+    E | E2 | DependencyError<D extends ReadonlyArray<infer Dep> ? Dep : never>,
+    R | R2 | Scope.Scope
+  >;
+  match<Rt extends Route.Any, B>(route: Rt, handler: B): Matcher<A | B, E, R | Scope.Scope>;
+  match<Rt extends Route.Any, G extends GuardInput<Route.Type<Rt>, any, any, any>, B, E2, R2>(
+    route: Rt,
+    guard: G,
+    handler: (params: RefSubject.RefSubject<GuardOutput<G>>) => MatchHandlerReturnValue<B, E2, R2>,
+  ): Matcher<A | B, E | E2 | GuardError<G>, R | R2 | GuardServices<G> | Scope.Scope>;
+  match<Rt extends Route.Any, G extends GuardInput<Route.Type<Rt>, any, any, any>, B, E2, R2>(
+    route: Rt,
+    guard: G,
+    handler: Fx.Fx<B, E2, R2> | Effect.Effect<B, E2, R2> | Stream.Stream<B, E2, R2>,
+  ): Matcher<A | B, E | E2 | GuardError<G>, R | R2 | GuardServices<G> | Scope.Scope>;
+  match<
+    Rt extends Route.Any,
+    G extends GuardInput<Route.Type<Rt>, any, any, any>,
+    B,
+    E2 = never,
+    R2 = never,
+    D extends ReadonlyArray<AnyDependency> | undefined = undefined,
+  >(
+    route: Rt,
+    guard: G,
+    options: MatchHandlerOptions<GuardOutput<G>, B, E2, R2, D, B, never, never, undefined>,
+  ): Matcher<
+    A | B,
+    E | E2 | GuardError<G> | DependencyError<D extends ReadonlyArray<infer Dep> ? Dep : never>,
+    R | R2 | GuardServices<G> | Scope.Scope
+  >;
+  match<Rt extends Route.Any, G extends GuardInput<Route.Type<Rt>, any, any, any>, B>(
+    route: Rt,
+    guard: G,
+    handler: B,
+  ): Matcher<A | B, E | GuardError<G>, R | GuardServices<G> | Scope.Scope>;
+  match<
+    Rt extends Route.Any,
+    B,
+    E2 = never,
+    R2 = never,
+    D extends ReadonlyArray<AnyDependency> | undefined = undefined,
+  >(
+    options: MatchOptions<Rt, B, E2, R2, D, B, never, never, undefined>,
+  ): Matcher<
+    A | B,
+    E | E2 | DependencyError<D extends ReadonlyArray<infer Dep> ? Dep : never>,
+    R | R2 | Scope.Scope
+  >;
+  match(...args: [unknown, ...Array<unknown>]): Matcher<any, any, any> {
+    const parsed = parseMatchArgs(args);
+    const normalizedGuard =
+      parsed.guard !== undefined
+        ? getGuard(parsed.guard as GuardInput<any, any, any, any>)
+        : defaultGuard();
+
+    const routeAst = AST.route(
+      parsed.route.ast,
+      parsed.handler as MatchHandler<any, any, any, any>,
+      normalizedGuard,
+    );
+
+    let matches: ReadonlyArray<MatchAst> = [routeAst];
+    if (parsed.layout !== undefined) {
+      matches = [AST.layout(matches, parsed.layout)];
+    }
+    if (parsed.catchFn !== undefined) {
+      matches = [AST.catchCause(matches, parsed.catchFn)];
+    }
+    if (parsed.dependencies !== undefined && parsed.dependencies.length > 0) {
+      matches = [AST.layer(matches, normalizeDependencies(parsed.dependencies))];
+    }
+
+    return new MatcherImpl([...this.cases, ...matches]);
   }
 
-  to<I extends MatchInput.Any, B>(
-    input: I,
-    f: (value: MatchInput.Success<I>) => B
-  ) {
-    return this.match(input, Fx.map(f))
+  prefix<Rt extends Route.Any>(route: Rt): Matcher<A, E, R> {
+    return new MatcherImpl<A, E, R>([AST.prefixed(this.cases, route.ast)]);
+  }
+
+  provide<Layers extends readonly [AnyLayer, ...AnyLayer[]]>(
+    ...layers: Layers
+  ): Matcher<
+    A,
+    E | LayerError<Layers[number]>,
+    Exclude<R, LayerSuccess<Layers[number]>> | LayerServices<Layers[number]>
+  > {
+    return new MatcherImpl([AST.layer(this.cases, layers)]) as Matcher<
+      A,
+      E | LayerError<Layers[number]>,
+      Exclude<R, LayerSuccess<Layers[number]>> | LayerServices<Layers[number]>
+    >;
+  }
+
+  provideService<Id, S>(tag: ServiceMap.Service<Id, S>, service: S): Matcher<A, E, Exclude<R, Id>> {
+    return this.provideServices(ServiceMap.make(tag, service));
+  }
+
+  provideServices<R2>(services: ServiceMap.ServiceMap<R2>): Matcher<A, E, Exclude<R, R2>> {
+    return this.provide(Layer.succeedServices(services));
+  }
+
+  catchCause<B, E2, R2>(f: CatchHandler<E, B, E2, R2>): Matcher<A | B, E2, R | R2> {
+    return new MatcherImpl<A | B, E2, R | R2>([AST.catchCause(this.cases, f as AnyCatch)]);
+  }
+
+  catch<B, E2, R2>(f: (e: E) => Fx.Fx<B, E2, R2>): Matcher<A | B, E2, R | R2> {
+    return this.catchCause((causeRef) =>
+      unwrap(
+        Effect.gen(function* () {
+          const cause = yield* causeRef;
+          const result = Cause.findFail(cause);
+          if (Result.isFailure(result)) {
+            return fromEffect(Effect.failCause(result.failure));
+          }
+          return f(result.success.error);
+        }),
+      ),
+    );
+  }
+
+  catchTag<const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>, B, E2, R2>(
+    tag: K,
+    f: (
+      e: ExtractTag<NoInfer<E>, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>,
+    ) => Fx.Fx<B, E2, R2>,
+  ): Matcher<
+    A | B,
+    E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>,
+    R | R2
+  > {
+    const rethrow = (cause: Cause.Cause<E>) =>
+      fromEffect(Effect.failCause(cause)) as Fx.Fx<
+        B,
+        E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>,
+        R2
+      >;
+
+    return new MatcherImpl<
+      A | B,
+      E2 | ExcludeTag<E, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>,
+      R | R2
+    >([
+      AST.catchCause(this.cases, (causeRef) =>
+        unwrap(
+          Effect.gen(function* () {
+            const cause = yield* causeRef;
+            const result = Cause.findFail(cause);
+            if (Result.isFailure(result)) {
+              return rethrow(cause);
+            }
+            if (matchesTag(tag, result.success.error)) {
+              return f(result.success.error);
+            }
+            return rethrow(cause);
+          }),
+        ),
+      ),
+    ]);
+  }
+
+  layout<B, E2, R2>(layout: Layout<any, A, E, R, B, E2, R2>): Matcher<B, E | E2, R | R2> {
+    return new MatcherImpl<B, E | E2, R | R2>([
+      AST.layout(this.cases, layout as AnyLayout),
+    ]) as Matcher<B, E | E2, R | R2>;
   }
 
   pipe() {
-    return pipeArguments(this, arguments)
+    return pipeArguments(this, arguments);
   }
 }
 
-/**
- * @since 1.0.0
- */
-export function make<Matches extends RouteMatch.RouteMatch.Any>(
-  matches: ReadonlyArray<Matches>
-): RouteMatcher<Matches> {
-  return new RouteMatcherImpl(matches)
+function normalizeHandler<Params, B, E2 = never, R2 = never>(
+  handler: MatchHandler<Params, B, E2, R2>,
+): (params: RefSubject.RefSubject<Params>) => Fx.Fx<B, E2, R2> {
+  if (isMatchHandlerFn(handler)) return (params) => toFx(handler(params));
+  return () => toFx(handler);
 }
 
-/**
- * @since 1.0.0
- */
-export const empty: RouteMatcher<never> = make<never>([])
-
-const { effect, match, switch: switch_, to } = empty
-
-export {
-  /**
-   * @since 1.0.0
-   */
-  effect,
-  /**
-   * @since 1.0.0
-   */
-  match,
-  /**
-   * @since 1.0.0
-   */
-  switch_ as switch,
-  /**
-   * @since 1.0.0
-   */
-  to
+function toFx<A, E, R>(
+  value: Fx.Fx<A, E, R> | Stream.Stream<A, E, R> | Effect.Effect<A, E, R> | A,
+): Fx.Fx<A, E, R> {
+  if (isFx(value)) return value;
+  if (Stream.isStream(value)) return fromStream(value);
+  if (Effect.isEffect(value)) return fromEffect(value);
+  return succeed(value);
 }
 
-/**
- * @since 1.0.0
- */
-export const catchRedirectError = <A, E, R>(
-  fx: Fx.Fx<A, E | RedirectError, R>
-): Fx.Fx<A, Exclude<E, RedirectError>, R | Scope.Scope | Navigation> =>
-  Fx.filterMapErrorEffect(
-    fx,
-    Unify.unify((_) =>
-      isRedirectError(_)
-        ? Effect.as(Effect.forkScoped(Effect.ignoreLogged(navigate(_.path, _.options))), Option.none())
-        : Effect.succeedSome(_ as Exclude<typeof _, RedirectError>)
-    )
-  )
+export const empty: Matcher<never> = new MatcherImpl([]);
+export const match = empty.match.bind(empty);
+
+export class RouteGuardError extends Schema.ErrorClass<RouteGuardError>(
+  "@typed/router/RouteGuardError",
+)({
+  _tag: Schema.tag("RouteGuardError"),
+  path: Schema.String,
+  causes: Schema.Array(Schema.Unknown),
+}) {}
+
+export class RouteNotFound extends Schema.ErrorClass<RouteNotFound>("@typed/router/RouteNotFound")({
+  _tag: Schema.tag("RouteNotFound"),
+  path: Schema.String,
+}) {}
+
+export class RouteDecodeError extends Schema.ErrorClass<RouteDecodeError>(
+  "@typed/router/RouteDecodeError",
+)({
+  _tag: Schema.tag("RouteDecodeError"),
+  path: Schema.String,
+  cause: Schema.String,
+}) {}
 
 /**
- * @since 1.0.0
+ * @internal
  */
-export const notFound: {
-  <A, E, R>(
-    onNotFound: Fx.Fx<A, E, R>
-  ): <Matches extends RouteMatch.RouteMatch.Any>(router: RouteMatcher<Matches>) => Fx.Fx<
-    A | RouteMatch.RouteMatch.Success<Matches>,
-    Exclude<E | RouteMatch.RouteMatch.Error<Matches>, RedirectError>,
-    Scope.Scope | Navigation | R | RouteMatch.RouteMatch.Context<Matches>
-  >
-
-  <Matches extends RouteMatch.RouteMatch.Any, A, E, R>(
-    router: RouteMatcher<Matches>,
-    onNotFound: Fx.Fx<A, E, R>
-  ): Fx.Fx<
-    A | RouteMatch.RouteMatch.Success<Matches>,
-    Exclude<E | RouteMatch.RouteMatch.Error<Matches>, RedirectError>,
-    Scope.Scope | Navigation | R | RouteMatch.RouteMatch.Context<Matches>
-  >
-} = dual(2, function notFound<Matches extends RouteMatch.RouteMatch.Any, A, E, R>(
-  router: RouteMatcher<Matches>,
-  onNotFound: Fx.Fx<A, E, R>
+export type CompiledEntry = {
+  readonly route: Route.Any;
+  readonly guard: AnyGuard;
+  readonly handler: AnyMatchHandler;
+  readonly layers: ReadonlyArray<AnyLayer>;
+  readonly layouts: ReadonlyArray<AnyLayout>;
+  readonly catches: ReadonlyArray<AnyCatch>;
+  readonly decode: (input: unknown) => Effect.Effect<any, Schema.SchemaError, any>;
+};
+
+export function run<M extends Matcher.Any>(
+  matcher: M,
 ): Fx.Fx<
-  A | RouteMatch.RouteMatch.Success<Matches>,
-  Exclude<E | RouteMatch.RouteMatch.Error<Matches>, RedirectError>,
-  R | Navigation | RouteMatch.RouteMatch.Context<Matches> | Scope.Scope
+  Matcher.Success<M>,
+  Matcher.Error<M> | RouteNotFound | RouteDecodeError | RouteGuardError,
+  Matcher.Services<M> | Router | CurrentRoute | Scope.Scope
 > {
-  let matcher = Match.value(CurrentPath) as Match.ValueMatcher<
-    string,
-    RouteMatch.RouteMatch.Success<Matches>,
-    RouteMatch.RouteMatch.Error<Matches>,
-    RouteMatch.RouteMatch.Context<Matches> | Navigation | Scope.Scope
-  >
-
-  for (const match of router.matches) {
-    matcher = matcher.when(match.guard, match.match)
-  }
+  return unwrap(
+    Effect.gen(function* () {
+      const fiberId = yield* Effect.fiberId;
+      const rootScope = yield* Effect.scope;
+      const current = yield* CurrentRoute;
+      const prefixed = matcher.prefix(current.route);
+      const entries = compile(prefixed.cases);
+      const router = findMyWay.make<ReadonlyArray<CompiledEntry>>({
+        ignoreTrailingSlash: true,
+        caseSensitive: false,
+      });
+      const handlersByPath = new Map<string, Array<CompiledEntry>>();
+      const memoMap = yield* Layer.makeMemoMap;
+      const layerManager = makeLayerManager(memoMap, rootScope, fiberId);
+      const layoutManager = makeLayoutManager(rootScope, fiberId);
+      const catchManager = makeCatchManager(rootScope, fiberId);
 
-  return catchRedirectError(matcher.getOrElse(() => onNotFound))
-})
+      for (const entry of entries) {
+        const path = entry.route.path;
+        const existing = handlersByPath.get(path);
+        if (existing !== undefined) {
+          existing.push(entry);
+        } else {
+          const list: Array<CompiledEntry> = [entry];
+          handlersByPath.set(path, list);
+          router.all(path, list);
+        }
+      }
 
-/**
- * @since 1.0.0
- */
-export const notFoundWith: {
-  <A, E, R>(
-    onNotFound: Effect.Effect<A, E, R>
-  ): <Matches extends RouteMatch.RouteMatch.Any>(router: RouteMatcher<Matches>) => Fx.Fx<
-    A | RouteMatch.RouteMatch.Success<Matches>,
-    Exclude<E | RouteMatch.RouteMatch.Error<Matches>, RedirectError>,
-    R | Navigation | RouteMatch.RouteMatch.Context<Matches> | Scope.Scope
-  >
-
-  <Matches extends RouteMatch.RouteMatch.Any, A, E, R>(
-    router: RouteMatcher<Matches>,
-    onNotFound: Effect.Effect<A, E, R>
+      let currentState: {
+        entry: CompiledEntry;
+        params: RefSubject.RefSubject<any>;
+        fx: Fx.Fx<Matcher.Success<M>, Matcher.Error<M>, Matcher.Services<M> | Scope.Scope | Router>;
+        scope: Scope.Closeable;
+      } | null = null;
+
+      return CurrentPath.pipe(
+        mapEffect(
+          Effect.fn(function* (path) {
+            const result = router.find("GET", path);
+            if (result === undefined) return yield* new RouteNotFound({ path });
+
+            const input = { ...result.params, ...result.searchParams };
+            const entries = result.handler;
+            const guardCauses: Array<Cause.Cause<any>> = [];
+            let matchedEntry: CompiledEntry | undefined = undefined;
+            let matchedParams: any = undefined;
+            let matchedPrepared:
+              | {
+                  services: AnyServiceMap;
+                  commit: Effect.Effect<void>;
+                  rollback: Effect.Effect<void>;
+                }
+              | undefined = undefined;
+
+            for (const entry of entries) {
+              const params = yield* Effect.mapErrorEager(
+                entry.decode(input),
+                (cause) =>
+                  new RouteDecodeError({ path, cause: makeFormatterDefault()(cause.issue) }),
+              );
+
+              const prepared = yield* layerManager.prepare(entry.layers);
+              const guardExit = yield* entry
+                .guard(params)
+                .pipe(Effect.provideServices(prepared.services), Effect.exit);
+
+              if (Exit.isFailure(guardExit)) {
+                guardCauses.push(guardExit.cause);
+                yield* prepared.rollback;
+                continue;
+              }
+
+              if (Option.isNone(guardExit.value)) {
+                yield* prepared.rollback;
+                continue;
+              }
+
+              matchedEntry = entry;
+              matchedParams = guardExit.value.value;
+              matchedPrepared = prepared;
+              break;
+            }
+
+            if (matchedEntry === undefined || matchedPrepared === undefined) {
+              return yield* new RouteGuardError({ path, causes: guardCauses });
+            }
+
+            yield* matchedPrepared.commit;
+
+            if (currentState !== null && currentState.entry === matchedEntry) {
+              yield* RefSubject.set(currentState.params, matchedParams);
+              yield* layoutManager.updateParams(matchedEntry.layouts, matchedParams);
+              return currentState.fx;
+            }
+
+            if (currentState !== null) {
+              yield* Scope.close(currentState.scope, interrupt(fiberId));
+              currentState = null;
+            }
+
+            const scope = yield* Scope.fork(rootScope);
+            const paramsRef = yield* RefSubject.make(matchedParams).pipe(Scope.provide(scope));
+
+            const preparedServices = matchedPrepared.services as ServiceMap.ServiceMap<any>;
+            const handlerServices = ServiceMap.merge(
+              preparedServices,
+              ServiceMap.make(Scope.Scope, scope),
+            );
+
+            const handlerFx = matchedEntry
+              .handler(paramsRef)
+              .pipe(provideServices(handlerServices));
+            const withLayouts = yield* layoutManager.apply(
+              matchedEntry.layouts,
+              matchedParams,
+              handlerFx,
+              preparedServices,
+            );
+            const withCatches = yield* catchManager.apply(
+              matchedEntry.catches,
+              withLayouts,
+              preparedServices,
+            );
+            const fx = withCatches;
+
+            currentState = {
+              entry: matchedEntry,
+              params: paramsRef,
+              scope,
+              fx,
+            };
+
+            return currentState.fx;
+          }),
+        ),
+        skipRepeats,
+        switchMap(identity),
+      );
+    }),
+  );
+}
+
+type InputSucces<T> = [Matcher.Success<T> | Fx.Fx.Success<T>] extends [infer A] ? A : never;
+type InputError<T> = [Matcher.Error<T> | Fx.Fx.Error<T>] extends [infer E] ? E : never;
+type InputServices<T> = [Matcher.Services<T> | Fx.Fx.Services<T>] extends [infer R] ? R : never;
+
+export const catchCause: {
+  <I extends Fx.Fx.Any | Matcher.Any, B, E2 = never, R2 = never>(
+    f: (
+      cause: RefSubject.RefSubject<
+        Cause.Cause<InputError<I> | RouteNotFound | RouteDecodeError | RouteGuardError>
+      >,
+    ) => Fx.Fx<B, E2, R2>,
+  ): (input: I) => Fx.Fx<InputSucces<I> | B, E2, InputServices<I> | R2 | Router | Scope.Scope>;
+
+  <I extends Fx.Fx.Any | Matcher.Any, B, E2 = never, R2 = never>(
+    input: I,
+    f: (
+      cause: RefSubject.RefSubject<
+        Cause.Cause<InputError<I> | RouteNotFound | RouteDecodeError | RouteGuardError>
+      >,
+    ) => Fx.Fx<B, E2, R2>,
+  ): Fx.Fx<InputSucces<I> | B, E2, InputServices<I> | R2 | Router | Scope.Scope>;
+} = dual(
+  2,
+  <A, E, R, B, E2, R2>(
+    input: Fx.Fx<A, E, R> | Matcher<A, E, R>,
+    f: (
+      cause: RefSubject.RefSubject<
+        Cause.Cause<E | RouteNotFound | RouteDecodeError | RouteGuardError>
+      >,
+    ) => Fx.Fx<B, E2, R2>,
+  ): Fx.Fx<A | B, E2, R | R2 | Router | Scope.Scope> => {
+    const eff = Effect.gen(function* () {
+      const fiberId = yield* Effect.fiberId;
+      const rootScope = yield* Effect.scope;
+      const fx = isFx(input) ? input : run(input);
+      const manager = makeCatchManager(rootScope, fiberId);
+      const result = yield* manager.apply(
+        [f],
+        fx,
+        ServiceMap.empty() as ServiceMap.ServiceMap<any>,
+      );
+      return result as Fx.Fx<A | B, E2, R | R2 | Router | Scope.Scope>;
+    });
+    return unwrap(eff);
+  },
+);
+
+export const catch_: {
+  <I extends Fx.Fx.Any | Matcher.Any, B, E2, R2>(
+    f: (e: InputError<I>) => Fx.Fx<B, E2, R2>,
+  ): (input: I) => Fx.Fx<InputSucces<I> | B, E2, InputServices<I> | R2 | Router | Scope.Scope>;
+} = dual(
+  2,
+  <I extends Fx.Fx.Any | Matcher.Any, B, E2, R2>(
+    input: I,
+    f: (e: InputError<I>) => Fx.Fx<B, E2, R2>,
+  ): Fx.Fx<InputSucces<I> | B, E2, InputServices<I> | R2 | Router | Scope.Scope> =>
+    catchCause(input, (causeRef) =>
+      unwrap(
+        Effect.gen(function* () {
+          const cause = yield* causeRef;
+          const result = Cause.findFail(cause);
+          if (Result.isFailure(result)) {
+            return fromEffect(Effect.failCause(result.failure));
+          }
+          return f(result.success.error as InputError<I>);
+        }),
+      ),
+    ),
+);
+
+export { catch_ as catch };
+
+export const catchTag: {
+  <
+    I extends Fx.Fx.Any | Matcher.Any,
+    const K extends Tags<E> | Arr.NonEmptyReadonlyArray<Tags<E>>,
+    E,
+    B,
+    E2,
+    R2,
+  >(
+    k: K,
+    f: (e: InputError<I>) => Fx.Fx<B, E2, R2>,
+  ): (input: I) => Fx.Fx<InputSucces<I> | B, E2, InputServices<I> | R2 | Router | Scope.Scope>;
+
+  <
+    I extends Fx.Fx.Any | Matcher.Any,
+    const K extends Tags<InputError<I>> | Arr.NonEmptyReadonlyArray<Tags<InputError<I>>>,
+    B,
+    E2,
+    R2,
+  >(
+    input: I,
+    k: K,
+    f: (
+      e: ExtractTag<InputError<I>, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>,
+    ) => Fx.Fx<B, E2, R2>,
   ): Fx.Fx<
-    A | RouteMatch.RouteMatch.Success<Matches>,
-    Exclude<E | RouteMatch.RouteMatch.Error<Matches>, RedirectError>,
-    R | Navigation | RouteMatch.RouteMatch.Context<Matches> | Scope.Scope
-  >
-} = dual(2, function notFoundWith<Matches extends RouteMatch.RouteMatch.Any, A, E, R>(
-  router: RouteMatcher<Matches>,
-  onNotFound: Effect.Effect<A, E, R>
-): Fx.Fx<
-  A | RouteMatch.RouteMatch.Success<Matches>,
-  Exclude<E | RouteMatch.RouteMatch.Error<Matches>, RedirectError>,
-  R | Navigation | RouteMatch.RouteMatch.Context<Matches> | Scope.Scope
-> {
-  return notFound(router, Fx.fromEffect(onNotFound))
-})
+    InputSucces<I> | B,
+    E2 | ExcludeTag<InputError<I>, K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K>,
+    InputServices<I> | R2 | Router | Scope.Scope
+  >;
+} = dual(
+  3,
+  <
+    I extends Fx.Fx.Any | Matcher.Any,
+    const K extends Tags<InputError<I>> | Arr.NonEmptyReadonlyArray<Tags<InputError<I>>>,
+    B,
+    E2,
+    R2,
+  >(
+    input: I,
+    k: K,
+    f: (e: InputError<I>) => Fx.Fx<B, E2, R2>,
+  ): Fx.Fx<InputSucces<I> | B, E2, InputServices<I> | R2 | Router | Scope.Scope> =>
+    catchCause(input, (causeRef) =>
+      unwrap(
+        Effect.gen(function* () {
+          const cause = yield* causeRef;
+          const result = Cause.findFail(cause);
+          if (Result.isFailure(result)) {
+            return fromEffect(Effect.failCause(result.failure));
+          }
+          if (matchesTag(k, result.success.error)) {
+            return f(
+              result.success.error as ExtractTag<
+                InputError<I>,
+                K extends Arr.NonEmptyReadonlyArray<string> ? K[number] : K
+              >,
+            );
+          }
+          return fromEffect(Effect.fail(result.success.error as E2));
+        }),
+      ),
+    ),
+);
+
+export const redirectTo =
+  (path: string) =>
+  <I extends Fx.Fx.Any | Matcher.Any>(
+    input: I,
+  ): Fx.Fx<InputSucces<I>, never, Router | Scope.Scope | InputServices<I>> =>
+    catchCause(input, (_) =>
+      Navigation.navigate(path).pipe(
+        Effect.matchCause({
+          onFailure: () => never,
+          onSuccess: () => never,
+        }),
+        unwrap,
+      ),
+    );
+
+const hasTag = (u: unknown): u is { readonly _tag: string } =>
+  typeof u === "object" &&
+  u !== null &&
+  "_tag" in u &&
+  typeof (u as Record<string, unknown>)["_tag"] === "string";
+
+const matchesTag = <E, K extends string>(
+  tag: K | Arr.NonEmptyReadonlyArray<K>,
+  error: E,
+): error is ExtractTag<E, K> => {
+  if (!hasTag(error)) return false;
+  if (typeof tag === "string") return error._tag === tag;
+  return tag.some((t) => t === error._tag);
+};
+
+function normalizeDependencies(
+  dependencies: ReadonlyArray<AnyDependency>,
+): ReadonlyArray<AnyLayer> {
+  return dependencies.map((dep) =>
+    Layer.isLayer(dep)
+      ? dep
+      : (Layer.succeedServices(dep as ServiceMap.ServiceMap<any>) as AnyLayer),
+  );
+}
+
+function getGuard<I, O, E, R>(guard: GuardInput<I, O, E, R>): GuardType<I, O, E, R> {
+  return "asGuard" in guard ? guard.asGuard() : guard;
+}
+
+function defaultGuard<A>(): GuardType<A, A> {
+  return Effect.succeedSome;
+}
+
+function mergeLayers(layers: ReadonlyArray<AnyLayer>): AnyLayer {
+  if (layers.length === 1) return layers[0];
+  let current = layers[0];
+  for (let i = 1; i < layers.length; i++) {
+    current = Layer.merge(current, layers[i]);
+  }
+  return current;
+}
 
 /**
- * @since 1.0.0
+ * @internal
  */
-export function isRouteMatcher<M extends RouteMatch.RouteMatch.Any = RouteMatch.RouteMatch.Any>(
-  value: unknown
-): value is RouteMatcher<M> {
-  return hasProperty(value, RouteMatcherTypeId)
+export function compile(cases: ReadonlyArray<MatchAst>): ReadonlyArray<CompiledEntry> {
+  const entries: Array<CompiledEntry> = [];
+
+  const visit = (
+    matches: ReadonlyArray<MatchAst>,
+    context: {
+      readonly layers: ReadonlyArray<AnyLayer>;
+      readonly layouts: ReadonlyArray<AnyLayout>;
+      readonly catches: ReadonlyArray<AnyCatch>;
+      readonly prefixes: ReadonlyArray<RouteAst>;
+    },
+  ): void => {
+    for (const match of matches) {
+      switch (match.type) {
+        case "route": {
+          const baseRoute = makeRoute(match.route);
+          const prefixedRoute = applyPrefixes(baseRoute, context.prefixes);
+          entries.push({
+            route: prefixedRoute,
+            guard: getGuard(match.guard as GuardInput<any, any, any, any>),
+            handler: normalizeHandler(match.handler),
+            layers: context.layers,
+            layouts: context.layouts,
+            catches: context.catches,
+            decode: Schema.decodeUnknownEffect(prefixedRoute.paramsSchema),
+          });
+          break;
+        }
+        case "layer": {
+          const merged = mergeLayers(match.deps);
+          visit(match.matches, {
+            ...context,
+            layers: [...context.layers, merged],
+          });
+          break;
+        }
+        case "layout": {
+          visit(match.matches, {
+            ...context,
+            layouts: [...context.layouts, match.layout as AnyLayout],
+          });
+          break;
+        }
+        case "prefixed": {
+          visit(match.matches, {
+            ...context,
+            prefixes: [...context.prefixes, match.prefix],
+          });
+          break;
+        }
+        case "catch": {
+          visit(match.matches, {
+            ...context,
+            catches: [...context.catches, match.f as AnyCatch],
+          });
+          break;
+        }
+      }
+    }
+  };
+
+  visit(cases, { layers: [], layouts: [], catches: [], prefixes: [] });
+  return entries;
 }
 
+function applyPrefixes(route: Route.Any, prefixes: ReadonlyArray<RouteAst>): Route.Any {
+  if (prefixes.length === 0) return route;
+  const prefixRoutes = prefixes.map((prefix) => makeRoute(prefix));
+  return Join(...prefixRoutes, route);
+}
+
+// Parallel scope cleanup helper
+const closeScopes = (scopes: Iterable<Scope.Closeable>, fiberId: number) =>
+  Effect.forEach(scopes, (scope) => Scope.close(scope, interrupt(fiberId)), {
+    concurrency: "unbounded",
+    discard: true,
+  });
+
 /**
- * @since 1.0.0
+ * @internal
  */
-export const redirectWith: {
-  <E, R>(
-    effect: Effect.Effect<string, E, R>
-  ): <Matches extends RouteMatch.RouteMatch.Any>(router: RouteMatcher<Matches>) => Fx.Fx<
-    RouteMatch.RouteMatch.Success<Matches>,
-    Exclude<E | RouteMatch.RouteMatch.Error<Matches>, RedirectError>,
-    Navigation | Scope.Scope | R | RouteMatch.RouteMatch.Context<Matches>
-  >
-
-  <Matches extends RouteMatch.RouteMatch.Any, E, R>(
-    router: RouteMatcher<Matches>,
-    effect: Effect.Effect<string, E, R>
-  ): Fx.Fx<
-    RouteMatch.RouteMatch.Success<Matches>,
-    Exclude<E | RouteMatch.RouteMatch.Error<Matches>, RedirectError>,
-    Navigation | Scope.Scope | R | RouteMatch.RouteMatch.Context<Matches>
-  >
-} = dual(2, function redirectWith<Matches extends RouteMatch.RouteMatch.Any, E, R>(
-  router: RouteMatcher<Matches>,
-  effect: Effect.Effect<string, E, R>
-) {
-  return notFoundWith(router, Effect.flatMap(effect, (path) => new RedirectError({ path })))
-})
+export function makeLayerManager(memoMap: Layer.MemoMap, rootScope: Scope.Scope, fiberId: number) {
+  const states = new Map<AnyLayer, { scope: Scope.Closeable; services: AnyServiceMap }>();
+  let order: ReadonlyArray<AnyLayer> = [];
+  let cachedDesiredSet: Set<AnyLayer> | undefined = undefined;
+  let cachedOrder: ReadonlyArray<AnyLayer> | undefined = undefined;
+
+  const prepare = (desired: ReadonlyArray<AnyLayer>) =>
+    Effect.gen(function* () {
+      const desiredSet =
+        cachedOrder === desired
+          ? cachedDesiredSet!
+          : ((cachedDesiredSet = new Set(desired)), (cachedOrder = desired), cachedDesiredSet);
+      const removed = order.filter((layer) => !desiredSet.has(layer));
+      const added: Array<AnyLayer> = [];
+      let services = ServiceMap.empty();
+
+      for (const layer of desired) {
+        const existing = states.get(layer);
+        if (existing) {
+          services = ServiceMap.merge(services, existing.services);
+          continue;
+        }
+
+        const scope = yield* Scope.fork(rootScope);
+        const buildExit = yield* Layer.buildWithMemoMap(layer, memoMap, scope).pipe(
+          Effect.provideServices(services),
+          Effect.exit,
+        );
+
+        if (Exit.isFailure(buildExit)) {
+          for (let i = added.length - 1; i >= 0; i--) {
+            const addedLayer = added[i];
+            const addedState = states.get(addedLayer);
+            if (addedState) {
+              states.delete(addedLayer);
+              yield* Scope.close(addedState.scope, interrupt(fiberId));
+            }
+          }
+          yield* Scope.close(scope, buildExit);
+          return yield* Effect.failCause(buildExit.cause);
+        }
+
+        const servicesForLayer = buildExit.value;
+        services = ServiceMap.merge(services, servicesForLayer);
+        states.set(layer, { scope, services: servicesForLayer });
+        added.push(layer);
+      }
+
+      const commit = Effect.gen(function* () {
+        for (let i = removed.length - 1; i >= 0; i--) {
+          const layer = removed[i];
+          const state = states.get(layer);
+          if (state) {
+            states.delete(layer);
+            yield* Scope.close(state.scope, interrupt(fiberId));
+          }
+        }
+        order = desired;
+      });
+
+      const rollback = Effect.gen(function* () {
+        for (let i = added.length - 1; i >= 0; i--) {
+          const layer = added[i];
+          const state = states.get(layer);
+          if (state) {
+            states.delete(layer);
+            yield* Scope.close(state.scope, interrupt(fiberId));
+          }
+        }
+      });
+
+      return { services, commit, rollback };
+    });
+
+  return { prepare };
+}
 
 /**
- * @since 1.0.0
+ * @internal
  */
-export const redirectTo: {
-  <R extends Route.Route.Any>(
-    route: R,
-    ...params: Route.Route.ParamsList<R>
-  ): <Matches extends RouteMatch.RouteMatch.Any>(router: RouteMatcher<Matches>) => Fx.Fx<
-    RouteMatch.RouteMatch.Success<Matches>,
-    RedirectRouteMatchError<R> | Exclude<RouteMatch.RouteMatch.Error<Matches>, RedirectError>,
-    Scope.Scope | Navigation | CurrentRoute | RouteMatch.RouteMatch.Context<Matches>
-  >
-
-  <Matches extends RouteMatch.RouteMatch.Any, R extends Route.Route.Any>(
-    router: RouteMatcher<Matches>,
-    route: R,
-    ...params: Route.Route.ParamsList<R>
-  ): Fx.Fx<
-    RouteMatch.RouteMatch.Success<Matches>,
-    RedirectRouteMatchError<R> | Exclude<RouteMatch.RouteMatch.Error<Matches>, RedirectError>,
-    Scope.Scope | Navigation | CurrentRoute | RouteMatch.RouteMatch.Context<Matches>
-  >
-} = dual(
-  (args) => isRouteMatcher(args[0]),
-  function redirect<Matches extends RouteMatch.RouteMatch.Any, R extends Route.Route.Any>(
-    router: RouteMatcher<Matches>,
-    route: R,
-    ...params: Route.Route.ParamsList<R>
-  ): Fx.Fx<
-    RouteMatch.RouteMatch.Success<Matches>,
-    RedirectRouteMatchError<R> | Exclude<RouteMatch.RouteMatch.Error<Matches>, RedirectError>,
-    Scope.Scope | Navigation | CurrentRoute | RouteMatch.RouteMatch.Context<Matches>
-  > {
-    return redirectWith(
-      router,
-      pipe(
-        Effect.catchTag(
-          makeHref<R>(route, ...params),
-          "NoSuchElementException",
-          () => Effect.fail(new RedirectRouteMatchError<R>(route, (params[0] || {}) as Route.Route.Params<R>))
-        ),
-        Effect.flatMap((path) => new RedirectError({ path }))
-      )
-    )
-  }
-)
+export function makeLayoutManager(rootScope: Scope.Scope, fiberId: number) {
+  const states = new Map<
+    AnyLayout,
+    {
+      params: RefSubject.RefSubject<any>;
+      content: RefSubject.RefSubject<Fx.Fx<any, any, any>>;
+      fx: Fx.Fx<any, any, any>;
+      scope: Scope.Closeable;
+    }
+  >();
+  let active: ReadonlyArray<AnyLayout> = [];
+
+  const removeUnused = (layouts: ReadonlyArray<AnyLayout>) =>
+    Effect.gen(function* () {
+      const next = new Set(layouts);
+      const removed = active.filter((layout) => !next.has(layout));
+      const scopes = removed.map((layout) => {
+        const state = states.get(layout)!;
+        states.delete(layout);
+        return state.scope;
+      });
+      yield* closeScopes(scopes, fiberId);
+      active = layouts;
+    });
+
+  const apply = (
+    layouts: ReadonlyArray<AnyLayout>,
+    paramsValue: any,
+    inner: Fx.Fx<any, any, any>,
+    services: ServiceMap.ServiceMap<any>,
+  ) =>
+    Effect.gen(function* () {
+      let current = inner;
+      for (let i = layouts.length - 1; i >= 0; i--) {
+        const layout = layouts[i];
+        const state = states.get(layout);
+        if (state === undefined) {
+          const scope = yield* Scope.fork(rootScope);
+          const params = yield* RefSubject.make(paramsValue).pipe(Scope.provide(scope));
+          const content = yield* RefSubject.make<Fx.Fx<any, any, any>>(Effect.succeed(current), {
+            eq: (left, right) => left === right,
+          }).pipe(Scope.provide(scope));
+          const fx = layout({ params, content: content.pipe(switchMap(identity)) }).pipe(
+            provideServices(ServiceMap.merge(services, ServiceMap.make(Scope.Scope, scope))),
+          );
+          states.set(layout, { params, content, fx, scope });
+          current = fx;
+        } else {
+          yield* RefSubject.set(state.params, paramsValue);
+          // @effect-diagnostics-next-line floatingEffect:off
+          yield* RefSubject.set(state.content, current);
+          current = state.fx;
+        }
+      }
+      yield* removeUnused(layouts);
+      return current;
+    });
+
+  const updateParams = (layouts: ReadonlyArray<AnyLayout>, paramsValue: any) =>
+    Effect.forEach(
+      layouts,
+      (layout) => {
+        const state = states.get(layout);
+        return state !== undefined ? RefSubject.set(state.params, paramsValue) : Effect.void;
+      },
+      { discard: true },
+    );
+
+  return { apply, updateParams };
+}
 
 /**
- * @since 1.0.0
+ * @internal
  */
-export class RedirectRouteMatchError<R extends Route.Route.Any> extends Data.TaggedError("RedirectRouteMatchError") {
-  constructor(readonly route: R, readonly params: Route.Route.Params<R>) {
-    super()
-  }
+export function makeCatchManager(rootScope: Scope.Scope, fiberId: number) {
+  const states = new Map<
+    AnyCatch,
+    {
+      causes: RefSubject.RefSubject<Cause.Cause<any>>;
+      content: RefSubject.RefSubject<Fx.Fx<any, any, any>>;
+      fx: Fx.Fx<any, any, any>;
+      scope: Scope.Closeable;
+    }
+  >();
+  let active: ReadonlyArray<AnyCatch> = [];
+
+  const removeUnused = (catches: ReadonlyArray<AnyCatch>) =>
+    Effect.gen(function* () {
+      const next = new Set(catches);
+      const removed = active.filter((c) => !next.has(c));
+      const scopes = removed.map((c) => {
+        const state = states.get(c)!;
+        states.delete(c);
+        return state.scope;
+      });
+      yield* closeScopes(scopes, fiberId);
+      active = catches;
+    });
+
+  const apply = (
+    catches: ReadonlyArray<AnyCatch>,
+    inner: Fx.Fx<any, any, any>,
+    services: ServiceMap.ServiceMap<any>,
+  ) =>
+    Effect.gen(function* () {
+      let current = inner;
+      for (let i = catches.length - 1; i >= 0; i--) {
+        const catcher = catches[i];
+        const state = states.get(catcher);
+        if (state === undefined) {
+          const scope = yield* Scope.fork(rootScope);
+          const causes = yield* RefSubject.make<Cause.Cause<any>>(Cause.fail(undefined)).pipe(
+            Scope.provide(scope),
+          );
+          const content = yield* RefSubject.make<Fx.Fx<any, any, any>>(Effect.succeed(current), {
+            eq: (left, right) => left === right,
+          }).pipe(Scope.provide(scope));
+          const fallback = catcher(causes).pipe(
+            provideServices(ServiceMap.merge(services, ServiceMap.make(Scope.Scope, scope))),
+          );
+          const fx = content.pipe(
+            switchMap(identity),
+            exit,
+            mapEffect(
+              Effect.fn(function* (e) {
+                if (isSuccess(e)) return succeed(e.value);
+                yield* RefSubject.set(causes, e.cause);
+                return fallback;
+              }),
+            ),
+            skipRepeats,
+            switchMap(identity),
+          );
+          states.set(catcher, { causes, content, fx, scope });
+          current = fx;
+        } else {
+          // @effect-diagnostics-next-line floatingEffect:off
+          yield* RefSubject.set(state.content, current);
+          current = state.fx;
+        }
+      }
+      yield* removeUnused(catches);
+      return current;
+    });
+
+  return { apply };
 }