better-effect 0.9.31 → 0.11.0

package/dist/effect-2ZcGZI8A.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-2ZcGZI8A.mjs","names":["map","mapError","andThen","next","resultMatchError","resultMatchErrorPartial","tap","tapError","matchError","matchErrorPartial","recover","programMap","programMapError","programAndThen","programTap","programTapError","programRecover"],"sources":["../src/effect/combinators.ts","../src/effect/program-combinators.ts","../src/effect/program-scheduler.ts","../src/effect/effect.ts"],"sourcesContent":["import {\n  matchError as resultMatchError,\n  matchErrorPartial as resultMatchErrorPartial,\n  Result\n} from 'better-result'\n\nimport type { Result as ResultType } from 'better-result'\n\nimport type { AnyService } from '../service'\nimport { isPromiseLike } from '../utils/runtime'\nimport type { Effect, EffectError, EffectRequirements, EffectSuccess } from './types'\n\ntype EffectInput<A, E> = ResultType<A, E> | PromiseLike<ResultType<A, E>>\n\ntype AnyEffectInput = EffectInput<any, any>\ntype AnyEffectValue = ResultType<any, any>\ntype AnyAsyncEffectInput = PromiseLike<ResultType<any, any>>\ntype CombinatorCallback = (value: any) => any\ntype CombinatorInput = AnyEffectInput | CombinatorCallback\n\ntype PreserveAsync<Input, Output> = Input extends PromiseLike<unknown> ? Promise<Output> : Output\n\ntype MappedResult<Input, B> = Effect<B, EffectError<Input>, EffectRequirements<Input>>\n\ntype ErrorMappedResult<Input, E2> = Effect<EffectSuccess<Input>, E2, EffectRequirements<Input>>\n\ntype ChainedResult<First, Next> = Effect<\n  EffectSuccess<Next>,\n  EffectError<First> | EffectError<Next>,\n  EffectRequirements<First> | EffectRequirements<Next>\n>\n\ntype ChainedOutput<First, Next> = ChainedResult<First, Next>\n\ntype AsyncChainedOutput<First, Next> = Promise<ChainedResult<First, Next>>\n\ntype MapOperation<A, B> = {\n  <Input>(effect: Input & EffectInput<A, any>): PreserveAsync<Input, MappedResult<Input, B>>\n}\n\ntype MapErrorOperation<E1, E2> = {\n  <Input>(effect: Input & EffectInput<any, E1>): PreserveAsync<Input, ErrorMappedResult<Input, E2>>\n}\n\ntype AndThenOperation<Next> = {\n  <Input>(effect: Input & AnyEffectValue): ChainedOutput<Input, Next>\n}\n\ntype AndThenAsyncOperation<A, Next> = {\n  <Input>(effect: Input & EffectInput<A, any>): AsyncChainedOutput<Input, Next>\n}\n\ntype TappedResult<Input> = Effect<\n  EffectSuccess<Input>,\n  EffectError<Input>,\n  EffectRequirements<Input>\n>\n\ntype RecoveredResult<Input, Next> = Effect<\n  EffectSuccess<Input> | EffectSuccess<Next>,\n  EffectError<Next>,\n  EffectRequirements<Input> | EffectRequirements<Next>\n>\n\ntype FlattenedResult<Input> = Effect<\n  EffectSuccess<EffectSuccess<Input>>,\n  EffectError<Input> | EffectError<EffectSuccess<Input>>,\n  EffectRequirements<Input> | EffectRequirements<EffectSuccess<Input>>\n>\n\ntype AsResult<Input, Value> = Effect<Value, EffectError<Input>, EffectRequirements<Input>>\n\ntype MatchedResult<Input, OkResult, ErrResult> = Effect<\n  EffectSuccess<OkResult> | EffectSuccess<ErrResult>,\n  EffectError<OkResult> | EffectError<ErrResult>,\n  EffectRequirements<Input> | EffectRequirements<OkResult> | EffectRequirements<ErrResult>\n>\n\ntype AllResult<Results extends readonly AnyEffectValue[]> = Effect<\n  { -readonly [Index in keyof Results]: EffectSuccess<Results[Index]> },\n  EffectError<Results[number]>,\n  EffectRequirements<Results[number]>\n>\n\ntype ZipResult<Left, Right> = Effect<\n  [EffectSuccess<Left>, EffectSuccess<Right>],\n  EffectError<Left> | EffectError<Right>,\n  EffectRequirements<Left> | EffectRequirements<Right>\n>\n\ntype TapOperation = {\n  <Input>(\n    effect: Input & AnyEffectInput,\n    fn: (value: EffectSuccess<Input>) => void\n  ): PreserveAsync<Input, TappedResult<Input>>\n}\n\ntype TapErrorOperation = {\n  <Input>(\n    effect: Input & AnyEffectInput,\n    fn: (error: EffectError<Input>) => void\n  ): PreserveAsync<Input, TappedResult<Input>>\n}\n\ntype TapBothOperation = {\n  <Input>(\n    effect: Input & AnyEffectInput,\n    handlers: {\n      ok: (value: EffectSuccess<Input>) => void\n      err: (error: EffectError<Input>) => void\n    }\n  ): PreserveAsync<Input, TappedResult<Input>>\n}\n\ntype TapAsyncOperation = {\n  <Input>(effect: Input & AnyEffectInput): Promise<TappedResult<Input>>\n}\n\ntype TapErrorAsyncOperation = {\n  <Input>(effect: Input & AnyEffectInput): Promise<TappedResult<Input>>\n}\n\ntype TapBothAsyncOperation = {\n  <Input>(effect: Input & AnyEffectInput): Promise<TappedResult<Input>>\n}\n\ntype TaggedErrorLike = Error & { readonly _tag: string }\n\ntype TaggedErrorHandlers<ErrorValue extends TaggedErrorLike> = {\n  // oxlint-disable-next-line anti-slop/no-unknown-returns -- better-result matchers allow arbitrary handler results.\n  [Tag in ErrorValue['_tag']]: (error: Extract<ErrorValue, { readonly _tag: Tag }>) => unknown\n}\n\ntype TaggedErrorOf<Input> = Extract<EffectError<Input>, TaggedErrorLike>\n\ntype TaggedErrorHandlersFor<Input> = [EffectError<Input>] extends [TaggedErrorLike]\n  ? TaggedErrorHandlers<TaggedErrorOf<Input>>\n  : never\n\ntype HandlerReturn<Handlers> = {\n  [Key in keyof Handlers]-?: NonNullable<Handlers[Key]> extends (error: never) => infer Return\n    ? Return\n    : never\n}[keyof Handlers]\n\ntype RequiredHandlerKeys<Handlers> = {\n  [Key in keyof Handlers]-?: {} extends Pick<Handlers, Key>\n    ? never\n    : undefined extends Handlers[Key]\n      ? never\n      : Key\n}[keyof Handlers]\n\ntype UnhandledTaggedErrors<ErrorValue extends TaggedErrorLike, Handlers> = Exclude<\n  ErrorValue,\n  { readonly _tag: Extract<RequiredHandlerKeys<Handlers>, ErrorValue['_tag']> }\n>\n\ntype MatchErrorResult<Input, Handlers> = Effect<\n  EffectSuccess<Input>,\n  HandlerReturn<Handlers>,\n  EffectRequirements<Input>\n>\n\ntype MatchErrorPartialResult<Input, Handlers> = Effect<\n  EffectSuccess<Input>,\n  HandlerReturn<Handlers> | UnhandledTaggedErrors<TaggedErrorOf<Input>, Handlers>,\n  EffectRequirements<Input>\n>\n\ntype RecoverOperation<Next> = {\n  <Input>(\n    effect: Input & AnyEffectInput,\n    fn: (error: EffectError<Input>) => Next\n  ): PreserveAsync<Input, RecoveredResult<Input, Next>>\n}\n\ntype RecoverAsyncOperation<Next> = {\n  <Input>(\n    effect: Input & AnyEffectInput,\n    fn: (error: EffectError<Input>) => Next\n  ): Promise<RecoveredResult<Input, Next>>\n}\n\nconst asResult = <Value>(value: Value): ResultType<any, any> => {\n  // SAFETY: Effect is the declaration-only Result facade, so every runtime value is a Result.\n  return value as ResultType<any, any>\n}\n\nconst mapResult = <A, B, E, Requirements extends AnyService>(\n  result: ResultType<A, E>,\n  fn: (value: A) => B\n): Effect<B, E, Requirements> => {\n  // SAFETY: Result.map changes only the success channel; the declaration-only Effect marker is restored by this adapter.\n  return Result.map(result, fn) as Effect<B, E, Requirements>\n}\n\nconst mapErrorResult = <A, E1, E2, Requirements extends AnyService>(\n  result: ResultType<A, E1>,\n  fn: (error: E1) => E2\n): Effect<A, E2, Requirements> => {\n  // SAFETY: Result.mapError changes only the error channel; the declaration-only Effect marker is restored by this adapter.\n  return Result.mapError(result, fn) as Effect<A, E2, Requirements>\n}\n\nconst andThenResult = <\n  A,\n  B,\n  E1,\n  E2,\n  Requirements1 extends AnyService,\n  Requirements2 extends AnyService\n>(\n  result: ResultType<A, E1>,\n  next: (value: A) => ResultType<B, E2>\n): Effect<B, E1 | E2, Requirements1 | Requirements2> => {\n  // SAFETY: The public callback returns an Effect, whose only runtime contract is the underlying Result.\n  const resultNext = next as (value: A) => ResultType<B, E2>\n\n  // SAFETY: Result.andThen unions Result errors; the declaration-only Effect marker is restored by this adapter.\n  return Result.andThen(result, resultNext) as Effect<B, E1 | E2, Requirements1 | Requirements2>\n}\n\nconst andThenAsyncResult = <\n  A,\n  B,\n  E1,\n  E2,\n  Requirements1 extends AnyService,\n  Requirements2 extends AnyService\n>(\n  result: ResultType<A, E1>,\n  next: (value: A) => PromiseLike<ResultType<B, E2>>\n): Promise<Effect<B, E1 | E2, Requirements1 | Requirements2>> => {\n  // SAFETY: The public callback returns an Effect, whose only runtime contract is the underlying Result.\n  const resultNext = (value: A) => {\n    // SAFETY: Promise resolution preserves the callback's Result value; only declaration-only Effect metadata is erased.\n    return Promise.resolve(next(value)) as Promise<ResultType<B, E2>>\n  }\n\n  // SAFETY: Result.andThenAsync unions Result errors; the declaration-only Effect marker is restored by this adapter.\n  return Result.andThenAsync(result, resultNext) as Promise<\n    Effect<B, E1 | E2, Requirements1 | Requirements2>\n  >\n}\n\n/**\n * Map the successful value of a Result or Effect result.\n *\n * Supports both data-first and data-last forms and preserves asynchronous\n * results and declaration-only Service requirements.\n *\n * @example\n * ```ts\n * const doubled = Effect.map(Result.ok(2), (value) => value * 2)\n * const toLabel = Effect.map((value: number) => `#${value}`)\n * ```\n */\nexport function map<A, B>(fn: (value: A) => B): MapOperation<A, B>\nexport function map<Input, B>(\n  effect: Input & AnyEffectInput,\n  fn: (value: EffectSuccess<Input>) => B\n): PreserveAsync<Input, MappedResult<Input, B>>\nexport function map(first: CombinatorInput, second?: CombinatorCallback): any {\n  if (first instanceof Function && second === undefined) {\n    // SAFETY: The curried overload accepts a unary mapping callback in this branch.\n    const callback = first as CombinatorCallback\n\n    return (effect: AnyEffectInput) => {\n      // SAFETY: The overload implementation has already established the callback and Effect input positions.\n      return map(effect as never, callback as never)\n    }\n  }\n\n  // SAFETY: The data-first overload requires the second argument to be a unary mapping callback.\n  const fn = second as CombinatorCallback\n\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) => {\n      // SAFETY: Result is the runtime representation shared by Effect and better-result.\n      return mapResult(result as ResultType<any, any>, fn)\n    })\n  }\n\n  // SAFETY: The data-first overload supplies a Result-compatible Effect value.\n  return mapResult(first as ResultType<any, any>, fn)\n}\n\n/**\n * Map the error value of a Result or Effect result while preserving its\n * successful value, asynchronous shape, and declaration-only Service requirements.\n *\n * @example\n * ```ts\n * const labelled = Effect.mapError(Result.err('missing'), (error) => ({ error }))\n * ```\n */\nexport function mapError<E1, E2>(fn: (error: E1) => E2): MapErrorOperation<E1, E2>\nexport function mapError<Input, E2>(\n  effect: Input & AnyEffectInput,\n  fn: (error: EffectError<Input>) => E2\n): PreserveAsync<Input, ErrorMappedResult<Input, E2>>\nexport function mapError(first: CombinatorInput, second?: CombinatorCallback): any {\n  if (first instanceof Function && second === undefined) {\n    // SAFETY: The curried overload accepts a unary error-mapping callback in this branch.\n    const callback = first as CombinatorCallback\n\n    return (effect: AnyEffectInput) => {\n      // SAFETY: The overload implementation has already established the callback and Effect input positions.\n      return mapError(effect as never, callback as never)\n    }\n  }\n\n  // SAFETY: The data-first overload requires the second argument to be a unary error-mapping callback.\n  const fn = second as CombinatorCallback\n\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) => {\n      // SAFETY: Result is the runtime representation shared by Effect and better-result.\n      return mapErrorResult(result as ResultType<any, any>, fn)\n    })\n  }\n\n  // SAFETY: The data-first overload supplies a Result-compatible Effect value.\n  return mapErrorResult(first as ResultType<any, any>, fn)\n}\n\n/**\n * Chain a synchronous Result-producing operation after a successful result.\n *\n * The next operation is skipped when the input is an error. Both error types\n * and both sets of Service requirements are preserved in the output.\n *\n * @example\n * ```ts\n * const user = Effect.andThen(Result.ok('u1'), (id) => repository.find(id))\n * ```\n */\nexport function andThen<A, Next extends AnyEffectValue>(\n  next: (value: A) => Next\n): AndThenOperation<Next>\nexport function andThen<Input, Next extends AnyEffectValue>(\n  effect: Input & AnyEffectValue,\n  next: (value: EffectSuccess<Input>) => Next\n): ChainedOutput<Input, Next>\nexport function andThen(first: CombinatorInput, second?: CombinatorCallback): any {\n  if (first instanceof Function && second === undefined) {\n    // SAFETY: The curried overload accepts a unary continuation in this branch.\n    const callback = first as CombinatorCallback\n\n    return (effect: AnyEffectInput) => {\n      // SAFETY: The overload implementation has already established the callback and Effect input positions.\n      return andThen(effect as never, callback as never)\n    }\n  }\n\n  // SAFETY: The data-first overload requires the second argument to return a Result.\n  const next = second as CombinatorCallback\n\n  // SAFETY: The data-first overload supplies a Result-compatible Effect value.\n  return andThenResult(first as ResultType<any, any>, next)\n}\n\n/**\n * Chain an asynchronous Result-producing operation after a successful result.\n *\n * The returned value is always a Promise and retains both operations' error\n * and Service-requirement metadata.\n *\n * @example\n * ```ts\n * const user = Effect.andThenAsync(loadUser(), (user) => fetchProfile(user.id))\n * ```\n */\nexport function andThenAsync<A, Next extends AnyAsyncEffectInput>(\n  next: (value: A) => Next\n): AndThenAsyncOperation<A, Next>\nexport function andThenAsync<Input, Next extends AnyAsyncEffectInput>(\n  effect: Input & AnyEffectInput,\n  next: (value: EffectSuccess<Input>) => Next\n): AsyncChainedOutput<Input, Next>\nexport function andThenAsync(first: CombinatorInput, second?: CombinatorCallback): any {\n  if (first instanceof Function && second === undefined) {\n    // SAFETY: The curried overload accepts a unary asynchronous continuation in this branch.\n    const callback = first as CombinatorCallback\n\n    return (effect: AnyEffectInput) => {\n      // SAFETY: The overload implementation has already established the callback and Effect input positions.\n      return andThenAsync(effect as never, callback as never)\n    }\n  }\n\n  // SAFETY: The data-first overload requires the second argument to return a PromiseLike Effect.\n  const next = second as CombinatorCallback\n\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) => {\n      // SAFETY: Result is the runtime representation shared by Effect and better-result.\n      return andThenAsyncResult(result as ResultType<any, any>, next)\n    })\n  }\n\n  // SAFETY: The data-first overload supplies a Result-compatible Effect value.\n  return andThenAsyncResult(first as ResultType<any, any>, next)\n}\n\nconst tapResult = <A, E, Requirements extends AnyService>(\n  result: ResultType<A, E>,\n  fn: (value: A) => void\n): Effect<A, E, Requirements> =>\n  // SAFETY: Result.tap preserves the Result value; the declaration-only Effect marker is restored here.\n  Result.tap(result, fn) as Effect<A, E, Requirements>\n\nconst tapErrorResult = <A, E, Requirements extends AnyService>(\n  result: ResultType<A, E>,\n  fn: (error: E) => void\n): Effect<A, E, Requirements> =>\n  // SAFETY: Result.tapError preserves the Result value; the declaration-only Effect marker is restored here.\n  Result.tapError(result, fn) as Effect<A, E, Requirements>\n\nconst tapBothResult = <A, E, Requirements extends AnyService>(\n  result: ResultType<A, E>,\n  handlers: { ok: (value: A) => void; err: (error: E) => void }\n): Effect<A, E, Requirements> =>\n  // SAFETY: Result.tapBoth preserves the Result value; the declaration-only Effect marker is restored here.\n  Result.tapBoth(result, handlers) as Effect<A, E, Requirements>\n\nconst tapAsyncResult = <A, E, Requirements extends AnyService>(\n  result: ResultType<A, E>,\n  fn: (value: A) => PromiseLike<void>\n): Promise<Effect<A, E, Requirements>> =>\n  // SAFETY: Result.tapAsync preserves the Result value and owns observer defect behavior; only the Effect marker is restored here.\n  Result.tapAsync(result, (value) => Promise.resolve(fn(value))) as Promise<\n    Effect<A, E, Requirements>\n  >\n\nconst tapErrorAsyncResult = <A, E, Requirements extends AnyService>(\n  result: ResultType<A, E>,\n  fn: (error: E) => PromiseLike<void>\n): Promise<Effect<A, E, Requirements>> =>\n  // SAFETY: Result.tapErrorAsync preserves the Result value and owns observer defect behavior; only the Effect marker is restored here.\n  Result.tapErrorAsync(result, (error) => Promise.resolve(fn(error))) as Promise<\n    Effect<A, E, Requirements>\n  >\n\nconst tapBothAsyncResult = <A, E, Requirements extends AnyService>(\n  result: ResultType<A, E>,\n  handlers: { ok: (value: A) => PromiseLike<void>; err: (error: E) => PromiseLike<void> }\n): Promise<Effect<A, E, Requirements>> =>\n  // SAFETY: Result.tapBothAsync selects one branch and preserves the Result; only the Effect marker is restored here.\n  Result.tapBothAsync(result, {\n    ok: (value) => Promise.resolve(handlers.ok(value)),\n    err: (error) => Promise.resolve(handlers.err(error))\n  }) as Promise<Effect<A, E, Requirements>>\n\nconst asTaggedResult = (\n  result: ResultType<unknown, unknown>\n): ResultType<unknown, TaggedErrorLike> => {\n  // SAFETY: The public matcher overload restricts error values to TaggedErrorLike before reaching this runtime boundary.\n  return result as ResultType<unknown, TaggedErrorLike>\n}\n\nconst matchErrorResult = <\n  A,\n  E extends TaggedErrorLike,\n  Requirements extends AnyService,\n  Handlers extends TaggedErrorHandlers<E>\n>(\n  result: ResultType<A, E>,\n  handlers: Handlers\n): Effect<A, HandlerReturn<Handlers>, Requirements> => {\n  // SAFETY: Result.mapError selects Err and preserves Ok; the declaration-only Effect marker is restored here.\n  return Result.mapError(result, (error) => resultMatchError(error, handlers)) as Effect<\n    A,\n    HandlerReturn<Handlers>,\n    Requirements\n  >\n}\n\nconst matchErrorPartialResult = <\n  A,\n  E extends TaggedErrorLike,\n  Requirements extends AnyService,\n  Handlers extends Partial<TaggedErrorHandlers<E>>\n>(\n  result: ResultType<A, E>,\n  handlers: Handlers\n): Effect<A, HandlerReturn<Handlers> | UnhandledTaggedErrors<E, Handlers>, Requirements> => {\n  // SAFETY: Result.mapError selects Err and preserves Ok; the declaration-only Effect marker is restored here.\n  return Result.mapError(result, (error) => resultMatchErrorPartial(error, handlers)) as Effect<\n    A,\n    HandlerReturn<Handlers> | UnhandledTaggedErrors<E, Handlers>,\n    Requirements\n  >\n}\n\nconst recoverResult = <\n  A,\n  E,\n  B,\n  E2,\n  Requirements1 extends AnyService,\n  Requirements2 extends AnyService\n>(\n  result: ResultType<A, E>,\n  fn: (error: E) => ResultType<B, E2>\n): Effect<A | B, E2, Requirements1 | Requirements2> =>\n  // SAFETY: Result.tryRecover owns recovery and short-circuiting; only Effect metadata is restored here.\n  Result.tryRecover(result, fn) as Effect<A | B, E2, Requirements1 | Requirements2>\n\nconst recoverAsyncResult = <\n  A,\n  E,\n  B,\n  E2,\n  Requirements1 extends AnyService,\n  Requirements2 extends AnyService\n>(\n  result: ResultType<A, E>,\n  fn: (error: E) => PromiseLike<ResultType<B, E2>>\n): Promise<Effect<A | B, E2, Requirements1 | Requirements2>> =>\n  // SAFETY: Result.tryRecoverAsync owns asynchronous recovery; only Effect metadata is restored here.\n  Result.tryRecoverAsync(result, (error) => Promise.resolve(fn(error))) as Promise<\n    Effect<A | B, E2, Requirements1 | Requirements2>\n  >\n\nconst flattenResult = <\n  A,\n  E1,\n  E2,\n  Requirements1 extends AnyService,\n  Requirements2 extends AnyService\n>(\n  result: ResultType<ResultType<A, E2>, E1>\n): Effect<A, E1 | E2, Requirements1 | Requirements2> =>\n  // SAFETY: Result.flatten removes one Result layer; the outer and inner Effect markers are restored here.\n  Result.flatten(result) as Effect<A, E1 | E2, Requirements1 | Requirements2>\n\nconst matchResult = <A, E, OkResult, ErrResult>(\n  result: ResultType<A, E>,\n  handlers: { ok: (value: A) => OkResult; err: (error: E) => ErrResult }\n): OkResult | ErrResult =>\n  // SAFETY: Result.match invokes only the selected branch; handler Results remain ordinary runtime values.\n  Result.match(result, handlers as never) as OkResult | ErrResult\n\nconst allResult = <const Results extends readonly AnyEffectValue[]>(\n  results: Results\n): AllResult<Results> =>\n  // SAFETY: Result.all preserves tuple order and short-circuiting; the declaration-only channels are restored here.\n  Result.all(results as readonly ResultType<any, any>[]) as AllResult<Results>\n\n/** Observe a successful value without changing the Result. */\nexport function tap(fn: (value: any) => void): TapOperation\nexport function tap<Input>(\n  effect: Input & AnyEffectInput,\n  fn: (value: EffectSuccess<Input>) => void\n): PreserveAsync<Input, TappedResult<Input>>\nexport function tap(first: CombinatorInput, second?: CombinatorCallback): any {\n  if (first instanceof Function && second === undefined) {\n    const callback = first\n    return (effect: AnyEffectInput) => tap(effect, callback)\n  }\n\n  if (second === undefined) {\n    throw new TypeError('Effect.tap requires a callback')\n  }\n\n  const fn = second\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) => tapResult(asResult(result), fn))\n  }\n\n  return tapResult(asResult(first), fn)\n}\n\n/** Observe an error value without changing the Result. */\nexport function tapError(fn: (error: any) => void): TapErrorOperation\nexport function tapError<Input>(\n  effect: Input & AnyEffectInput,\n  fn: (error: EffectError<Input>) => void\n): PreserveAsync<Input, TappedResult<Input>>\nexport function tapError(first: CombinatorInput, second?: CombinatorCallback): any {\n  if (first instanceof Function && second === undefined) {\n    const callback = first\n    return (effect: AnyEffectInput) => tapError(effect, callback)\n  }\n\n  if (second === undefined) {\n    throw new TypeError('Effect.tapError requires a callback')\n  }\n\n  const fn = second\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) => tapErrorResult(asResult(result), fn))\n  }\n\n  return tapErrorResult(asResult(first), fn)\n}\n\n/** Observe whichever Result branch is active without changing the Result. */\nexport function tapBoth(handlers: {\n  ok: (value: any) => void\n  err: (error: any) => void\n}): TapBothOperation\nexport function tapBoth<Input>(\n  effect: Input & AnyEffectInput,\n  handlers: {\n    ok: (value: EffectSuccess<Input>) => void\n    err: (error: EffectError<Input>) => void\n  }\n): PreserveAsync<Input, TappedResult<Input>>\nexport function tapBoth(first: any, second?: any): any {\n  if (second === undefined) {\n    return (effect: AnyEffectInput) => tapBoth(effect, first)\n  }\n\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) => tapBothResult(result, second))\n  }\n\n  return tapBothResult(asResult(first), second)\n}\n\n/** Observe a successful value asynchronously without changing the Result. */\nexport function tapAsync(fn: (value: any) => PromiseLike<void>): TapAsyncOperation\nexport function tapAsync<Input>(\n  effect: Input & AnyEffectInput,\n  fn: (value: EffectSuccess<Input>) => PromiseLike<void>\n): Promise<TappedResult<Input>>\nexport function tapAsync(first: CombinatorInput, second?: CombinatorCallback): any {\n  if (first instanceof Function && second === undefined) {\n    const callback = first\n    return (effect: AnyEffectInput) => tapAsync(effect, callback)\n  }\n\n  if (second === undefined) {\n    throw new TypeError('Effect.tapAsync requires a callback')\n  }\n\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) => tapAsyncResult(asResult(result), second))\n  }\n\n  return tapAsyncResult(asResult(first), second)\n}\n\n/** Observe an error value asynchronously without changing the Result. */\nexport function tapErrorAsync(fn: (error: any) => PromiseLike<void>): TapErrorAsyncOperation\nexport function tapErrorAsync<Input>(\n  effect: Input & AnyEffectInput,\n  fn: (error: EffectError<Input>) => PromiseLike<void>\n): Promise<TappedResult<Input>>\nexport function tapErrorAsync(first: CombinatorInput, second?: CombinatorCallback): any {\n  if (first instanceof Function && second === undefined) {\n    const callback = first\n    return (effect: AnyEffectInput) => tapErrorAsync(effect, callback)\n  }\n\n  if (second === undefined) {\n    throw new TypeError('Effect.tapErrorAsync requires a callback')\n  }\n\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) => tapErrorAsyncResult(asResult(result), second))\n  }\n\n  return tapErrorAsyncResult(asResult(first), second)\n}\n\n/** Observe the active Result branch asynchronously without changing the Result. */\nexport function tapBothAsync(handlers: {\n  ok: (value: any) => PromiseLike<void>\n  err: (error: any) => PromiseLike<void>\n}): TapBothAsyncOperation\nexport function tapBothAsync<Input>(\n  effect: Input & AnyEffectInput,\n  handlers: {\n    ok: (value: EffectSuccess<Input>) => PromiseLike<void>\n    err: (error: EffectError<Input>) => PromiseLike<void>\n  }\n): Promise<TappedResult<Input>>\nexport function tapBothAsync(first: any, second?: any): any {\n  if (second === undefined) {\n    return (effect: AnyEffectInput) => tapBothAsync(effect, first)\n  }\n\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) => tapBothAsyncResult(result, second))\n  }\n\n  return tapBothAsyncResult(asResult(first), second)\n}\n\n/** Match every tagged error variant and map it to a new error value. */\nexport function matchError<Input, Handlers extends TaggedErrorHandlersFor<Input>>(\n  effect: Input & AnyEffectInput,\n  handlers: Handlers\n): PreserveAsync<Input, MatchErrorResult<Input, Handlers>>\n// oxlint-disable-next-line anti-slop/no-unknown-parameters -- overload implementation is narrowed by the typed public signature.\nexport function matchError(first: AnyEffectInput, second?: unknown): any {\n  if (second === undefined) {\n    throw new TypeError('Effect.matchError requires handlers')\n  }\n\n  // SAFETY: The public matcher overload checks the handler map against the source tagged-error union.\n  const handlers = second as TaggedErrorHandlers<TaggedErrorLike>\n\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) =>\n      matchErrorResult(asTaggedResult(asResult(result)), handlers)\n    )\n  }\n\n  return matchErrorResult(asTaggedResult(asResult(first)), handlers)\n}\n\n/** Match selected tagged errors and retain unhandled variants unchanged. */\nexport function matchErrorPartial<Input, Handlers extends Partial<TaggedErrorHandlersFor<Input>>>(\n  effect: Input & AnyEffectInput,\n  handlers: Handlers\n): PreserveAsync<Input, MatchErrorPartialResult<Input, Handlers>>\n// oxlint-disable-next-line anti-slop/no-unknown-parameters -- overload implementation is narrowed by the typed public signature.\nexport function matchErrorPartial(first: AnyEffectInput, second?: unknown): any {\n  if (second === undefined) {\n    throw new TypeError('Effect.matchErrorPartial requires handlers')\n  }\n\n  // SAFETY: The public matcher overload checks the handler map against the source tagged-error union.\n  const handlers = second as Partial<TaggedErrorHandlers<TaggedErrorLike>>\n\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) =>\n      matchErrorPartialResult(asTaggedResult(asResult(result)), handlers)\n    )\n  }\n\n  return matchErrorPartialResult(asTaggedResult(asResult(first)), handlers)\n}\n\n/** Recover an Err with a synchronous Result-producing callback. */\nexport function recover<Next extends AnyEffectValue>(\n  fn: (error: any) => Next\n): RecoverOperation<Next>\nexport function recover<Input, Next extends AnyEffectValue>(\n  effect: Input & AnyEffectInput,\n  fn: (error: EffectError<Input>) => Next\n): PreserveAsync<Input, RecoveredResult<Input, Next>>\nexport function recover(first: CombinatorInput, second?: CombinatorCallback): any {\n  if (first instanceof Function && second === undefined) {\n    const callback = first\n    return (effect: AnyEffectInput) => recover(effect, callback)\n  }\n\n  if (second === undefined) {\n    throw new TypeError('Effect.recover requires a callback')\n  }\n\n  const fn = second\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) => recoverResult(asResult(result), fn))\n  }\n\n  return recoverResult(asResult(first), fn)\n}\n\n/** Recover an Err with an asynchronous Result-producing callback. */\nexport function recoverAsync<Next extends AnyAsyncEffectInput>(\n  fn: (error: any) => Next\n): RecoverAsyncOperation<Next>\nexport function recoverAsync<Input, Next extends AnyAsyncEffectInput>(\n  effect: Input & AnyEffectInput,\n  fn: (error: EffectError<Input>) => Next\n): Promise<RecoveredResult<Input, Next>>\nexport function recoverAsync(first: CombinatorInput, second?: CombinatorCallback): any {\n  if (first instanceof Function && second === undefined) {\n    const callback = first\n    return (effect: AnyEffectInput) => recoverAsync(effect, callback)\n  }\n\n  if (second === undefined) {\n    throw new TypeError('Effect.recoverAsync requires a callback')\n  }\n\n  const fn = second\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) => recoverAsyncResult(asResult(result), fn))\n  }\n\n  return recoverAsyncResult(asResult(first), fn)\n}\n\n/** Remove one nested Result/Effect layer. */\nexport function flatten<Input>(effect: Input & AnyEffectValue): FlattenedResult<Input> {\n  // SAFETY: flattenResult restores the nested Effect channels after Result.flatten removes one runtime layer.\n  return flattenResult(asResult(effect)) as FlattenedResult<Input>\n}\n\n/** Replace a successful value while preserving errors and requirements. */\nexport function as<Value>(\n  value: Value\n): <Input>(effect: Input & AnyEffectValue) => AsResult<Input, Value>\nexport function as<Input, Value>(\n  effect: Input & AnyEffectValue,\n  value: Value\n): AsResult<Input, Value>\nexport function as(first: any, second?: any): any {\n  if (arguments.length < 2) {\n    return (effect: AnyEffectValue) => as(effect, first)\n  }\n\n  return mapResult(asResult(first), () => second)\n}\n\n/** Replace a successful value with void. */\nexport function asVoid<Input>(effect: Input & AnyEffectValue): AsResult<Input, void> {\n  return mapResult(asResult(effect), () => undefined)\n}\n\n/** Match an Effect and return branch Effects with their channels unioned. */\nexport function match<Input, OkResult extends AnyEffectValue, ErrResult extends AnyEffectValue>(\n  effect: Input & AnyEffectValue,\n  handlers: {\n    ok: (value: EffectSuccess<Input>) => OkResult\n    err: (error: EffectError<Input>) => ErrResult\n  }\n): PreserveAsync<Input, MatchedResult<Input, OkResult, ErrResult>>\nexport function match<Input, OkValue, ErrValue>(\n  effect: Input & AnyEffectValue,\n  handlers: {\n    ok: (value: EffectSuccess<Input>) => OkValue\n    err: (error: EffectError<Input>) => ErrValue\n  }\n): PreserveAsync<Input, OkValue | ErrValue>\nexport function match(first: AnyEffectInput, second?: any): any {\n  if (isPromiseLike(first)) {\n    return Promise.resolve(first).then((result) => match(asResult(result), second))\n  }\n\n  return matchResult(asResult(first), second)\n}\n\n/** Collect already-created Effects in input order. */\nexport function all<const Results extends readonly AnyEffectValue[]>(\n  results: Results\n): AllResult<Results> {\n  return allResult(results)\n}\n\n/** Combine two already-created Effects in input order. */\nexport function zip<Left, Right>(\n  left: Left & AnyEffectValue,\n  right: Right & AnyEffectValue\n): ZipResult<Left, Right> {\n  // SAFETY: Result.all returns the ordered pair; ZipResult restores only the declaration-only Effect channels.\n  return Result.all([left, right]) as ZipResult<Left, Right>\n}\n","import { Result } from 'better-result'\n\nimport type { Result as ResultType } from 'better-result'\n\nimport type { AnyService } from '../service'\nimport { isPromiseLike } from '../utils/runtime'\n\nimport type { EffectError, EffectRequirements, EffectSuccess, Program } from './types'\n\ntype AnyResult = ResultType<any, any>\ntype RuntimeEffect = AnyResult | PromiseLike<AnyResult>\ntype RuntimeProgram = () => RuntimeEffect\ntype RuntimeProgramOutput = RuntimeEffect | RuntimeProgram\ntype RuntimeCallback = (value: any) => any\ntype RuntimeContinuation = (value: any) => RuntimeProgramOutput\ntype AnyProgram = Program<any, any, AnyService>\n\ntype ProgramInput<Input extends RuntimeProgram> = Input &\n  Program<EffectSuccess<Input>, EffectError<Input>, EffectRequirements<Input>>\n\ntype CompatibleSuccess<Input, A> = EffectSuccess<Input> extends A ? unknown : never\ntype CompatibleError<Input, E> = EffectError<Input> extends E ? unknown : never\n\ntype ProgramOutput<Output> =\n  Output extends Program<infer _Success, infer _Error, infer _Requirements extends AnyService>\n    ? Output\n    : Output extends PromiseLike<infer AsyncOutput>\n      ? AsyncOutput extends ResultType<infer _Success, infer _Error>\n        ? Output\n        : never\n      : Output extends ResultType<infer _Success, infer _Error>\n        ? Output\n        : never\n\ntype MappedProgram<Input, B> = Program<B, EffectError<Input>, EffectRequirements<Input>>\n\ntype ErrorMappedProgram<Input, E2> = Program<EffectSuccess<Input>, E2, EffectRequirements<Input>>\n\ntype ChainedProgram<Input, Next> = Program<\n  EffectSuccess<Next>,\n  EffectError<Input> | EffectError<Next>,\n  EffectRequirements<Input> | EffectRequirements<Next>\n>\n\ntype TappedProgram<Input> = Program<\n  EffectSuccess<Input>,\n  EffectError<Input>,\n  EffectRequirements<Input>\n>\n\ntype RecoveredProgram<Input, Next> = Program<\n  EffectSuccess<Input> | EffectSuccess<Next>,\n  EffectError<Next>,\n  EffectRequirements<Input> | EffectRequirements<Next>\n>\n\ntype MapOperation<A, B> = {\n  <Input extends RuntimeProgram>(\n    program: ProgramInput<Input> & CompatibleSuccess<Input, A>\n  ): MappedProgram<Input, B>\n}\n\ntype MapErrorOperation<E1, E2> = {\n  <Input extends RuntimeProgram>(\n    program: ProgramInput<Input> & CompatibleError<Input, E1>\n  ): ErrorMappedProgram<Input, E2>\n}\n\ntype AndThenOperation<A, Next> = {\n  <Input extends RuntimeProgram>(\n    program: ProgramInput<Input> & CompatibleSuccess<Input, A>\n  ): ChainedProgram<Input, Next>\n}\n\ntype TapOperation<A> = {\n  <Input extends RuntimeProgram>(\n    program: ProgramInput<Input> & CompatibleSuccess<Input, A>\n  ): TappedProgram<Input>\n}\n\ntype TapErrorOperation<E> = {\n  <Input extends RuntimeProgram>(\n    program: ProgramInput<Input> & CompatibleError<Input, E>\n  ): TappedProgram<Input>\n}\n\ntype RecoverOperation<E, Next> = {\n  <Input extends RuntimeProgram>(\n    program: ProgramInput<Input> & CompatibleError<Input, E>\n  ): RecoveredProgram<Input, Next>\n}\n\nconst asProgram = <Output extends AnyProgram>(program: RuntimeProgram): Output =>\n  // SAFETY: Program's channels and nominal marker are declaration-only; callers derive them from typed inputs.\n  program as Output\n\nconst isAsyncEffect = (effect: RuntimeEffect): effect is PromiseLike<AnyResult> =>\n  isPromiseLike(effect)\n\nconst mapRuntime = (effect: RuntimeEffect, fn: RuntimeCallback): RuntimeEffect => {\n  if (isAsyncEffect(effect)) {\n    return Promise.resolve(effect).then((result) => Result.map(result, fn))\n  }\n\n  return Result.map(effect, fn)\n}\n\nconst mapErrorRuntime = (effect: RuntimeEffect, fn: RuntimeCallback): RuntimeEffect => {\n  if (isAsyncEffect(effect)) {\n    return Promise.resolve(effect).then((result) => Result.mapError(result, fn))\n  }\n\n  return Result.mapError(effect, fn)\n}\n\nconst tapRuntime = (effect: RuntimeEffect, fn: RuntimeCallback): RuntimeEffect => {\n  if (isAsyncEffect(effect)) {\n    return Promise.resolve(effect).then((result) => Result.tap(result, fn))\n  }\n\n  return Result.tap(effect, fn)\n}\n\nconst tapErrorRuntime = (effect: RuntimeEffect, fn: RuntimeCallback): RuntimeEffect => {\n  if (isAsyncEffect(effect)) {\n    return Promise.resolve(effect).then((result) => Result.tapError(result, fn))\n  }\n\n  return Result.tapError(effect, fn)\n}\n\nconst invoke = (output: RuntimeProgramOutput): RuntimeEffect =>\n  output instanceof Function ? output() : output\n\nconst andThenRuntime = (effect: RuntimeEffect, next: RuntimeContinuation): Promise<AnyResult> => {\n  const continueWith = (value: any) => Promise.resolve(invoke(next(value)))\n\n  if (isAsyncEffect(effect)) {\n    return Promise.resolve(effect).then((result) => Result.andThenAsync(result, continueWith))\n  }\n\n  return Result.andThenAsync(effect, continueWith)\n}\n\nconst recoverRuntime = (\n  effect: RuntimeEffect,\n  recover: RuntimeContinuation\n): Promise<AnyResult> => {\n  const continueWith = (error: any) => Promise.resolve(invoke(recover(error)))\n\n  if (isAsyncEffect(effect)) {\n    return Promise.resolve(effect).then((result) => Result.tryRecoverAsync(result, continueWith))\n  }\n\n  return Result.tryRecoverAsync(effect, continueWith)\n}\n\nconst mapProgram = <Input extends RuntimeProgram, B>(\n  program: ProgramInput<Input>,\n  fn: (value: EffectSuccess<Input>) => B\n): MappedProgram<Input, B> => asProgram<MappedProgram<Input, B>>(() => mapRuntime(program(), fn))\n\nconst mapErrorProgram = <Input extends RuntimeProgram, E2>(\n  program: ProgramInput<Input>,\n  fn: (error: EffectError<Input>) => E2\n): ErrorMappedProgram<Input, E2> =>\n  asProgram<ErrorMappedProgram<Input, E2>>(() => mapErrorRuntime(program(), fn))\n\nconst tapProgram = <Input extends RuntimeProgram>(\n  program: ProgramInput<Input>,\n  fn: (value: EffectSuccess<Input>) => any\n): TappedProgram<Input> => asProgram<TappedProgram<Input>>(() => tapRuntime(program(), fn))\n\nconst tapErrorProgram = <Input extends RuntimeProgram>(\n  program: ProgramInput<Input>,\n  fn: (error: EffectError<Input>) => any\n): TappedProgram<Input> => asProgram<TappedProgram<Input>>(() => tapErrorRuntime(program(), fn))\n\n/** Lazily map the successful Result value of a Program. */\nexport function map<A, B>(fn: (value: A) => B): MapOperation<A, B>\nexport function map<Input extends RuntimeProgram, B>(\n  program: ProgramInput<Input>,\n  fn: (value: EffectSuccess<Input>) => B\n): MappedProgram<Input, B>\nexport function map(first: RuntimeProgram | RuntimeCallback, second?: RuntimeCallback): any {\n  if (second === undefined) {\n    return (program: RuntimeProgram) => {\n      // SAFETY: The curried overload supplies a Program and a callback that accepts its success channel.\n      return mapProgram(program as ProgramInput<typeof program>, first)\n    }\n  }\n\n  // SAFETY: The data-first overload supplies a Program as its first argument.\n  return mapProgram(first as ProgramInput<RuntimeProgram>, second)\n}\n\n/** Lazily map the error Result value of a Program. */\nexport function mapError<E1, E2>(fn: (error: E1) => E2): MapErrorOperation<E1, E2>\nexport function mapError<Input extends RuntimeProgram, E2>(\n  program: ProgramInput<Input>,\n  fn: (error: EffectError<Input>) => E2\n): ErrorMappedProgram<Input, E2>\nexport function mapError(first: RuntimeProgram | RuntimeCallback, second?: RuntimeCallback): any {\n  if (second === undefined) {\n    return (program: RuntimeProgram) => {\n      // SAFETY: The curried overload supplies a Program and a callback that accepts its error channel.\n      return mapErrorProgram(program as ProgramInput<typeof program>, first)\n    }\n  }\n\n  // SAFETY: The data-first overload supplies a Program as its first argument.\n  return mapErrorProgram(first as ProgramInput<RuntimeProgram>, second)\n}\n\n/** Lazily continue a successful Program with an Effect or Program. */\nexport function andThen<A, Next>(\n  next: (value: A) => Next & ProgramOutput<Next>\n): AndThenOperation<A, Next>\nexport function andThen<Input extends RuntimeProgram, Next>(\n  program: ProgramInput<Input>,\n  next: (value: EffectSuccess<Input>) => Next & ProgramOutput<Next>\n): ChainedProgram<Input, Next>\nexport function andThen(\n  first: RuntimeProgram | RuntimeContinuation,\n  second?: RuntimeContinuation\n): any {\n  if (second === undefined) {\n    return (program: RuntimeProgram) =>\n      // SAFETY: The curried overload supplies a Program and a continuation for its success channel.\n      () =>\n        andThenRuntime(program(), first as RuntimeContinuation)\n  }\n\n  // SAFETY: The data-first overload supplies a Program as its first argument.\n  return () => andThenRuntime((first as RuntimeProgram)(), second)\n}\n\n/** Lazily observe a successful Program value without changing its Result. */\nexport function tap<A>(fn: (value: A) => void): TapOperation<A>\nexport function tap<Input extends RuntimeProgram>(\n  program: ProgramInput<Input>,\n  fn: (value: EffectSuccess<Input>) => void\n): TappedProgram<Input>\nexport function tap(first: RuntimeProgram | RuntimeCallback, second?: RuntimeCallback): any {\n  if (second === undefined) {\n    return (program: RuntimeProgram) => {\n      // SAFETY: The curried overload supplies a Program and a callback that accepts its success channel.\n      return tapProgram(program as ProgramInput<typeof program>, first)\n    }\n  }\n\n  // SAFETY: The data-first overload supplies a Program as its first argument.\n  return tapProgram(first as ProgramInput<RuntimeProgram>, second)\n}\n\n/** Lazily observe a failed Program value without changing its Result. */\nexport function tapError<E>(fn: (error: E) => void): TapErrorOperation<E>\nexport function tapError<Input extends RuntimeProgram>(\n  program: ProgramInput<Input>,\n  fn: (error: EffectError<Input>) => void\n): TappedProgram<Input>\nexport function tapError(first: RuntimeProgram | RuntimeCallback, second?: RuntimeCallback): any {\n  if (second === undefined) {\n    return (program: RuntimeProgram) => {\n      // SAFETY: The curried overload supplies a Program and a callback that accepts its error channel.\n      return tapErrorProgram(program as ProgramInput<typeof program>, first)\n    }\n  }\n\n  // SAFETY: The data-first overload supplies a Program as its first argument.\n  return tapErrorProgram(first as ProgramInput<RuntimeProgram>, second)\n}\n\n/** Lazily recover a failed Program with an Effect or Program. */\nexport function recover<E, Next>(\n  fn: (error: E) => Next & ProgramOutput<Next>\n): RecoverOperation<E, Next>\nexport function recover<Input extends RuntimeProgram, Next>(\n  program: ProgramInput<Input>,\n  recover: (error: EffectError<Input>) => Next & ProgramOutput<Next>\n): RecoveredProgram<Input, Next>\nexport function recover(\n  first: RuntimeProgram | RuntimeContinuation,\n  second?: RuntimeContinuation\n): any {\n  if (second === undefined) {\n    return (program: RuntimeProgram) =>\n      // SAFETY: The curried overload supplies a Program and a recovery callback for its error channel.\n      () =>\n        recoverRuntime(program(), first as RuntimeContinuation)\n  }\n\n  // SAFETY: The data-first overload supplies a Program as its first argument.\n  return () => recoverRuntime((first as RuntimeProgram)(), second)\n}\n","import { Err } from 'better-result'\n\nimport type { Result as ResultType } from 'better-result'\n\ntype AnyResult = ResultType<any, any>\n\ntype ProgramCollectionFailure =\n  | { readonly kind: 'result'; readonly result: AnyResult }\n  | { readonly kind: 'defect'; readonly cause: unknown }\n\ntype ProgramCollectionDefect = { readonly cause: unknown }\n\ntype ProgramCollectionOutcome = {\n  readonly results: Array<AnyResult | undefined>\n  readonly defects: Array<ProgramCollectionDefect | undefined>\n}\n\nexport type ProgramCollectionOptions = {\n  readonly concurrency: number | undefined\n  readonly stopOnResultError: boolean\n}\n\ntype ProgramTask = (index: number) => AnyResult | PromiseLike<AnyResult>\n\ntype SchedulerState = {\n  nextIndex: number\n  stopScheduling: boolean\n  readonly results: Array<AnyResult | undefined>\n  readonly defects: Array<ProgramCollectionDefect | undefined>\n}\n\n/** Validate the shared bounded-concurrency option before a Program is run. */\nexport const validateProgramConcurrency = (concurrency: number | undefined): void => {\n  if (\n    concurrency !== undefined &&\n    (!Number.isFinite(concurrency) || !Number.isInteger(concurrency) || concurrency <= 0)\n  ) {\n    throw new RangeError('Program.all concurrency must be a positive integer')\n  }\n}\n\nconst runWorker = async (\n  length: number,\n  task: ProgramTask,\n  stopOnResultError: boolean,\n  state: SchedulerState\n): Promise<void> => {\n  while (!state.stopScheduling) {\n    const index = state.nextIndex++\n\n    if (index >= length) {\n      return\n    }\n\n    try {\n      const result = await task(index)\n      state.results[index] = result\n\n      if (result instanceof Err) {\n        state.stopScheduling ||= stopOnResultError\n      }\n    } catch (cause) {\n      state.defects[index] = { cause }\n      state.stopScheduling = true\n    }\n  }\n}\n\n/** Run claimed Programs with a shared FIFO worker pool and no cancellation. */\nexport const runProgramCollection = async (\n  length: number,\n  task: ProgramTask,\n  options: ProgramCollectionOptions\n): Promise<ProgramCollectionOutcome> => {\n  const state: SchedulerState = {\n    nextIndex: 0,\n    stopScheduling: false,\n    results: Array.from({ length }),\n    defects: Array.from({ length })\n  }\n  const workerCount = Math.min(options.concurrency ?? length, length)\n  const workers = Array.from({ length: workerCount }, () =>\n    runWorker(length, task, options.stopOnResultError, state)\n  )\n\n  await Promise.all(workers)\n\n  return state\n}\n\n/** Select the first defect by input index, independent of settlement order. */\nexport const firstProgramDefect = (\n  defects: readonly (ProgramCollectionDefect | undefined)[]\n): ProgramCollectionDefect | undefined => {\n  for (const defect of defects) {\n    if (defect !== undefined) {\n      return defect\n    }\n  }\n\n  return undefined\n}\n\n/** Select the first short-circuiting failure by input index. */\nexport const firstProgramFailure = (\n  results: readonly (AnyResult | undefined)[],\n  defects: readonly (ProgramCollectionDefect | undefined)[]\n): ProgramCollectionFailure | undefined => {\n  const length = Math.max(results.length, defects.length)\n\n  for (let index = 0; index < length; index++) {\n    const defect = defects[index]\n    if (defect !== undefined) {\n      return { kind: 'defect', cause: defect.cause }\n    }\n\n    const result = results[index]\n    if (result instanceof Err) {\n      return { kind: 'result', result }\n    }\n  }\n\n  return undefined\n}\n","import { Result } from 'better-result'\n\nimport type { Err, Result as ResultType, UnhandledException } from 'better-result'\n\nimport { Scope } from '../scope'\n\nimport type { DisposableResource, MaybePromise, ScopeOutcome } from '../scope'\nimport type { AnyService } from '../service'\n\nimport type {\n  AnyEffect,\n  Effect as EffectType,\n  EffectError,\n  EffectFromGenerator,\n  EffectRequirements,\n  EffectSuccess,\n  EffectYield,\n  Program as ProgramType,\n  ProgramFromGenerator\n} from './types'\n\nimport {\n  all,\n  andThen,\n  andThenAsync,\n  as,\n  asVoid,\n  flatten,\n  map,\n  mapError,\n  match,\n  matchError,\n  matchErrorPartial,\n  recover,\n  recoverAsync,\n  tap,\n  tapAsync,\n  tapBoth,\n  tapBothAsync,\n  tapError,\n  tapErrorAsync,\n  zip\n} from './combinators'\nimport {\n  andThen as programAndThen,\n  map as programMap,\n  mapError as programMapError,\n  recover as programRecover,\n  tap as programTap,\n  tapError as programTapError\n} from './program-combinators'\nimport {\n  firstProgramDefect,\n  firstProgramFailure,\n  runProgramCollection,\n  validateProgramConcurrency\n} from './program-scheduler'\n\nexport type Effect<A, E, R extends AnyService = never> = EffectType<A, E, R>\n\ntype LazyProgram<A, E, R extends AnyService = never> = ProgramType<A, E, R>\n\n/** A nominal lazy computation that produces an Effect when invoked. */\nexport type Program<A, E, R extends AnyService = never> = LazyProgram<A, E, R>\n\ntype AnyResult = ResultType<any, any>\n\ntype AnyProgram = ProgramType<any, any, AnyService>\n\ntype ProgramAllSuccess<Programs extends readonly AnyProgram[]> = {\n  -readonly [Index in keyof Programs]: EffectSuccess<Programs[Index]>\n}\n\ntype ProgramAllError<Programs extends readonly AnyProgram[]> = EffectError<Programs[number]>\n\ntype ProgramAllRequirements<Programs extends readonly AnyProgram[]> = EffectRequirements<\n  Programs[number]\n>\n\ntype ProgramAllResult<Programs extends readonly AnyProgram[]> = ProgramType<\n  ProgramAllSuccess<Programs>,\n  ProgramAllError<Programs>,\n  ProgramAllRequirements<Programs>\n>\n\ntype ProgramResultFor<Child> = Child extends AnyProgram\n  ? ResultType<EffectSuccess<Child>, EffectError<Child>>\n  : never\n\ntype ProgramAllResultsSuccess<Programs extends readonly AnyProgram[]> =\n  number extends Programs['length']\n    ? ReadonlyArray<ResultType<EffectSuccess<Programs[number]>, EffectError<Programs[number]>>>\n    : { readonly [Index in keyof Programs]: ProgramResultFor<Programs[Index]> }\n\ntype ProgramAllResultsResult<Programs extends readonly AnyProgram[]> = ProgramType<\n  ProgramAllResultsSuccess<Programs>,\n  never,\n  ProgramAllRequirements<Programs>\n>\n\ntype ProgramForEachResult<Child extends AnyProgram> = ProgramType<\n  ReadonlyArray<EffectSuccess<Child>>,\n  EffectError<Child>,\n  EffectRequirements<Child>\n>\n\nexport type ProgramAllOptions = {\n  readonly concurrency?: number\n}\n\ntype EffectGenerator =\n  | (() => Generator<EffectYield, AnyResult, unknown>)\n  | (() => AsyncGenerator<EffectYield, AnyResult, unknown>)\n\ntype RuntimeResultGenerator = (body: EffectGenerator) => AnyResult | Promise<AnyResult>\n\n// SAFETY: Service iterators yield no runtime markers, so Result.gen receives only the Err values that exist at runtime.\nconst runResultGenerator = Result.gen as RuntimeResultGenerator\n\n/**\n * Compose `better-result` operations while preserving Service requirements in\n * a declaration-only type channel.\n *\n * A generator may yield Service tokens and Result operations. It must return a\n * `Result` as its final value; Service yields are resolved by the active\n * Runtime and do not add runtime values to the Result stream.\n * Use `fn` when generator execution should wait for a Runtime boundary.\n *\n * @example\n * ```ts\n * const loadUser = Effect.gen(async function* () {\n *   const database = yield* Database\n *   const user = yield* Result.await(database.findUser('u1'))\n *\n *   return Result.ok(user)\n * })\n * ```\n */\nexport function gen<Yield extends EffectYield, Returned extends AnyResult>(\n  body: () => Generator<Yield, Returned, unknown>\n): EffectFromGenerator<Yield, Returned>\n\nexport function gen<Yield extends EffectYield, Returned extends AnyResult>(\n  body: () => AsyncGenerator<Yield, Returned, unknown>\n): Promise<EffectFromGenerator<Yield, Returned>>\n\nexport function gen(body: EffectGenerator): AnyResult | Promise<AnyResult> {\n  return runResultGenerator(body)\n}\n\n/** Build a lazy Program without running its generator. */\nexport function fn<Yield extends EffectYield, Returned extends AnyResult>(\n  body: () => Generator<Yield, Returned, unknown>\n): ProgramFromGenerator<Yield, Returned>\n\nexport function fn<Yield extends EffectYield, Returned extends AnyResult>(\n  body: () => AsyncGenerator<Yield, Returned, unknown>\n): ProgramFromGenerator<Yield, Returned>\n\nexport function fn(body: EffectGenerator): Program<any, any, AnyService> {\n  const program = () => runResultGenerator(body)\n\n  // SAFETY: The generator overloads derive the Program channels; this cast only adds the declaration-only nominal marker.\n  return program as Program<any, any, AnyService>\n}\n\nconst runShortCircuitingCollection = async (\n  length: number,\n  task: (index: number) => AnyResult | PromiseLike<AnyResult>,\n  concurrency: number | undefined\n): Promise<AnyResult> => {\n  const outcome = await runProgramCollection(length, task, {\n    concurrency,\n    stopOnResultError: true\n  })\n  const failure = firstProgramFailure(outcome.results, outcome.defects)\n\n  if (failure?.kind === 'defect') {\n    throw failure.cause\n  }\n\n  if (failure?.kind === 'result') {\n    return failure.result\n  }\n\n  // SAFETY: The scheduler records one Result per claimed index before completing successfully.\n  return Result.all(outcome.results as AnyResult[])\n}\n\nconst runAllResultsCollection = async (\n  length: number,\n  task: (index: number) => AnyResult | PromiseLike<AnyResult>,\n  concurrency: number | undefined\n): Promise<AnyResult> => {\n  const outcome = await runProgramCollection(length, task, {\n    concurrency,\n    stopOnResultError: false\n  })\n  const defect = firstProgramDefect(outcome.defects)\n\n  if (defect !== undefined) {\n    throw defect.cause\n  }\n\n  // SAFETY: The scheduler records each Result object at its input index.\n  return Result.ok(outcome.results as AnyResult[])\n}\n\n/** Build a lazy Program collection with optional bounded concurrency. */\nexport function programAll<const Programs extends readonly AnyProgram[]>(\n  programs: Programs,\n  options: ProgramAllOptions = {}\n): ProgramAllResult<Programs> {\n  const concurrency = options.concurrency\n  validateProgramConcurrency(concurrency)\n  const program = () =>\n    runShortCircuitingCollection(programs.length, (index) => programs[index]!(), concurrency)\n\n  // SAFETY: Program channels are declaration-only and are restored from the input tuple here.\n  return program as ProgramAllResult<Programs>\n}\n\n/** Build a lazy Program collection from an input array and Program factory. */\nexport function programForEach<const Items extends readonly unknown[], Child extends AnyProgram>(\n  items: Items,\n  makeProgram: (item: Items[number], index: number) => Child,\n  options: ProgramAllOptions = {}\n): ProgramForEachResult<Child> {\n  const concurrency = options.concurrency\n  validateProgramConcurrency(concurrency)\n  const program = () =>\n    runShortCircuitingCollection(\n      items.length,\n      (index) => makeProgram(items[index]!, index)(),\n      concurrency\n    )\n\n  // SAFETY: Program channels are declaration-only and are restored from the factory's result type.\n  return program as ProgramForEachResult<Child>\n}\n\n/** Build a lazy Program collection that retains every child Result. */\nexport function programAllResults<const Programs extends readonly AnyProgram[]>(\n  programs: Programs,\n  options: ProgramAllOptions = {}\n): ProgramAllResultsResult<Programs> {\n  const concurrency = options.concurrency\n  validateProgramConcurrency(concurrency)\n  const program = () =>\n    runAllResultsCollection(programs.length, (index) => programs[index]!(), concurrency)\n\n  // SAFETY: Program channels are declaration-only and are restored from the input tuple here.\n  return program as ProgramAllResultsResult<Programs>\n}\n\n/** Value-level namespace for lazy Program combinators. */\nexport const Program = {\n  all: programAll,\n  forEach: programForEach,\n  allResults: programAllResults,\n  map: programMap,\n  mapError: programMapError,\n  andThen: programAndThen,\n  tap: programTap,\n  tapError: programTapError,\n  recover: programRecover\n} as const\n\n/**\n * Acquire a resource in the current Scope and register its release callback.\n *\n * Acquisition failures are represented in the Effect Result error channel;\n * release failures remain owned by Scope cleanup. The release callback\n * receives the final outcome chosen by the enclosing execution boundary.\n *\n * @example\n * ```ts\n * const connection = yield* Effect.acquireRelease(\n *   () => pool.connect(),\n *   (connection, outcome) => connection.close(outcome)\n * )\n * ```\n */\nexport function acquireRelease<R>(\n  acquire: () => MaybePromise<R>,\n  release: (resource: R, outcome: ScopeOutcome) => MaybePromise<void>\n): AsyncGenerator<Err<never, UnhandledException>, R, unknown> {\n  const scope = Scope.current()\n\n  return Result.await(Result.tryPromise(() => scope.acquire(acquire, release)))\n}\n\nclass AcquireReleaseResultFailure<R, E> {\n  constructor(readonly result: Err<R, E>) {}\n}\n\n/**\n * Acquire a Result-valued resource and register only successful acquisitions.\n *\n * Typed acquisition failures remain unchanged in the Effect error channel;\n * unexpected acquisition and registration failures are normalized by\n * `better-result`. Release failures remain Scope cleanup failures.\n */\nexport function acquireReleaseResult<R, E>(\n  acquire: () => MaybePromise<ResultType<R, E>>,\n  release: (resource: R, outcome: ScopeOutcome) => MaybePromise<void>\n): AsyncGenerator<Err<never, E | UnhandledException>, R, unknown> {\n  const scope = Scope.current()\n  const registered = Result.tryPromise(async (): Promise<ResultType<R, E>> => {\n    try {\n      const resource = await scope.acquire(async () => {\n        const result = await acquire()\n\n        if (Result.isError(result)) {\n          throw new AcquireReleaseResultFailure(result)\n        }\n\n        return result.value\n      }, release)\n\n      return Result.ok(resource)\n    } catch (cause) {\n      if (cause instanceof AcquireReleaseResultFailure) {\n        return cause.result\n      }\n\n      throw cause\n    }\n  })\n\n  return Result.await(registered.then((result) => result.andThen((acquired) => acquired)))\n}\n\n/**\n * Lazily acquire and register a disposable resource in the current Scope.\n *\n * Disposal is delegated to `Scope.add`, including protocol preference,\n * validation, race-safe registration, and cleanup error handling.\n */\nexport function acquireDisposable<R extends DisposableResource>(\n  acquire: () => MaybePromise<R>\n): AsyncGenerator<Err<never, UnhandledException>, R, unknown> {\n  const scope = Scope.current()\n\n  return Result.await(Result.tryPromise(async () => scope.add(await acquire())))\n}\n\n/**\n * Register an already-acquired disposable resource in the current Scope.\n *\n * The resource is not acquired by this helper. Registration failures are\n * represented in the Effect Result error channel; disposal failures remain\n * owned by Scope cleanup.\n *\n * @example\n * ```ts\n * const file = yield* Effect.add(await openFile('notes.txt'))\n * ```\n */\nexport function add<R extends DisposableResource>(\n  resource: R\n): AsyncGenerator<Err<never, UnhandledException>, R, unknown> {\n  const scope = Scope.current()\n\n  return Result.await(Result.tryPromise(() => scope.add(resource)))\n}\n\n/**\n * Effect namespace containing generator, resource, and Result combinators.\n *\n * Prefer these helpers when a program needs typed Service requirements or\n * Scope-aware acquisition and cleanup.\n */\ntype EffectNamespace = {\n  readonly gen: typeof gen\n  readonly fn: typeof fn\n  readonly acquireRelease: typeof acquireRelease\n  readonly acquireReleaseResult: typeof acquireReleaseResult\n  readonly acquireDisposable: typeof acquireDisposable\n  readonly add: typeof add\n  readonly map: typeof map\n  readonly mapError: typeof mapError\n  readonly andThen: typeof andThen\n  readonly andThenAsync: typeof andThenAsync\n  readonly tap: typeof tap\n  readonly tapAsync: typeof tapAsync\n  readonly tapError: typeof tapError\n  readonly tapErrorAsync: typeof tapErrorAsync\n  readonly tapBoth: typeof tapBoth\n  readonly tapBothAsync: typeof tapBothAsync\n  readonly matchError: typeof matchError\n  readonly matchErrorPartial: typeof matchErrorPartial\n  readonly recover: typeof recover\n  readonly recoverAsync: typeof recoverAsync\n  readonly flatten: typeof flatten\n  readonly as: typeof as\n  readonly asVoid: typeof asVoid\n  readonly match: typeof match\n  readonly all: typeof all\n  readonly zip: typeof zip\n}\n\nexport const Effect: EffectNamespace = {\n  /** Compose a generator-based Effect program. */\n  gen,\n  /** Build a lazy Program from a generator. */\n  fn,\n  /** Acquire and register a resource in the current Scope. */\n  acquireRelease,\n  /** Acquire a Result-valued resource and register successful acquisitions. */\n  acquireReleaseResult,\n  /** Acquire and register a disposable resource in the current Scope. */\n  acquireDisposable,\n  /** Register an already-acquired disposable in the current Scope. */\n  add,\n  /** Map a successful Effect result. */\n  map,\n  /** Map an Effect error. */\n  mapError,\n  /** Chain a synchronous Effect result. */\n  andThen,\n  /** Chain an asynchronous Effect result. */\n  andThenAsync,\n  /** Observe successful values without changing the Result. */\n  tap,\n  /** Observe successful values asynchronously without changing the Result. */\n  tapAsync,\n  /** Observe error values without changing the Result. */\n  tapError,\n  /** Observe error values asynchronously without changing the Result. */\n  tapErrorAsync,\n  /** Observe the active Result branch without changing the Result. */\n  tapBoth,\n  /** Observe the active Result branch asynchronously without changing the Result. */\n  tapBothAsync,\n  /** Match every tagged error variant and map it to a new error value. */\n  matchError,\n  /** Match selected tagged errors and retain unhandled variants. */\n  matchErrorPartial,\n  /** Recover an error with another Effect. */\n  recover,\n  /** Recover an error asynchronously with another Effect. */\n  recoverAsync,\n  /** Remove one nested Effect layer. */\n  flatten,\n  /** Replace a successful value. */\n  as,\n  /** Replace a successful value with void. */\n  asVoid,\n  /** Match either Result branch. */\n  match,\n  /** Collect Effects in input order. */\n  all,\n  /** Zip two Effects in input order. */\n  zip\n} as const\n\n/** Type-level aliases for inspecting Effect result channels and requirements. */\nexport declare namespace Effect {\n  /** A nominal lazy computation that produces an Effect when invoked. */\n  export type Program<A, E, R extends AnyService = never> = LazyProgram<A, E, R>\n\n  /** Extract the success channel from an Effect result or Promise. */\n  export type Success<T> = EffectSuccess<T>\n\n  /** Extract the error channel from an Effect result or Promise. */\n  export type Error<T> = EffectError<T>\n\n  /** Extract the Service requirements from an Effect result or Promise. */\n  export type Requirements<T> = EffectRequirements<T>\n\n  /** An Effect with erased success, error, and requirements. */\n  export type Any = AnyEffect\n}\n"],"mappings":";;;;AAwLA,MAAM,YAAmB,UAAuC;CAE9D,OAAO;AACT;AAEA,MAAM,aACJ,QACA,OAC+B;CAE/B,OAAO,OAAO,IAAI,QAAQ,EAAE;AAC9B;AAEA,MAAM,kBACJ,QACA,OACgC;CAEhC,OAAO,OAAO,SAAS,QAAQ,EAAE;AACnC;AAEA,MAAM,iBAQJ,QACA,SACsD;CAEtD,MAAM,aAAa;CAGnB,OAAO,OAAO,QAAQ,QAAQ,UAAU;AAC1C;AAEA,MAAM,sBAQJ,QACA,SAC+D;CAE/D,MAAM,cAAc,UAAa;EAE/B,OAAO,QAAQ,QAAQ,KAAK,KAAK,CAAC;CACpC;CAGA,OAAO,OAAO,aAAa,QAAQ,UAAU;AAG/C;AAmBA,SAAgBA,MAAI,OAAwB,QAAkC;CAC5E,IAAI,iBAAiB,YAAY,WAAW,KAAA,GAAW;EAErD,MAAM,WAAW;EAEjB,QAAQ,WAA2B;GAEjC,OAAOA,MAAI,QAAiB,QAAiB;EAC/C;CACF;CAGA,MAAM,KAAK;CAEX,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAAW;EAE7C,OAAO,UAAU,QAAgC,EAAE;CACrD,CAAC;CAIH,OAAO,UAAU,OAA+B,EAAE;AACpD;AAgBA,SAAgBC,WAAS,OAAwB,QAAkC;CACjF,IAAI,iBAAiB,YAAY,WAAW,KAAA,GAAW;EAErD,MAAM,WAAW;EAEjB,QAAQ,WAA2B;GAEjC,OAAOA,WAAS,QAAiB,QAAiB;EACpD;CACF;CAGA,MAAM,KAAK;CAEX,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAAW;EAE7C,OAAO,eAAe,QAAgC,EAAE;CAC1D,CAAC;CAIH,OAAO,eAAe,OAA+B,EAAE;AACzD;AAoBA,SAAgBC,UAAQ,OAAwB,QAAkC;CAChF,IAAI,iBAAiB,YAAY,WAAW,KAAA,GAAW;EAErD,MAAM,WAAW;EAEjB,QAAQ,WAA2B;GAEjC,OAAOA,UAAQ,QAAiB,QAAiB;EACnD;CACF;CAMA,OAAO,cAAc,OAA+BC,MAAI;AAC1D;AAoBA,SAAgB,aAAa,OAAwB,QAAkC;CACrF,IAAI,iBAAiB,YAAY,WAAW,KAAA,GAAW;EAErD,MAAM,WAAW;EAEjB,QAAQ,WAA2B;GAEjC,OAAO,aAAa,QAAiB,QAAiB;EACxD;CACF;CAGA,MAAM,OAAO;CAEb,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAAW;EAE7C,OAAO,mBAAmB,QAAgC,IAAI;CAChE,CAAC;CAIH,OAAO,mBAAmB,OAA+B,IAAI;AAC/D;AAEA,MAAM,aACJ,QACA,OAGA,OAAO,IAAI,QAAQ,EAAE;AAEvB,MAAM,kBACJ,QACA,OAGA,OAAO,SAAS,QAAQ,EAAE;AAE5B,MAAM,iBACJ,QACA,aAGA,OAAO,QAAQ,QAAQ,QAAQ;AAEjC,MAAM,kBACJ,QACA,OAGA,OAAO,SAAS,SAAS,UAAU,QAAQ,QAAQ,GAAG,KAAK,CAAC,CAAC;AAI/D,MAAM,uBACJ,QACA,OAGA,OAAO,cAAc,SAAS,UAAU,QAAQ,QAAQ,GAAG,KAAK,CAAC,CAAC;AAIpE,MAAM,sBACJ,QACA,aAGA,OAAO,aAAa,QAAQ;CAC1B,KAAK,UAAU,QAAQ,QAAQ,SAAS,GAAG,KAAK,CAAC;CACjD,MAAM,UAAU,QAAQ,QAAQ,SAAS,IAAI,KAAK,CAAC;AACrD,CAAC;AAEH,MAAM,kBACJ,WACyC;CAEzC,OAAO;AACT;AAEA,MAAM,oBAMJ,QACA,aACqD;CAErD,OAAO,OAAO,SAAS,SAAS,UAAUC,WAAiB,OAAO,QAAQ,CAAC;AAK7E;AAEA,MAAM,2BAMJ,QACA,aAC0F;CAE1F,OAAO,OAAO,SAAS,SAAS,UAAUC,kBAAwB,OAAO,QAAQ,CAAC;AAKpF;AAEA,MAAM,iBAQJ,QACA,OAGA,OAAO,WAAW,QAAQ,EAAE;AAE9B,MAAM,sBAQJ,QACA,OAGA,OAAO,gBAAgB,SAAS,UAAU,QAAQ,QAAQ,GAAG,KAAK,CAAC,CAAC;AAItE,MAAM,iBAOJ,WAGA,OAAO,QAAQ,MAAM;AAEvB,MAAM,eACJ,QACA,aAGA,OAAO,MAAM,QAAQ,QAAiB;AAExC,MAAM,aACJ,YAGA,OAAO,IAAI,OAA0C;AAQvD,SAAgBC,MAAI,OAAwB,QAAkC;CAC5E,IAAI,iBAAiB,YAAY,WAAW,KAAA,GAAW;EACrD,MAAM,WAAW;EACjB,QAAQ,WAA2BA,MAAI,QAAQ,QAAQ;CACzD;CAEA,IAAI,WAAW,KAAA,GACb,MAAM,IAAI,UAAU,gCAAgC;CAGtD,MAAM,KAAK;CACX,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAAW,UAAU,SAAS,MAAM,GAAG,EAAE,CAAC;CAGhF,OAAO,UAAU,SAAS,KAAK,GAAG,EAAE;AACtC;AAQA,SAAgBC,WAAS,OAAwB,QAAkC;CACjF,IAAI,iBAAiB,YAAY,WAAW,KAAA,GAAW;EACrD,MAAM,WAAW;EACjB,QAAQ,WAA2BA,WAAS,QAAQ,QAAQ;CAC9D;CAEA,IAAI,WAAW,KAAA,GACb,MAAM,IAAI,UAAU,qCAAqC;CAG3D,MAAM,KAAK;CACX,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAAW,eAAe,SAAS,MAAM,GAAG,EAAE,CAAC;CAGrF,OAAO,eAAe,SAAS,KAAK,GAAG,EAAE;AAC3C;AAcA,SAAgB,QAAQ,OAAY,QAAmB;CACrD,IAAI,WAAW,KAAA,GACb,QAAQ,WAA2B,QAAQ,QAAQ,KAAK;CAG1D,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAAW,cAAc,QAAQ,MAAM,CAAC;CAG9E,OAAO,cAAc,SAAS,KAAK,GAAG,MAAM;AAC9C;AAQA,SAAgB,SAAS,OAAwB,QAAkC;CACjF,IAAI,iBAAiB,YAAY,WAAW,KAAA,GAAW;EACrD,MAAM,WAAW;EACjB,QAAQ,WAA2B,SAAS,QAAQ,QAAQ;CAC9D;CAEA,IAAI,WAAW,KAAA,GACb,MAAM,IAAI,UAAU,qCAAqC;CAG3D,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAAW,eAAe,SAAS,MAAM,GAAG,MAAM,CAAC;CAGzF,OAAO,eAAe,SAAS,KAAK,GAAG,MAAM;AAC/C;AAQA,SAAgB,cAAc,OAAwB,QAAkC;CACtF,IAAI,iBAAiB,YAAY,WAAW,KAAA,GAAW;EACrD,MAAM,WAAW;EACjB,QAAQ,WAA2B,cAAc,QAAQ,QAAQ;CACnE;CAEA,IAAI,WAAW,KAAA,GACb,MAAM,IAAI,UAAU,0CAA0C;CAGhE,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAAW,oBAAoB,SAAS,MAAM,GAAG,MAAM,CAAC;CAG9F,OAAO,oBAAoB,SAAS,KAAK,GAAG,MAAM;AACpD;AAcA,SAAgB,aAAa,OAAY,QAAmB;CAC1D,IAAI,WAAW,KAAA,GACb,QAAQ,WAA2B,aAAa,QAAQ,KAAK;CAG/D,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAAW,mBAAmB,QAAQ,MAAM,CAAC;CAGnF,OAAO,mBAAmB,SAAS,KAAK,GAAG,MAAM;AACnD;AAQA,SAAgBC,aAAW,OAAuB,QAAuB;CACvE,IAAI,WAAW,KAAA,GACb,MAAM,IAAI,UAAU,qCAAqC;CAI3D,MAAM,WAAW;CAEjB,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAClC,iBAAiB,eAAe,SAAS,MAAM,CAAC,GAAG,QAAQ,CAC7D;CAGF,OAAO,iBAAiB,eAAe,SAAS,KAAK,CAAC,GAAG,QAAQ;AACnE;AAQA,SAAgBC,oBAAkB,OAAuB,QAAuB;CAC9E,IAAI,WAAW,KAAA,GACb,MAAM,IAAI,UAAU,4CAA4C;CAIlE,MAAM,WAAW;CAEjB,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAClC,wBAAwB,eAAe,SAAS,MAAM,CAAC,GAAG,QAAQ,CACpE;CAGF,OAAO,wBAAwB,eAAe,SAAS,KAAK,CAAC,GAAG,QAAQ;AAC1E;AAUA,SAAgBC,UAAQ,OAAwB,QAAkC;CAChF,IAAI,iBAAiB,YAAY,WAAW,KAAA,GAAW;EACrD,MAAM,WAAW;EACjB,QAAQ,WAA2BA,UAAQ,QAAQ,QAAQ;CAC7D;CAEA,IAAI,WAAW,KAAA,GACb,MAAM,IAAI,UAAU,oCAAoC;CAG1D,MAAM,KAAK;CACX,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAAW,cAAc,SAAS,MAAM,GAAG,EAAE,CAAC;CAGpF,OAAO,cAAc,SAAS,KAAK,GAAG,EAAE;AAC1C;AAUA,SAAgB,aAAa,OAAwB,QAAkC;CACrF,IAAI,iBAAiB,YAAY,WAAW,KAAA,GAAW;EACrD,MAAM,WAAW;EACjB,QAAQ,WAA2B,aAAa,QAAQ,QAAQ;CAClE;CAEA,IAAI,WAAW,KAAA,GACb,MAAM,IAAI,UAAU,yCAAyC;CAG/D,MAAM,KAAK;CACX,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAAW,mBAAmB,SAAS,MAAM,GAAG,EAAE,CAAC;CAGzF,OAAO,mBAAmB,SAAS,KAAK,GAAG,EAAE;AAC/C;;AAGA,SAAgB,QAAe,QAAwD;CAErF,OAAO,cAAc,SAAS,MAAM,CAAC;AACvC;AAUA,SAAgB,GAAG,OAAY,QAAmB;CAChD,IAAI,UAAU,SAAS,GACrB,QAAQ,WAA2B,GAAG,QAAQ,KAAK;CAGrD,OAAO,UAAU,SAAS,KAAK,SAAS,MAAM;AAChD;;AAGA,SAAgB,OAAc,QAAuD;CACnF,OAAO,UAAU,SAAS,MAAM,SAAS,KAAA,CAAS;AACpD;AAiBA,SAAgB,MAAM,OAAuB,QAAmB;CAC9D,IAAI,cAAc,KAAK,GACrB,OAAO,QAAQ,QAAQ,KAAK,CAAC,CAAC,MAAM,WAAW,MAAM,SAAS,MAAM,GAAG,MAAM,CAAC;CAGhF,OAAO,YAAY,SAAS,KAAK,GAAG,MAAM;AAC5C;;AAGA,SAAgB,IACd,SACoB;CACpB,OAAO,UAAU,OAAO;AAC1B;;AAGA,SAAgB,IACd,MACA,OACwB;CAExB,OAAO,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC;AACjC;;;AC3vBA,MAAM,aAAwC,YAE5C;AAEF,MAAM,iBAAiB,WACrB,cAAc,MAAM;AAEtB,MAAM,cAAc,QAAuB,OAAuC;CAChF,IAAI,cAAc,MAAM,GACtB,OAAO,QAAQ,QAAQ,MAAM,CAAC,CAAC,MAAM,WAAW,OAAO,IAAI,QAAQ,EAAE,CAAC;CAGxE,OAAO,OAAO,IAAI,QAAQ,EAAE;AAC9B;AAEA,MAAM,mBAAmB,QAAuB,OAAuC;CACrF,IAAI,cAAc,MAAM,GACtB,OAAO,QAAQ,QAAQ,MAAM,CAAC,CAAC,MAAM,WAAW,OAAO,SAAS,QAAQ,EAAE,CAAC;CAG7E,OAAO,OAAO,SAAS,QAAQ,EAAE;AACnC;AAEA,MAAM,cAAc,QAAuB,OAAuC;CAChF,IAAI,cAAc,MAAM,GACtB,OAAO,QAAQ,QAAQ,MAAM,CAAC,CAAC,MAAM,WAAW,OAAO,IAAI,QAAQ,EAAE,CAAC;CAGxE,OAAO,OAAO,IAAI,QAAQ,EAAE;AAC9B;AAEA,MAAM,mBAAmB,QAAuB,OAAuC;CACrF,IAAI,cAAc,MAAM,GACtB,OAAO,QAAQ,QAAQ,MAAM,CAAC,CAAC,MAAM,WAAW,OAAO,SAAS,QAAQ,EAAE,CAAC;CAG7E,OAAO,OAAO,SAAS,QAAQ,EAAE;AACnC;AAEA,MAAM,UAAU,WACd,kBAAkB,WAAW,OAAO,IAAI;AAE1C,MAAM,kBAAkB,QAAuB,SAAkD;CAC/F,MAAM,gBAAgB,UAAe,QAAQ,QAAQ,OAAO,KAAK,KAAK,CAAC,CAAC;CAExE,IAAI,cAAc,MAAM,GACtB,OAAO,QAAQ,QAAQ,MAAM,CAAC,CAAC,MAAM,WAAW,OAAO,aAAa,QAAQ,YAAY,CAAC;CAG3F,OAAO,OAAO,aAAa,QAAQ,YAAY;AACjD;AAEA,MAAM,kBACJ,QACA,YACuB;CACvB,MAAM,gBAAgB,UAAe,QAAQ,QAAQ,OAAO,QAAQ,KAAK,CAAC,CAAC;CAE3E,IAAI,cAAc,MAAM,GACtB,OAAO,QAAQ,QAAQ,MAAM,CAAC,CAAC,MAAM,WAAW,OAAO,gBAAgB,QAAQ,YAAY,CAAC;CAG9F,OAAO,OAAO,gBAAgB,QAAQ,YAAY;AACpD;AAEA,MAAM,cACJ,SACA,OAC4B,gBAAyC,WAAW,QAAQ,GAAG,EAAE,CAAC;AAEhG,MAAM,mBACJ,SACA,OAEA,gBAA+C,gBAAgB,QAAQ,GAAG,EAAE,CAAC;AAE/E,MAAM,cACJ,SACA,OACyB,gBAAsC,WAAW,QAAQ,GAAG,EAAE,CAAC;AAE1F,MAAM,mBACJ,SACA,OACyB,gBAAsC,gBAAgB,QAAQ,GAAG,EAAE,CAAC;AAQ/F,SAAgB,IAAI,OAAyC,QAA+B;CAC1F,IAAI,WAAW,KAAA,GACb,QAAQ,YAA4B;EAElC,OAAO,WAAW,SAAyC,KAAK;CAClE;CAIF,OAAO,WAAW,OAAuC,MAAM;AACjE;AAQA,SAAgB,SAAS,OAAyC,QAA+B;CAC/F,IAAI,WAAW,KAAA,GACb,QAAQ,YAA4B;EAElC,OAAO,gBAAgB,SAAyC,KAAK;CACvE;CAIF,OAAO,gBAAgB,OAAuC,MAAM;AACtE;AAUA,SAAgB,QACd,OACA,QACK;CACL,IAAI,WAAW,KAAA,GACb,QAAQ,kBAGJ,eAAe,QAAQ,GAAG,KAA4B;CAI5D,aAAa,eAAgB,MAAyB,GAAG,MAAM;AACjE;AAQA,SAAgB,IAAI,OAAyC,QAA+B;CAC1F,IAAI,WAAW,KAAA,GACb,QAAQ,YAA4B;EAElC,OAAO,WAAW,SAAyC,KAAK;CAClE;CAIF,OAAO,WAAW,OAAuC,MAAM;AACjE;AAQA,SAAgB,SAAS,OAAyC,QAA+B;CAC/F,IAAI,WAAW,KAAA,GACb,QAAQ,YAA4B;EAElC,OAAO,gBAAgB,SAAyC,KAAK;CACvE;CAIF,OAAO,gBAAgB,OAAuC,MAAM;AACtE;AAUA,SAAgB,QACd,OACA,QACK;CACL,IAAI,WAAW,KAAA,GACb,QAAQ,kBAGJ,eAAe,QAAQ,GAAG,KAA4B;CAI5D,aAAa,eAAgB,MAAyB,GAAG,MAAM;AACjE;;;;ACtQA,MAAa,8BAA8B,gBAA0C;CACnF,IACE,gBAAgB,KAAA,MACf,CAAC,OAAO,SAAS,WAAW,KAAK,CAAC,OAAO,UAAU,WAAW,KAAK,eAAe,IAEnF,MAAM,IAAI,WAAW,oDAAoD;AAE7E;AAEA,MAAM,YAAY,OAChB,QACA,MACA,mBACA,UACkB;CAClB,OAAO,CAAC,MAAM,gBAAgB;EAC5B,MAAM,QAAQ,MAAM;EAEpB,IAAI,SAAS,QACX;EAGF,IAAI;GACF,MAAM,SAAS,MAAM,KAAK,KAAK;GAC/B,MAAM,QAAQ,SAAS;GAEvB,IAAI,kBAAkB,KACpB,MAAM,mBAAmB;EAE7B,SAAS,OAAO;GACd,MAAM,QAAQ,SAAS,EAAE,MAAM;GAC/B,MAAM,iBAAiB;EACzB;CACF;AACF;;AAGA,MAAa,uBAAuB,OAClC,QACA,MACA,YACsC;CACtC,MAAM,QAAwB;EAC5B,WAAW;EACX,gBAAgB;EAChB,SAAS,MAAM,KAAK,EAAE,OAAO,CAAC;EAC9B,SAAS,MAAM,KAAK,EAAE,OAAO,CAAC;CAChC;CACA,MAAM,cAAc,KAAK,IAAI,QAAQ,eAAe,QAAQ,MAAM;CAClE,MAAM,UAAU,MAAM,KAAK,EAAE,QAAQ,YAAY,SAC/C,UAAU,QAAQ,MAAM,QAAQ,mBAAmB,KAAK,CAC1D;CAEA,MAAM,QAAQ,IAAI,OAAO;CAEzB,OAAO;AACT;;AAGA,MAAa,sBACX,YACwC;CACxC,KAAK,MAAM,UAAU,SACnB,IAAI,WAAW,KAAA,GACb,OAAO;AAKb;;AAGA,MAAa,uBACX,SACA,YACyC;CACzC,MAAM,SAAS,KAAK,IAAI,QAAQ,QAAQ,QAAQ,MAAM;CAEtD,KAAK,IAAI,QAAQ,GAAG,QAAQ,QAAQ,SAAS;EAC3C,MAAM,SAAS,QAAQ;EACvB,IAAI,WAAW,KAAA,GACb,OAAO;GAAE,MAAM;GAAU,OAAO,OAAO;EAAM;EAG/C,MAAM,SAAS,QAAQ;EACvB,IAAI,kBAAkB,KACpB,OAAO;GAAE,MAAM;GAAU;EAAO;CAEpC;AAGF;;;ACNA,MAAM,qBAAqB,OAAO;AA6BlC,SAAgB,IAAI,MAAuD;CACzE,OAAO,mBAAmB,IAAI;AAChC;AAWA,SAAgB,GAAG,MAAsD;CACvE,MAAM,gBAAgB,mBAAmB,IAAI;CAG7C,OAAO;AACT;AAEA,MAAM,+BAA+B,OACnC,QACA,MACA,gBACuB;CACvB,MAAM,UAAU,MAAM,qBAAqB,QAAQ,MAAM;EACvD;EACA,mBAAmB;CACrB,CAAC;CACD,MAAM,UAAU,oBAAoB,QAAQ,SAAS,QAAQ,OAAO;CAEpE,IAAI,SAAS,SAAS,UACpB,MAAM,QAAQ;CAGhB,IAAI,SAAS,SAAS,UACpB,OAAO,QAAQ;CAIjB,OAAO,OAAO,IAAI,QAAQ,OAAsB;AAClD;AAEA,MAAM,0BAA0B,OAC9B,QACA,MACA,gBACuB;CACvB,MAAM,UAAU,MAAM,qBAAqB,QAAQ,MAAM;EACvD;EACA,mBAAmB;CACrB,CAAC;CACD,MAAM,SAAS,mBAAmB,QAAQ,OAAO;CAEjD,IAAI,WAAW,KAAA,GACb,MAAM,OAAO;CAIf,OAAO,OAAO,GAAG,QAAQ,OAAsB;AACjD;;AAGA,SAAgB,WACd,UACA,UAA6B,CAAC,GACF;CAC5B,MAAM,cAAc,QAAQ;CAC5B,2BAA2B,WAAW;CACtC,MAAM,gBACJ,6BAA6B,SAAS,SAAS,UAAU,SAAS,MAAM,CAAE,GAAG,WAAW;CAG1F,OAAO;AACT;;AAGA,SAAgB,eACd,OACA,aACA,UAA6B,CAAC,GACD;CAC7B,MAAM,cAAc,QAAQ;CAC5B,2BAA2B,WAAW;CACtC,MAAM,gBACJ,6BACE,MAAM,SACL,UAAU,YAAY,MAAM,QAAS,KAAK,CAAC,CAAC,GAC7C,WACF;CAGF,OAAO;AACT;;AAGA,SAAgB,kBACd,UACA,UAA6B,CAAC,GACK;CACnC,MAAM,cAAc,QAAQ;CAC5B,2BAA2B,WAAW;CACtC,MAAM,gBACJ,wBAAwB,SAAS,SAAS,UAAU,SAAS,MAAM,CAAE,GAAG,WAAW;CAGrF,OAAO;AACT;;AAGA,MAAa,UAAU;CACrB,KAAK;CACL,SAAS;CACT,YAAY;CACPC;CACKC;CACDC;CACJC;CACKC;CACDC;AACX;;;;;;;;;;;;;;;;AAiBA,SAAgB,eACd,SACA,SAC4D;CAC5D,MAAM,QAAQ,MAAM,QAAQ;CAE5B,OAAO,OAAO,MAAM,OAAO,iBAAiB,MAAM,QAAQ,SAAS,OAAO,CAAC,CAAC;AAC9E;AAEA,IAAM,8BAAN,MAAwC;CACjB;CAArB,YAAY,QAA4B;EAAnB,KAAA,SAAA;CAAoB;AAC3C;;;;;;;;AASA,SAAgB,qBACd,SACA,SACgE;CAChE,MAAM,QAAQ,MAAM,QAAQ;CAC5B,MAAM,aAAa,OAAO,WAAW,YAAuC;EAC1E,IAAI;GACF,MAAM,WAAW,MAAM,MAAM,QAAQ,YAAY;IAC/C,MAAM,SAAS,MAAM,QAAQ;IAE7B,IAAI,OAAO,QAAQ,MAAM,GACvB,MAAM,IAAI,4BAA4B,MAAM;IAG9C,OAAO,OAAO;GAChB,GAAG,OAAO;GAEV,OAAO,OAAO,GAAG,QAAQ;EAC3B,SAAS,OAAO;GACd,IAAI,iBAAiB,6BACnB,OAAO,MAAM;GAGf,MAAM;EACR;CACF,CAAC;CAED,OAAO,OAAO,MAAM,WAAW,MAAM,WAAW,OAAO,SAAS,aAAa,QAAQ,CAAC,CAAC;AACzF;;;;;;;AAQA,SAAgB,kBACd,SAC4D;CAC5D,MAAM,QAAQ,MAAM,QAAQ;CAE5B,OAAO,OAAO,MAAM,OAAO,WAAW,YAAY,MAAM,IAAI,MAAM,QAAQ,CAAC,CAAC,CAAC;AAC/E;;;;;;;;;;;;;AAcA,SAAgB,IACd,UAC4D;CAC5D,MAAM,QAAQ,MAAM,QAAQ;CAE5B,OAAO,OAAO,MAAM,OAAO,iBAAiB,MAAM,IAAI,QAAQ,CAAC,CAAC;AAClE;AAqCA,MAAa,SAA0B;;CAErC;;CAEA;;CAEA;;CAEA;;CAEA;;CAEA;;CAEA,KAAA;;CAEA,UAAA;;CAEA,SAAA;;CAEA;;CAEA,KAAA;;CAEA;;CAEA,UAAA;;CAEA;;CAEA;;CAEA;;CAEA,YAAA;;CAEA,mBAAA;;CAEA,SAAA;;CAEA;;CAEA;;CAEA;;CAEA;;CAEA;;CAEA;;CAEA;AACF"}

package/dist/errors-BKcsQ0ip.d.mts

@@ -0,0 +1,12 @@
+//#region src/runtime/errors.d.ts
+/** Thrown when no RuntimeContext is active in the selected storage. */
+declare class RuntimeContextNotConfiguredError extends Error {
+  constructor();
+}
+/** Thrown when ExplicitRuntimeContextStorage cannot safely overlap lineages. */
+declare class RuntimeContextOverlapError extends Error {
+  constructor();
+}
+//#endregion
+export { RuntimeContextOverlapError as n, RuntimeContextNotConfiguredError as t };
+//# sourceMappingURL=errors-BKcsQ0ip.d.mts.map

package/dist/errors-BKcsQ0ip.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors-BKcsQ0ip.d.mts","names":[],"sources":["../src/runtime/errors.ts"],"mappings":";;cACa,yCAAyC;EAAA;;;cASzC,mCAAmC;EAAA"}

package/dist/hono.d.mts

@@ -1,7 +1,7 @@
-import { A as ProgramFromGenerator, D as EffectYield, E as EffectSuccess, M as AnyService, k as Program } from "./index-1NLNdkJy.mjs";
-import { E as MissingDependencies, S as LayerInput, w as ProvidedEnvironment, x as ExecutionMissing } from "./index-EJlskfAW.mjs";
-import { f as Runtime } from "./index-BsPr7qHf.mjs";
-import { a as CurrentRequest } from "./index-CITM15SE.mjs";
+import { A as ProgramFromGenerator, C as EffectError, D as EffectYield, E as EffectSuccess, M as AnyService, k as Program } from "./index-heuaRmXR.mjs";
+import { E as LayerInput, M as RequiredEnvironment, N as ValidateLayerInput, P as ValidateOneOverride, R as MissingDependencies, T as ExecutionMissing, j as ProvidedEnvironment, k as MissingServices } from "./index-rQhZk3Nt.mjs";
+import { f as Runtime } from "./index-C7Qild0_.mjs";
+import { a as CurrentRequest } from "./index-DStz0JMN.mjs";
 import { Result } from "better-result";
 import { Context, Env, Handler, HonoRequest, Input, MiddlewareHandler } from "hono";
 //#region src/hono/types.d.ts
@@ -9,9 +9,10 @@ type AnyResult = Result<any, any>;
 type AnyProgram = Program<any, any, AnyService>;
 type HonoContext = Context<any, any, any>;
 type ResponseLike = Response | Promise<Response>;
-type AnyHonoMiddleware = MiddlewareHandler<any, any, any, any>;
-type MiddlewareInput<Middleware extends AnyHonoMiddleware> = Middleware extends MiddlewareHandler<any, any, infer InputType, any> ? InputType : Input;
-type MiddlewareInputs<Middlewares extends readonly AnyHonoMiddleware[]> = Middlewares extends readonly [infer Head extends AnyHonoMiddleware, ...infer Tail extends AnyHonoMiddleware[]] ? MiddlewareInput<Head> & MiddlewareInputs<Tail> : Input;
+type AnyHonoMiddleware = MiddlewareHandler<any, any, any>;
+type MiddlewareInput<Middleware extends AnyHonoMiddleware> = Middleware extends MiddlewareHandler<any, any, infer InputType> ? InputType : Input;
+type UnionToIntersection<Union> = (Union extends unknown ? (value: Union) => void : never) extends ((value: infer Intersection) => void) ? Intersection : never;
+type MiddlewareInputs<Middlewares extends readonly AnyHonoMiddleware[]> = Middlewares extends readonly [] ? Input : Input & UnionToIntersection<MiddlewareInput<Middlewares[number]>>;
 type ValidatedTarget<InputType extends Input, Target extends 'param' | 'header'> = NonNullable<InputType['out']> extends Record<Target, infer Value> ? Value extends object ? Value : never : never;
 type ValidatedRequest<P extends string, InputType extends Input> = Omit<HonoRequest<P, NonNullable<InputType['out']>>, 'param' | 'header'> & {
   param: [ValidatedTarget<InputType, 'param'>] extends [never] ? HonoRequest<P, NonNullable<InputType['out']>>['param'] : {
@@ -28,18 +29,36 @@ type ValidatedRequest<P extends string, InputType extends Input> = Omit<HonoRequ
 type HonoEffectContext<E extends Env, P extends string, InputType extends Input> = Omit<Context<E, P, InputType>, 'req'> & {
   readonly req: ValidatedRequest<P, InputType>;
 };
-type MiddlewareEnvironment<Middleware extends AnyHonoMiddleware> = Middleware extends MiddlewareHandler<infer Environment, any, any, any> ? Environment : Env;
-type MiddlewarePath<Middleware extends AnyHonoMiddleware> = Middleware extends MiddlewareHandler<any, infer Path, any, any> ? Path : string;
+type IsAny<Type> = 0 extends 1 & Type ? true : false;
+type Specific<Type> = IsAny<Type> extends true ? never : Type;
+type MiddlewareEnvironmentOf<Middleware extends AnyHonoMiddleware> = Middleware extends MiddlewareHandler<infer Environment, any, any> ? Environment : never;
+type MiddlewarePathOf<Middleware extends AnyHonoMiddleware> = Middleware extends MiddlewareHandler<any, infer Path, any> ? Path : never;
+type MiddlewareEnvironmentCandidates<Middlewares extends readonly AnyHonoMiddleware[]> = Middlewares extends readonly [infer Head extends AnyHonoMiddleware, ...infer Tail extends readonly AnyHonoMiddleware[]] ? Specific<MiddlewareEnvironmentOf<Head>> | MiddlewareEnvironmentCandidates<Tail> : Specific<MiddlewareEnvironmentOf<Middlewares[number]>>;
+type MiddlewarePathCandidates<Middlewares extends readonly AnyHonoMiddleware[]> = Middlewares extends readonly [infer Head extends AnyHonoMiddleware, ...infer Tail extends readonly AnyHonoMiddleware[]] ? Specific<MiddlewarePathOf<Head>> extends (infer Path) ? Path extends string ? string extends Path ? MiddlewarePathCandidates<Tail> : Path | MiddlewarePathCandidates<Tail> : MiddlewarePathCandidates<Tail> : never : Specific<MiddlewarePathOf<Middlewares[number]>> extends (infer Path) ? Path extends string ? string extends Path ? never : Path : never : never;
+type MiddlewareEnvironment<Middlewares extends readonly AnyHonoMiddleware[]> = [MiddlewareEnvironmentCandidates<Middlewares>] extends [never] ? Env : Extract<UnionToIntersection<MiddlewareEnvironmentCandidates<Middlewares>>, Env>;
+type MiddlewarePath<Middlewares extends readonly AnyHonoMiddleware[]> = [MiddlewarePathCandidates<Middlewares>] extends [never] ? string : MiddlewarePathCandidates<Middlewares>;
 type HonoJsonValue = null | boolean | number | string | readonly HonoJsonValue[] | {
   readonly [key: string]: HonoJsonValue;
 };
 type DefaultRequestLayer = ReturnType<typeof CurrentRequest.layer>;
 type RequestProvided<RequestLayer extends LayerInput> = ProvidedEnvironment<RequestLayer>;
 type AvailableServices<Provided extends AnyService, RequestLayer extends LayerInput> = Provided | InstanceType<typeof CurrentRequest> | RequestProvided<RequestLayer>;
+type InvalidFailure<Actual, Expected> = {
+  readonly __betterEffectInvalidHonoFailure: {
+    readonly actual: Actual;
+    readonly expected: Expected;
+  };
+};
+type FailureCheck<Failure, Actual> = [Actual] extends [Failure] ? unknown : InvalidFailure<Actual, Failure>;
+type ProgramFailure<Failure, Program extends AnyProgram> = FailureCheck<Failure, EffectError<Program>>;
+type RequestLayerMissing<Provided extends AnyService, RequestLayer extends LayerInput> = MissingServices<Extract<RequiredEnvironment<RequestLayer>, AnyService>, Extract<Provided | InstanceType<typeof CurrentRequest>, AnyService>>;
+type RequestLayerChecks<Provided extends AnyService, RequestLayer extends LayerInput> = ValidateLayerInput<RequestLayer> & ValidateOneOverride<DefaultRequestLayer, RequestLayer> & ([RequestLayerMissing<Provided, RequestLayer>] extends [never] ? unknown : MissingDependencies<RequestLayerMissing<Provided, RequestLayer>>);
+/** Validate a request Layer against the Runtime root and built-in CurrentRequest provider. */
+type HonoRequestLayerChecks<Provided extends AnyService, RequestLayer extends LayerInput> = RequestLayerChecks<Provided, RequestLayer>;
 type ProgramMissing<Provided extends AnyService, Program extends AnyProgram> = ExecutionMissing<Provided, Program>;
-type CompleteProgram<Provided extends AnyService, Program extends AnyProgram> = [ProgramMissing<Provided, Program>] extends [never] ? Program : Program & MissingDependencies<ProgramMissing<Provided, Program>>;
+type CompleteProgram<Provided extends AnyService, Program extends AnyProgram, Failure = unknown> = Program & ([ProgramMissing<Provided, Program>] extends [never] ? unknown : MissingDependencies<ProgramMissing<Provided, Program>>) & ProgramFailure<Failure, Program>;
 type GeneratorBody<ContextType extends object, Yield extends EffectYield, Returned extends AnyResult> = (context: ContextType) => Generator<Yield, Returned, unknown> | AsyncGenerator<Yield, Returned, unknown>;
-type GeneratorChecks<Provided extends AnyService, Yield extends EffectYield, Returned extends AnyResult> = [ProgramMissing<Provided, ProgramFromGenerator<Yield, Returned>>] extends [never] ? unknown : MissingDependencies<ProgramMissing<Provided, ProgramFromGenerator<Yield, Returned>>>;
+type GeneratorChecks<Provided extends AnyService, Yield extends EffectYield, Returned extends AnyResult, Failure = unknown> = ([ProgramMissing<Provided, ProgramFromGenerator<Yield, Returned>>] extends [never] ? unknown : MissingDependencies<ProgramMissing<Provided, ProgramFromGenerator<Yield, Returned>>>) & FailureCheck<Failure, EffectError<ProgramFromGenerator<Yield, Returned>>>;
 type HonoEffectSuccess<A = unknown> = {
   readonly value: A;
   readonly status?: number;
@@ -57,6 +76,8 @@ type HonoEffectRouteOptions<A, ContextType extends HonoContext = HonoContext> =
 };
 //#endregion
 //#region src/hono/hono-effect.d.ts
+type HonoRouteArguments<Middlewares extends readonly AnyHonoMiddleware[], Body, Options> = [...middlewares: Middlewares, body: Body] | [...middlewares: Middlewares, body: Body, options: Options | undefined];
+type HonoHandlerFactory<ContextType extends object, Provided extends AnyService, Failure, ProgramFactory extends (context: ContextType) => AnyProgram> = ProgramFactory & ([ReturnType<ProgramFactory>] extends [CompleteProgram<Provided, ReturnType<ProgramFactory>, Failure>] ? unknown : (context: ContextType) => CompleteProgram<Provided, ReturnType<ProgramFactory>, Failure>);
 /** Run Effect Programs inside one Runtime execution per Hono request. */
 declare class HonoEffect<Provided extends AnyService = any, Failure = unknown, RequestLayer extends LayerInput = DefaultRequestLayer> {
   readonly runtime: Runtime<Provided>;
@@ -65,17 +86,14 @@ declare class HonoEffect<Provided extends AnyService = any, Failure = unknown, R
   private readonly onFailure;
   private readonly requestLayer;
   private constructor();
-  static make<Provided extends AnyService, Failure = unknown, RequestLayer extends LayerInput = DefaultRequestLayer>(runtime: Runtime<Provided>, options?: HonoEffectOptions<Failure, RequestLayer>): HonoEffect<Provided, Failure, RequestLayer>;
+  static make<Provided extends AnyService, Failure = unknown, RequestLayer extends LayerInput = DefaultRequestLayer>(runtime: Runtime<Provided>, options?: HonoEffectOptions<Failure, RequestLayer> & HonoRequestLayerChecks<Provided, RequestLayer>): HonoEffect<Provided, Failure, RequestLayer>;
   middleware<E extends Env = Env, Path extends string = string>(): MiddlewareHandler<E, Path>;
-  handler<E extends Env = Env, Path extends string = string, InputType extends Input = Input, Program extends AnyProgram = AnyProgram>(makeProgram: (context: Context<E, Path, InputType>) => CompleteProgram<AvailableServices<Provided, RequestLayer>, Program>, options?: HonoEffectRouteOptions<EffectSuccess<Program>, Context<E, Path, InputType>>): Handler<E, Path, InputType, Promise<Response>>;
-  handler<const FirstMiddleware extends AnyHonoMiddleware, const SecondMiddleware extends AnyHonoMiddleware, E extends Env = MiddlewareEnvironment<FirstMiddleware>, Path extends string = MiddlewarePath<FirstMiddleware>, Program extends AnyProgram = AnyProgram>(firstMiddleware: FirstMiddleware, secondMiddleware: SecondMiddleware, makeProgram: (context: HonoEffectContext<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware]>>) => CompleteProgram<AvailableServices<Provided, RequestLayer>, Program>, options?: HonoEffectRouteOptions<EffectSuccess<Program>, Context<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware]>>>): Handler<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware]>, Promise<Response>>;
-  handler<const FirstMiddleware extends AnyHonoMiddleware, const SecondMiddleware extends AnyHonoMiddleware, const ThirdMiddleware extends AnyHonoMiddleware, E extends Env = MiddlewareEnvironment<FirstMiddleware>, Path extends string = MiddlewarePath<FirstMiddleware>, Program extends AnyProgram = AnyProgram>(firstMiddleware: FirstMiddleware, secondMiddleware: SecondMiddleware, thirdMiddleware: ThirdMiddleware, makeProgram: (context: HonoEffectContext<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware, ThirdMiddleware]>>) => CompleteProgram<AvailableServices<Provided, RequestLayer>, Program>, options?: HonoEffectRouteOptions<EffectSuccess<Program>, Context<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware, ThirdMiddleware]>>>): Handler<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware, ThirdMiddleware]>, Promise<Response>>;
-  handler<const InputMiddleware extends AnyHonoMiddleware, E extends Env = MiddlewareEnvironment<InputMiddleware>, Path extends string = MiddlewarePath<InputMiddleware>, Program extends AnyProgram = AnyProgram>(inputMiddleware: InputMiddleware, makeProgram: (context: HonoEffectContext<E, Path, MiddlewareInput<InputMiddleware>>) => CompleteProgram<AvailableServices<Provided, RequestLayer>, Program>, options?: HonoEffectRouteOptions<EffectSuccess<Program>, Context<E, Path, MiddlewareInput<InputMiddleware>>>): Handler<E, Path, MiddlewareInput<InputMiddleware>, Promise<Response>>;
-  gen<E extends Env = Env, Path extends string = string, InputType extends Input = Input, const Yield extends EffectYield = EffectYield, const Returned extends AnyResult = AnyResult>(body: GeneratorBody<Context<E, Path, InputType>, Yield, Returned> & GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned>, options?: HonoEffectRouteOptions<EffectSuccess<ProgramFromGenerator<Yield, Returned>>, Context<E, Path, InputType>>): Handler<E, Path, InputType, Promise<Response>>;
-  gen<const FirstMiddleware extends AnyHonoMiddleware, const SecondMiddleware extends AnyHonoMiddleware, E extends Env = MiddlewareEnvironment<FirstMiddleware>, Path extends string = MiddlewarePath<FirstMiddleware>, const Yield extends EffectYield = EffectYield, const Returned extends AnyResult = AnyResult>(firstMiddleware: FirstMiddleware, secondMiddleware: SecondMiddleware, body: GeneratorBody<HonoEffectContext<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware]>>, Yield, Returned> & GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned>, options?: HonoEffectRouteOptions<EffectSuccess<ProgramFromGenerator<Yield, Returned>>, Context<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware]>>>): Handler<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware]>, Promise<Response>>;
-  gen<const FirstMiddleware extends AnyHonoMiddleware, const SecondMiddleware extends AnyHonoMiddleware, const ThirdMiddleware extends AnyHonoMiddleware, E extends Env = MiddlewareEnvironment<FirstMiddleware>, Path extends string = MiddlewarePath<FirstMiddleware>, const Yield extends EffectYield = EffectYield, const Returned extends AnyResult = AnyResult>(firstMiddleware: FirstMiddleware, secondMiddleware: SecondMiddleware, thirdMiddleware: ThirdMiddleware, body: GeneratorBody<HonoEffectContext<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware, ThirdMiddleware]>>, Yield, Returned> & GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned>, options?: HonoEffectRouteOptions<EffectSuccess<ProgramFromGenerator<Yield, Returned>>, Context<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware, ThirdMiddleware]>>>): Handler<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware, ThirdMiddleware]>, Promise<Response>>;
-  gen<const InputMiddleware extends AnyHonoMiddleware, E extends Env = MiddlewareEnvironment<InputMiddleware>, Path extends string = MiddlewarePath<InputMiddleware>, const Yield extends EffectYield = EffectYield, const Returned extends AnyResult = AnyResult>(inputMiddleware: InputMiddleware, body: GeneratorBody<HonoEffectContext<E, Path, MiddlewareInput<InputMiddleware>>, Yield, Returned> & GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned>, options?: HonoEffectRouteOptions<EffectSuccess<ProgramFromGenerator<Yield, Returned>>, Context<E, Path, MiddlewareInput<InputMiddleware>>>): Handler<E, Path, MiddlewareInput<InputMiddleware>, Promise<Response>>;
-  guard<E extends Env = Env, Path extends string = string, InputType extends Input = Input, const Yield extends EffectYield = EffectYield, const Returned extends AnyResult = AnyResult>(body: GeneratorBody<Context<E, Path, InputType>, Yield, Returned> & GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned>): MiddlewareHandler<E, Path>;
+  handler<E extends Env = Env, Path extends string = string, InputType extends Input = Input, Program extends AnyProgram = AnyProgram>(makeProgram: (context: Context<E, Path, InputType>) => CompleteProgram<AvailableServices<Provided, RequestLayer>, Program, Failure>, options?: HonoEffectRouteOptions<EffectSuccess<Program>, Context<E, Path, InputType>>): Handler<E, Path, InputType, Promise<Response>>;
+  handler<const Middlewares extends readonly AnyHonoMiddleware[], E extends Env = MiddlewareEnvironment<Middlewares>, Path extends string = MiddlewarePath<Middlewares>, const ProgramFactory extends (context: HonoEffectContext<E, Path, MiddlewareInputs<Middlewares>>) => AnyProgram = (context: HonoEffectContext<E, Path, MiddlewareInputs<Middlewares>>) => AnyProgram>(...args: HonoRouteArguments<Middlewares, HonoHandlerFactory<HonoEffectContext<E, Path, MiddlewareInputs<Middlewares>>, AvailableServices<Provided, RequestLayer>, Failure, ProgramFactory>, HonoEffectRouteOptions<EffectSuccess<ReturnType<ProgramFactory>>, Context<E, Path, MiddlewareInputs<Middlewares>>>>): Handler<E, Path, MiddlewareInputs<Middlewares>, Promise<Response>>;
+  gen<E extends Env = Env, Path extends string = string, InputType extends Input = Input, const Yield extends EffectYield = EffectYield, const Returned extends AnyResult = AnyResult>(body: GeneratorBody<Context<E, Path, InputType>, Yield, Returned> & GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned, Failure>, options?: HonoEffectRouteOptions<EffectSuccess<ProgramFromGenerator<Yield, Returned>>, Context<E, Path, InputType>>): Handler<E, Path, InputType, Promise<Response>>;
+  gen<const Middlewares extends readonly AnyHonoMiddleware[], E extends Env = MiddlewareEnvironment<Middlewares>, Path extends string = MiddlewarePath<Middlewares>, const Yield extends EffectYield = EffectYield, const Returned extends AnyResult = AnyResult>(...args: HonoRouteArguments<Middlewares, GeneratorBody<HonoEffectContext<E, Path, MiddlewareInputs<Middlewares>>, Yield, Returned> & GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned, Failure>, HonoEffectRouteOptions<EffectSuccess<ProgramFromGenerator<Yield, Returned>>, Context<E, Path, MiddlewareInputs<Middlewares>>>>): Handler<E, Path, MiddlewareInputs<Middlewares>, Promise<Response>>;
+  guard<E extends Env = Env, Path extends string = string, InputType extends Input = Input, const Yield extends EffectYield = EffectYield, const Returned extends AnyResult = AnyResult>(body: GeneratorBody<Context<E, Path, InputType>, Yield, Returned> & GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned, Failure>): MiddlewareHandler<E, Path>;
+  private handleFailure;
   private makeHandler;
   private composeInputMiddleware;
   private getState;

package/dist/hono.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"hono.d.mts","names":[],"sources":["../src/hono/types.ts","../src/hono/hono-effect.ts"],"mappings":";;;;;;;KASY,YAAY;KACZ,aAAa,kBAAsB;KACnC,cAAc;KACd,eAAe,WAAW,QAAQ;KAClC,oBAAoB;KAIpB,gBAAgB,mBAAmB,qBAC7C,mBAAmB,kCAAkC,kBAAkB,YAAY;KAEzE,iBAAiB,6BAA6B,uBACxD,oCACQ,aAAa,4BACV,aAAa,uBAEpB,gBAAgB,QAAQ,iBAAiB,QACzC;KAED,gBAAgB,kBAAkB,OAAO,qCAC5C,YAAY,0BAA0B,OAAO,cAAc,SACvD,uBACE;KAIH,iBAAiB,kBAAkB,kBAAkB,SAAS,KACjE,YAAY,GAAG,YAAY;EAG3B,QAAQ,gBAAgB,uCACpB,YAAY,GAAG,YAAY;KAExB,kBAAkB,gBAAgB,8BACjC,KAAK,MACJ,gBAAgB,oBAAoB;KACtC;QACG,gBAAgB;;EAE1B,SAAS,gBAAgB,wCACrB,YAAY,GAAG,YAAY;KAExB,kBAAkB,gBAAgB,+BACjC,MAAM,MACL,gBAAgB,qBAAqB;KACvC;QACG,gBAAgB;;;KAIhB,kBAAkB,UAAU,KAAK,kBAAkB,kBAAkB,SAAS,KACxF,QAAQ,GAAG,GAAG;WAGL,KAAK,iBAAiB,GAAG;;KAGxB,sBAAsB,mBAAmB,qBACnD,mBAAmB,wBAAwB,8BAA8B,cAAc;KAE7E,eAAe,mBAAmB,qBAC5C,mBAAmB,6BAA6B,kBAAkB;KAExD,4DAKC;YACG,cAAc;;KAElB,sBAAsB,kBAAkB,eAAe;KACvD,gBAAgB,qBAAqB,cAAc,oBAAoB;KACvE,kBAAkB,iBAAiB,YAAY,qBAAqB,cAC5E,WACA,oBAAoB,kBACpB,gBAAgB;KAER,eACV,iBAAiB,YACjB,gBAAgB,cACd,iBAAiB,UAAU;KAEnB,gBAAgB,iBAAiB,YAAY,gBAAgB,eACvE,eAAe,UAAU,4BAEvB,UACA,UAAU,oBAAoB,eAAe,UAAU;KAE/C,cACV,4BACA,cAAc,aACd,iBAAiB,cAEjB,SAAS,gBACN,UAAU,OAAO,qBAAqB,eAAe,OAAO;KAIrD,gBACV,iBAAiB,YACjB,cAAc,aACd,iBAAiB,cACd,eAAe,UAAU,qBAAqB,OAAO,wCAEtD,oBAAoB,eAAe,UAAU,qBAAqB,OAAO;KAEjE,kBAAkB;WACnB,OAAO;WACP;WACA,aAAa,OAAO,MAAM;;KAGzB,kBACV,mBACA,qBAAqB,aAAa;WAEzB,aAAa,QAAQ,wBAAwB,SAAS,gBAAgB;WACtE,aAAa,OAAO,SAAS,SAAS,gBAAgB;WACtD,gBAAgB,SAAS,gBAAgB;;KAGxC,uBAAuB,GAAG,oBAAoB,cAAc;WAC7D;WACA,aAAa,OAAO,MAAM;WAC1B,WAAW,OAAO,GAAG,SAAS,gBAAgB;;;;;cCpG5C,WACX,iBAAiB,kBACjB,mBACA,qBAAqB,aAAa;WAEzB,SAAS,QAAQ;mBAET;mBAEA;mBAEA;mBAEA;UAEV;SAUA,KACL,iBAAiB,YACjB,mBACA,qBAAqB,aAAa,qBAElC,SAAS,QAAQ,WACjB,UAAS,kBAAkB,SAAS,gBACnC,WAAW,UAAU,SAAS;EAIjC,WAAW,UAAU,MAAM,KAAK,iCAAiC,kBAAkB,GAAG;EAQtF,QACE,UAAU,MAAM,KAChB,8BACA,kBAAkB,QAAQ,OAC1B,gBAAgB,aAAa,YAE7B,cACE,SAAS,QAAQ,GAAG,MAAM,eACvB,gBAAgB,kBAAkB,UAAU,eAAe,UAChE,UAAU,uBAAuB,cAAc,UAAU,QAAQ,GAAG,MAAM,cACzE,QAAQ,GAAG,MAAM,WAAW,QAAQ;EACvC,cACQ,wBAAwB,yBACxB,yBAAyB,mBAC/B,UAAU,MAAM,sBAAsB,kBACtC,sBAAsB,eAAe,kBACrC,gBAAgB,aAAa,YAE7B,iBAAiB,iBACjB,kBAAkB,kBAClB,cACE,SAAS,kBAAkB,GAAG,MAAM,kBAAkB,iBAAiB,wBACpE,gBAAgB,kBAAkB,UAAU,eAAe,UAChE,UAAU,uBACR,cAAc,UACd,QAAQ,GAAG,MAAM,kBAAkB,iBAAiB,uBAErD,QAAQ,GAAG,MAAM,kBAAkB,iBAAiB,oBAAoB,QAAQ;EACnF,cACQ,wBAAwB,yBACxB,yBAAyB,yBACzB,wBAAwB,mBAC9B,UAAU,MAAM,sBAAsB,kBACtC,sBAAsB,eAAe,kBACrC,gBAAgB,aAAa,YAE7B,iBAAiB,iBACjB,kBAAkB,kBAClB,iBAAiB,iBACjB,cACE,SAAS,kBACP,GACA,MACA,kBAAkB,iBAAiB,kBAAkB,uBAEpD,gBAAgB,kBAAkB,UAAU,eAAe,UAChE,UAAU,uBACR,cAAc,UACd,QAAQ,GAAG,MAAM,kBAAkB,iBAAiB,kBAAkB,sBAEvE,QACD,GACA,MACA,kBAAkB,iBAAiB,kBAAkB,mBACrD,QAAQ;EAEV,cACQ,wBAAwB,mBAC9B,UAAU,MAAM,sBAAsB,kBACtC,sBAAsB,eAAe,kBACrC,gBAAgB,aAAa,YAE7B,iBAAiB,iBACjB,cACE,SAAS,kBAAkB,GAAG,MAAM,gBAAgB,sBACjD,gBAAgB,kBAAkB,UAAU,eAAe,UAChE,UAAU,uBACR,cAAc,UACd,QAAQ,GAAG,MAAM,gBAAgB,qBAElC,QAAQ,GAAG,MAAM,gBAAgB,kBAAkB,QAAQ;EAoB9D,IACE,UAAU,MAAM,KAChB,8BACA,kBAAkB,QAAQ,aACpB,cAAc,cAAc,mBAC5B,iBAAiB,YAAY,WAEnC,MAAM,cAAc,QAAQ,GAAG,MAAM,YAAY,OAAO,YACtD,gBAAgB,kBAAkB,UAAU,eAAe,OAAO,WACpE,UAAU,uBACR,cAAc,qBAAqB,OAAO,YAC1C,QAAQ,GAAG,MAAM,cAElB,QAAQ,GAAG,MAAM,WAAW,QAAQ;EACvC,UACQ,wBAAwB,yBACxB,yBAAyB,mBAC/B,UAAU,MAAM,sBAAsB,kBACtC,sBAAsB,eAAe,wBAC/B,cAAc,cAAc,mBAC5B,iBAAiB,YAAY,WAEnC,iBAAiB,iBACjB,kBAAkB,kBAClB,MAAM,cACJ,kBAAkB,GAAG,MAAM,kBAAkB,iBAAiB,qBAC9D,OACA,YAEA,gBAAgB,kBAAkB,UAAU,eAAe,OAAO,WACpE,UAAU,uBACR,cAAc,qBAAqB,OAAO,YAC1C,QAAQ,GAAG,MAAM,kBAAkB,iBAAiB,uBAErD,QAAQ,GAAG,MAAM,kBAAkB,iBAAiB,oBAAoB,QAAQ;EACnF,UACQ,wBAAwB,yBACxB,yBAAyB,yBACzB,wBAAwB,mBAC9B,UAAU,MAAM,sBAAsB,kBACtC,sBAAsB,eAAe,wBAC/B,cAAc,cAAc,mBAC5B,iBAAiB,YAAY,WAEnC,iBAAiB,iBACjB,kBAAkB,kBAClB,iBAAiB,iBACjB,MAAM,cACJ,kBACE,GACA,MACA,kBAAkB,iBAAiB,kBAAkB,oBAEvD,OACA,YAEA,gBAAgB,kBAAkB,UAAU,eAAe,OAAO,WACpE,UAAU,uBACR,cAAc,qBAAqB,OAAO,YAC1C,QAAQ,GAAG,MAAM,kBAAkB,iBAAiB,kBAAkB,sBAEvE,QACD,GACA,MACA,kBAAkB,iBAAiB,kBAAkB,mBACrD,QAAQ;EAEV,UACQ,wBAAwB,mBAC9B,UAAU,MAAM,sBAAsB,kBACtC,sBAAsB,eAAe,wBAC/B,cAAc,cAAc,mBAC5B,iBAAiB,YAAY,WAEnC,iBAAiB,iBACjB,MAAM,cACJ,kBAAkB,GAAG,MAAM,gBAAgB,mBAC3C,OACA,YAEA,gBAAgB,kBAAkB,UAAU,eAAe,OAAO,WACpE,UAAU,uBACR,cAAc,qBAAqB,OAAO,YAC1C,QAAQ,GAAG,MAAM,gBAAgB,qBAElC,QAAQ,GAAG,MAAM,gBAAgB,kBAAkB,QAAQ;EA8B9D,MACE,UAAU,MAAM,KAChB,8BACA,kBAAkB,QAAQ,aACpB,cAAc,cAAc,mBAC5B,iBAAiB,YAAY,WAEnC,MAAM,cAAc,QAAQ,GAAG,MAAM,YAAY,OAAO,YACtD,gBAAgB,kBAAkB,UAAU,eAAe,OAAO,YACnE,kBAAkB,GAAG;UAiBhB;UAmCA;UAuBA;;cAWG,uCAAuC;EAAA"}
+{"version":3,"file":"hono.d.mts","names":[],"sources":["../src/hono/types.ts","../src/hono/hono-effect.ts"],"mappings":";;;;;;;KAsBY,YAAY;KACZ,aAAa,kBAAsB;KACnC,cAAc;KACd,eAAe,WAAW,QAAQ;KAClC,oBAAoB;KAIpB,gBAAgB,mBAAmB,qBAC7C,mBAAmB,kCAAkC,aAAa,YAAY;KAE3E,oBAAoB,UAAU,yBAAyB,OAAO,kCACjE,aAAa,yBAEX;KAGQ,iBAAiB,6BAA6B,uBACxD,kCACI,QACA,QAAQ,oBAAoB,gBAAgB;KAE7C,gBAAgB,kBAAkB,OAAO,qCAC5C,YAAY,0BAA0B,OAAO,cAAc,SACvD,uBACE;KAIH,iBAAiB,kBAAkB,kBAAkB,SAAS,KACjE,YAAY,GAAG,YAAY;EAG3B,QAAQ,gBAAgB,uCACpB,YAAY,GAAG,YAAY;KAExB,kBAAkB,gBAAgB,8BACjC,KAAK,MACJ,gBAAgB,oBAAoB;KACtC;QACG,gBAAgB;;EAE1B,SAAS,gBAAgB,wCACrB,YAAY,GAAG,YAAY;KAExB,kBAAkB,gBAAgB,+BACjC,MAAM,MACL,gBAAgB,qBAAqB;KACvC;QACG,gBAAgB;;;KAIhB,kBAAkB,UAAU,KAAK,kBAAkB,kBAAkB,SAAS,KACxF,QAAQ,GAAG,GAAG;WAGL,KAAK,iBAAiB,GAAG;;KAG/B,MAAM,sBAAsB;KAE5B,SAAS,QAAQ,MAAM,6BAA6B;KAEpD,wBAAwB,mBAAmB,qBAC9C,mBAAmB,wBAAwB,yBAAyB;KAEjE,iBAAiB,mBAAmB,qBACvC,mBAAmB,6BAA6B,aAAa;KAE1D,gCAAgC,6BAA6B,uBAChE,oCACQ,aAAa,4BACV,sBAAsB,uBAE7B,SAAS,wBAAwB,SAAS,gCAAgC,QAC1E,SAAS,wBAAwB;KAElC,yBAAyB,6BAA6B,uBACzD,oCACQ,aAAa,4BACV,sBAAsB,uBAE7B,SAAS,iBAAiB,sBAAqB,QAC7C,qCACiB,OACb,yBAAyB,QACzB,OAAO,yBAAyB,QAClC,yBAAyB,gBAE7B,SAAS,iBAAiB,qCAAoC,QAC5D,qCACiB,eAEb;KAIA,sBAAsB,6BAA6B,wBAC7D,gCAAgC,gCAE9B,MACA,QAAQ,oBAAoB,gCAAgC,eAAe;KAEnE,eAAe,6BAA6B,wBACtD,yBAAyB,yCAGvB,yBAAyB;KAEjB,4DAKC;YACG,cAAc;;KAElB,sBAAsB,kBAAkB,eAAe;KAEvD,gBAAgB,qBAAqB,cAAc,oBAAoB;KAEvE,kBAAkB,iBAAiB,YAAY,qBAAqB,cAC5E,WACA,oBAAoB,kBACpB,gBAAgB;KAEf,eAAe,QAAQ;WACjB;aACE,QAAQ;aACR,UAAU;;;KAIlB,aAAa,SAAS,WAAW,iBAAiB,qBAEnD,eAAe,QAAQ;KAEtB,eAAe,SAAS,gBAAgB,cAAc,aACzD,SACA,YAAY;KAGT,oBACH,iBAAiB,YACjB,qBAAqB,cACnB,gBACF,QAAQ,oBAAoB,eAAe,aAC3C,QAAQ,WAAW,oBAAoB,iBAAiB;KAGrD,mBACH,iBAAiB,YACjB,qBAAqB,cACnB,mBAAmB,gBACrB,oBAAoB,qBAAqB,kBACvC,oBAAoB,UAAU,2CAE5B,oBAAoB,oBAAoB,UAAU;;KAG5C,uBACV,iBAAiB,YACjB,qBAAqB,cACnB,mBAAmB,UAAU;KAErB,eACV,iBAAiB,YACjB,gBAAgB,cACd,iBAAiB,UAAU;KAEnB,gBACV,iBAAiB,YACjB,gBAAgB,YAChB,qBACE,YACA,eAAe,UAAU,sCAEvB,oBAAoB,eAAe,UAAU,aACjD,eAAe,SAAS;KAEd,cACV,4BACA,cAAc,aACd,iBAAiB,cAEjB,SAAS,gBACN,UAAU,OAAO,qBAAqB,eAAe,OAAO;KAIrD,gBACV,iBAAiB,YACjB,cAAc,aACd,iBAAiB,WACjB,uBACI,eAAe,UAAU,qBAAqB,OAAO,wCAEvD,oBAAoB,eAAe,UAAU,qBAAqB,OAAO,eAC3E,aAAa,SAAS,YAAY,qBAAqB,OAAO;KAEpD,kBAAkB;WACnB,OAAO;WACP;WACA,aAAa,OAAO,MAAM;;KAGzB,kBACV,mBACA,qBAAqB,aAAa;WAEzB,aAAa,QAAQ,wBAAwB,SAAS,gBAAgB;WACtE,aAAa,OAAO,SAAS,SAAS,gBAAgB;WACtD,gBAAgB,SAAS,gBAAgB;;KAGxC,uBAAuB,GAAG,oBAAoB,cAAc;WAC7D;WACA,aAAa,OAAO,MAAM;WAC1B,WAAW,OAAO,GAAG,SAAS,gBAAgB;;;;KC/MpD,mBAAmB,6BAA6B,qBAAqB,MAAM,eACxE,aAAa,aAAa,MAAM,YAChC,aAAa,aAAa,MAAM,MAAM,SAAS;KAElD,mBACH,4BACA,iBAAiB,YACjB,SACA,wBAAwB,SAAS,gBAAgB,cAC/C,mBACA,WAAW,0BACX,gBAAgB,UAAU,WAAW,iBAAiB,uBAGnD,SAAS,gBAAgB,gBAAgB,UAAU,WAAW,iBAAiB;;cAGzE,WACX,iBAAiB,kBACjB,mBACA,qBAAqB,aAAa;WAEzB,SAAS,QAAQ;mBAET;mBAEA;mBAEA;mBAEA;UAEV;SAUA,KACL,iBAAiB,YACjB,mBACA,qBAAqB,aAAa,qBAElC,SAAS,QAAQ,WACjB,UAAU,kBAAkB,SAAS,gBACnC,uBAAuB,UAAU,gBAClC,WAAW,UAAU,SAAS;EAIjC,WAAW,UAAU,MAAM,KAAK,iCAAiC,kBAAkB,GAAG;EAQtF,QACE,UAAU,MAAM,KAChB,8BACA,kBAAkB,QAAQ,OAC1B,gBAAgB,aAAa,YAE7B,cACE,SAAS,QAAQ,GAAG,MAAM,eACvB,gBAAgB,kBAAkB,UAAU,eAAe,SAAS,UACzE,UAAU,uBAAuB,cAAc,UAAU,QAAQ,GAAG,MAAM,cACzE,QAAQ,GAAG,MAAM,WAAW,QAAQ;EACvC,cACQ,6BAA6B,qBACnC,UAAU,MAAM,sBAAsB,cACtC,sBAAsB,eAAe,oBAC/B,wBACJ,SAAS,kBAAkB,GAAG,MAAM,iBAAiB,kBAClD,cACH,SAAS,kBAAkB,GAAG,MAAM,iBAAiB,kBAClD,eAEF,MAAM,mBACP,aACA,mBACE,kBAAkB,GAAG,MAAM,iBAAiB,eAC5C,kBAAkB,UAAU,eAC5B,SACA,iBAEF,uBACE,cAAc,WAAW,kBACzB,QAAQ,GAAG,MAAM,iBAAiB,kBAGrC,QAAQ,GAAG,MAAM,iBAAiB,cAAc,QAAQ;EAoB3D,IACE,UAAU,MAAM,KAChB,8BACA,kBAAkB,QAAQ,aACpB,cAAc,cAAc,mBAC5B,iBAAiB,YAAY,WAEnC,MAAM,cAAc,QAAQ,GAAG,MAAM,YAAY,OAAO,YACtD,gBAAgB,kBAAkB,UAAU,eAAe,OAAO,UAAU,UAC9E,UAAU,uBACR,cAAc,qBAAqB,OAAO,YAC1C,QAAQ,GAAG,MAAM,cAElB,QAAQ,GAAG,MAAM,WAAW,QAAQ;EACvC,UACQ,6BAA6B,qBACnC,UAAU,MAAM,sBAAsB,cACtC,sBAAsB,eAAe,oBAC/B,cAAc,cAAc,mBAC5B,iBAAiB,YAAY,cAEhC,MAAM,mBACP,aACA,cAAc,kBAAkB,GAAG,MAAM,iBAAiB,eAAe,OAAO,YAC9E,gBAAgB,kBAAkB,UAAU,eAAe,OAAO,UAAU,UAC9E,uBACE,cAAc,qBAAqB,OAAO,YAC1C,QAAQ,GAAG,MAAM,iBAAiB,kBAGrC,QAAQ,GAAG,MAAM,iBAAiB,cAAc,QAAQ;EA8B3D,MACE,UAAU,MAAM,KAChB,8BACA,kBAAkB,QAAQ,aACpB,cAAc,cAAc,mBAC5B,iBAAiB,YAAY,WAEnC,MAAM,cAAc,QAAQ,GAAG,MAAM,YAAY,OAAO,YACtD,gBAAgB,kBAAkB,UAAU,eAAe,OAAO,UAAU,WAC7E,kBAAkB,GAAG;UAehB;UAWA;UAiCA;UA+BA;;cAWG,uCAAuC;EAAA"}

package/dist/hono.mjs

@@ -1,9 +1,12 @@
-import { r as Layer } from "./signal-Cl9tqGyX.mjs";
-import { t as Effect } from "./effect-CZdZCZLW.mjs";
-import { a as CurrentRequest } from "./standard-services-QseopL9g.mjs";
+import { r as Layer } from "./signal-B97cs85Z.mjs";
+import { t as Effect } from "./effect-2ZcGZI8A.mjs";
+import { a as CurrentRequest } from "./standard-services-BFBq-4lo.mjs";
 import { Result } from "better-result";
 import { createMiddleware } from "hono/factory";
 //#region src/hono/request-boundary.ts
+const overrideRequestLayer = (base, replacement) => {
+	return Layer.override(base, replacement);
+};
 const makeRequestBoundary = (options) => {
 	return createMiddleware(async (context, next) => {
 		const key = context;
@@ -16,7 +19,7 @@ const makeRequestBoundary = (options) => {
 		try {
 			const requestLayer = CurrentRequest.layer(context.req.raw);
 			const customLayer = options.requestLayer?.(context);
-			const layer = customLayer === void 0 ? requestLayer : Layer.override(requestLayer, customLayer);
+			const layer = customLayer === void 0 ? requestLayer : overrideRequestLayer(requestLayer, customLayer);
 			await options.runtime.runWith(layer, async () => {
 				try {
 					await next();
@@ -34,6 +37,7 @@ const makeRequestBoundary = (options) => {
 };
 //#endregion
 //#region src/hono/responses.ts
+const DEFAULT_FAILURE_MESSAGE = "Internal Server Error";
 const defaultSuccess = ({ value, status, serialize }, context) => {
 	if (value instanceof Response) return value;
 	const body = serialize === void 0 ? value : serialize(value);
@@ -43,8 +47,7 @@ const defaultSuccess = ({ value, status, serialize }, context) => {
 };
 const defaultFailure = (error, context) => {
 	if (error instanceof Response) return error;
-	const message = error instanceof Error ? error.message : String(error);
-	return context.json({ error: message }, 500);
+	return context.json({ error: DEFAULT_FAILURE_MESSAGE }, 500);
 };
 //#endregion
 //#region src/hono/hono-effect.ts
@@ -61,8 +64,8 @@ var HonoEffect = class HonoEffect {
 		this.onFailure = options.onFailure ?? defaultFailure;
 		this.requestLayer = options.requestLayer;
 	}
-	static make(runtime, options = {}) {
-		return new HonoEffect(runtime, options);
+	static make(runtime, options) {
+		return new HonoEffect(runtime, options ?? {});
 	}
 	middleware() {
 		return makeRequestBoundary({
@@ -74,7 +77,7 @@ var HonoEffect = class HonoEffect {
 	handler(...args) {
 		const last = args.at(-1);
 		const hasOptions = args.length > 1 && (last === void 0 || typeof last !== "function");
-		const options = hasOptions ? last : {};
+		const options = (hasOptions ? last : {}) ?? {};
 		const bodyIndex = hasOptions ? args.length - 2 : args.length - 1;
 		const makeProgram = args[bodyIndex];
 		let handler = this.makeHandler(makeProgram, options);
@@ -84,7 +87,7 @@ var HonoEffect = class HonoEffect {
 	gen(...args) {
 		const last = args.at(-1);
 		const hasOptions = args.length > 1 && (last === void 0 || typeof last !== "function");
-		const options = hasOptions ? last : {};
+		const options = (hasOptions ? last : {}) ?? {};
 		const bodyIndex = hasOptions ? args.length - 2 : args.length - 1;
 		const body = args[bodyIndex];
 		let handler = this.makeHandler((context) => {
@@ -97,21 +100,19 @@ var HonoEffect = class HonoEffect {
 		return async (context, next) => {
 			const state = this.getState(context);
 			const result = await Effect.fn(() => body(context))();
-			if (Result.isError(result)) {
-				state.failure ??= { cause: result.error };
-				return await this.onFailure(result.error, context);
-			}
+			if (Result.isError(result)) return await this.handleFailure(state, result.error, context);
 			await next();
 		};
 	}
+	handleFailure(state, error, context) {
+		state.failure ??= { cause: error };
+		return this.onFailure(error, context);
+	}
 	makeHandler(makeProgram, options) {
 		return async (context) => {
 			const state = this.getState(context);
 			const result = await makeProgram(context)();
-			if (Result.isError(result)) {
-				state.failure ??= { cause: result.error };
-				return await this.onFailure(result.error, context);
-			}
+			if (Result.isError(result)) return await this.handleFailure(state, result.error, context);
 			const value = result.value;
 			if (options.respond !== void 0) return await options.respond(value, context);
 			const success = { value };
@@ -123,9 +124,13 @@ var HonoEffect = class HonoEffect {
 	composeInputMiddleware(inputMiddleware, handler) {
 		return async (context, next) => {
 			let downstreamResponse;
-			const middlewareResponse = await inputMiddleware(context, async () => {
+			let nextCalled = false;
+			const nextOnce = async () => {
+				if (nextCalled) throw new Error("next() called multiple times");
+				nextCalled = true;
 				downstreamResponse = await handler(context, next);
-			});
+			};
+			const middlewareResponse = await inputMiddleware(context, nextOnce);
 			if (middlewareResponse instanceof Response) return middlewareResponse;
 			if (downstreamResponse !== void 0) return downstreamResponse;
 			return context.res;

package/dist/hono.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"hono.mjs","names":[],"sources":["../src/hono/request-boundary.ts","../src/hono/responses.ts","../src/hono/hono-effect.ts"],"sourcesContent":["import { Result } from 'better-result'\nimport { createMiddleware } from 'hono/factory'\nimport type { Env, MiddlewareHandler } from 'hono'\n\nimport { CurrentRequest } from '../standard-services'\nimport { Layer } from '../layer'\nimport type { LayerInput } from '../layer/inference'\nimport { Runtime } from '../runtime'\nimport type { AnyService } from '../service'\nimport type { HonoContext } from './types'\n\nexport type RequestState = {\n  failure?: {\n    readonly cause: unknown\n  }\n}\n\nexport type RequestBoundaryOptions<Provided extends AnyService, RequestLayer extends LayerInput> = {\n  readonly runtime: Runtime<Provided>\n  readonly states: WeakMap<object, RequestState>\n  readonly requestLayer?: ((context: HonoContext) => RequestLayer) | undefined\n}\n\nexport const makeRequestBoundary = <\n  Provided extends AnyService,\n  RequestLayer extends LayerInput,\n  E extends Env = Env,\n  Path extends string = string\n>(\n  options: RequestBoundaryOptions<Provided, RequestLayer>\n): MiddlewareHandler<E, Path> => {\n  // SAFETY: createMiddleware preserves the Hono handler contract; only the generic Context is restored here.\n  return createMiddleware(async (context, next) => {\n    const key = context\n    const existing = options.states.get(key)\n\n    if (existing !== undefined) {\n      await next()\n      return\n    }\n\n    const state: RequestState = {}\n    options.states.set(key, state)\n\n    try {\n      const requestLayer = CurrentRequest.layer(context.req.raw)\n      const customLayer = options.requestLayer?.(context)\n      // SAFETY: a custom request Layer extends or intentionally overrides the built-in CurrentRequest provider.\n      const layer =\n        customLayer === undefined\n          ? requestLayer\n          : Layer.override(requestLayer, customLayer as never)\n\n      // SAFETY: request Layers are supplied by this adapter and execute inside the Runtime's typed boundary.\n      await options.runtime.runWith(\n        layer as never,\n        async () => {\n          try {\n            await next()\n          } catch (cause) {\n            state.failure ??= { cause }\n          }\n\n          if (state.failure !== undefined) {\n            return Result.err(state.failure.cause)\n          }\n\n          if (context.error !== undefined) {\n            return Result.err(context.error)\n          }\n\n          return Result.ok(context.res)\n        },\n        { signal: context.req.raw.signal }\n      )\n    } finally {\n      options.states.delete(key)\n    }\n  }) as MiddlewareHandler<E, Path>\n}\n","import type { HonoContext, HonoEffectSuccess } from './types'\n\nexport const defaultSuccess = (\n  { value, status, serialize }: HonoEffectSuccess,\n  context: HonoContext\n): Response => {\n  if (value instanceof Response) {\n    return value\n  }\n\n  const body = serialize === undefined ? value : serialize(value)\n\n  if (body === undefined) {\n    // SAFETY: route status is intentionally configurable and Hono validates it at response construction.\n    return context.body(null, (status ?? 204) as never)\n  }\n\n  if (status === undefined) {\n    return context.json({ data: body })\n  }\n\n  // SAFETY: route status is intentionally configurable and Hono validates it at response construction.\n  return context.json({ data: body }, status as never)\n}\n\n// oxlint-disable-next-line anti-slop/no-unknown-parameters -- Result errors are intentionally opaque at this HTTP boundary.\nexport const defaultFailure = (error: unknown, context: HonoContext): Response => {\n  if (error instanceof Response) {\n    return error\n  }\n\n  const message = error instanceof Error ? error.message : String(error)\n\n  return context.json({ error: message }, 500)\n}\n","import { Result } from 'better-result'\nimport type { Context, Env, Handler, Input, MiddlewareHandler } from 'hono'\n\nimport { Effect } from '../effect'\nimport type { EffectSuccess, EffectYield, ProgramFromGenerator } from '../effect/types'\nimport { Runtime } from '../runtime'\nimport type { LayerInput } from '../layer/inference'\nimport type { AnyService } from '../service'\nimport { makeRequestBoundary, type RequestState } from './request-boundary'\nimport { defaultFailure, defaultSuccess } from './responses'\nimport type {\n  AnyGeneratorBody,\n  AnyHonoMiddleware,\n  AnyProgram,\n  AnyProgramFactory,\n  AnyResult,\n  AnyRouteOptions,\n  AvailableServices,\n  CompleteProgram,\n  DefaultRequestLayer,\n  GeneratorBody,\n  GeneratorChecks,\n  HonoContext,\n  HonoEffectContext,\n  HonoEffectOptions,\n  HonoEffectRouteOptions,\n  HonoEffectSuccess,\n  MiddlewareEnvironment,\n  MiddlewareInput,\n  MiddlewareInputs,\n  MiddlewarePath\n} from './types'\n\n/** Run Effect Programs inside one Runtime execution per Hono request. */\nexport class HonoEffect<\n  Provided extends AnyService = any,\n  Failure = unknown,\n  RequestLayer extends LayerInput = DefaultRequestLayer\n> {\n  readonly runtime: Runtime<Provided>\n\n  private readonly states = new WeakMap<object, RequestState>()\n\n  private readonly onSuccess: NonNullable<HonoEffectOptions<Failure, RequestLayer>['onSuccess']>\n\n  private readonly onFailure: NonNullable<HonoEffectOptions<Failure, RequestLayer>['onFailure']>\n\n  private readonly requestLayer: HonoEffectOptions<Failure, RequestLayer>['requestLayer']\n\n  private constructor(\n    runtime: Runtime<Provided>,\n    options: HonoEffectOptions<Failure, RequestLayer>\n  ) {\n    this.runtime = runtime\n    this.onSuccess = options.onSuccess ?? defaultSuccess\n    this.onFailure = options.onFailure ?? defaultFailure\n    this.requestLayer = options.requestLayer\n  }\n\n  static make<\n    Provided extends AnyService,\n    Failure = unknown,\n    RequestLayer extends LayerInput = DefaultRequestLayer\n  >(\n    runtime: Runtime<Provided>,\n    options: HonoEffectOptions<Failure, RequestLayer> = {}\n  ): HonoEffect<Provided, Failure, RequestLayer> {\n    return new HonoEffect(runtime, options)\n  }\n\n  middleware<E extends Env = Env, Path extends string = string>(): MiddlewareHandler<E, Path> {\n    return makeRequestBoundary<Provided, RequestLayer, E, Path>({\n      runtime: this.runtime,\n      states: this.states,\n      requestLayer: this.requestLayer\n    })\n  }\n\n  handler<\n    E extends Env = Env,\n    Path extends string = string,\n    InputType extends Input = Input,\n    Program extends AnyProgram = AnyProgram\n  >(\n    makeProgram: (\n      context: Context<E, Path, InputType>\n    ) => CompleteProgram<AvailableServices<Provided, RequestLayer>, Program>,\n    options?: HonoEffectRouteOptions<EffectSuccess<Program>, Context<E, Path, InputType>>\n  ): Handler<E, Path, InputType, Promise<Response>>\n  handler<\n    const FirstMiddleware extends AnyHonoMiddleware,\n    const SecondMiddleware extends AnyHonoMiddleware,\n    E extends Env = MiddlewareEnvironment<FirstMiddleware>,\n    Path extends string = MiddlewarePath<FirstMiddleware>,\n    Program extends AnyProgram = AnyProgram\n  >(\n    firstMiddleware: FirstMiddleware,\n    secondMiddleware: SecondMiddleware,\n    makeProgram: (\n      context: HonoEffectContext<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware]>>\n    ) => CompleteProgram<AvailableServices<Provided, RequestLayer>, Program>,\n    options?: HonoEffectRouteOptions<\n      EffectSuccess<Program>,\n      Context<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware]>>\n    >\n  ): Handler<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware]>, Promise<Response>>\n  handler<\n    const FirstMiddleware extends AnyHonoMiddleware,\n    const SecondMiddleware extends AnyHonoMiddleware,\n    const ThirdMiddleware extends AnyHonoMiddleware,\n    E extends Env = MiddlewareEnvironment<FirstMiddleware>,\n    Path extends string = MiddlewarePath<FirstMiddleware>,\n    Program extends AnyProgram = AnyProgram\n  >(\n    firstMiddleware: FirstMiddleware,\n    secondMiddleware: SecondMiddleware,\n    thirdMiddleware: ThirdMiddleware,\n    makeProgram: (\n      context: HonoEffectContext<\n        E,\n        Path,\n        MiddlewareInputs<[FirstMiddleware, SecondMiddleware, ThirdMiddleware]>\n      >\n    ) => CompleteProgram<AvailableServices<Provided, RequestLayer>, Program>,\n    options?: HonoEffectRouteOptions<\n      EffectSuccess<Program>,\n      Context<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware, ThirdMiddleware]>>\n    >\n  ): Handler<\n    E,\n    Path,\n    MiddlewareInputs<[FirstMiddleware, SecondMiddleware, ThirdMiddleware]>,\n    Promise<Response>\n  >\n  handler<\n    const InputMiddleware extends AnyHonoMiddleware,\n    E extends Env = MiddlewareEnvironment<InputMiddleware>,\n    Path extends string = MiddlewarePath<InputMiddleware>,\n    Program extends AnyProgram = AnyProgram\n  >(\n    inputMiddleware: InputMiddleware,\n    makeProgram: (\n      context: HonoEffectContext<E, Path, MiddlewareInput<InputMiddleware>>\n    ) => CompleteProgram<AvailableServices<Provided, RequestLayer>, Program>,\n    options?: HonoEffectRouteOptions<\n      EffectSuccess<Program>,\n      Context<E, Path, MiddlewareInput<InputMiddleware>>\n    >\n  ): Handler<E, Path, MiddlewareInput<InputMiddleware>, Promise<Response>>\n  handler(...args: unknown[]): Handler<any, any, any, Promise<Response>> {\n    const last = args.at(-1)\n    // oxlint-disable-next-line anti-slop/no-runtime-typeof -- overload dispatch separates route options from function callbacks.\n    const hasOptions = args.length > 1 && (last === undefined || typeof last !== 'function')\n    // SAFETY: the overloads restrict the optional trailing argument to route options.\n    const options = (hasOptions ? last : {}) as AnyRouteOptions\n    const bodyIndex = hasOptions ? args.length - 2 : args.length - 1\n    // SAFETY: the overloads place the program factory immediately before route options.\n    const makeProgram = args[bodyIndex] as AnyProgramFactory\n    let handler = this.makeHandler(makeProgram, options)\n\n    for (let index = bodyIndex - 1; index >= 0; index -= 1) {\n      // SAFETY: every argument before the program factory is an input middleware by the overloads.\n      handler = this.composeInputMiddleware(args[index] as AnyHonoMiddleware, handler)\n    }\n\n    return handler\n  }\n\n  gen<\n    E extends Env = Env,\n    Path extends string = string,\n    InputType extends Input = Input,\n    const Yield extends EffectYield = EffectYield,\n    const Returned extends AnyResult = AnyResult\n  >(\n    body: GeneratorBody<Context<E, Path, InputType>, Yield, Returned> &\n      GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned>,\n    options?: HonoEffectRouteOptions<\n      EffectSuccess<ProgramFromGenerator<Yield, Returned>>,\n      Context<E, Path, InputType>\n    >\n  ): Handler<E, Path, InputType, Promise<Response>>\n  gen<\n    const FirstMiddleware extends AnyHonoMiddleware,\n    const SecondMiddleware extends AnyHonoMiddleware,\n    E extends Env = MiddlewareEnvironment<FirstMiddleware>,\n    Path extends string = MiddlewarePath<FirstMiddleware>,\n    const Yield extends EffectYield = EffectYield,\n    const Returned extends AnyResult = AnyResult\n  >(\n    firstMiddleware: FirstMiddleware,\n    secondMiddleware: SecondMiddleware,\n    body: GeneratorBody<\n      HonoEffectContext<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware]>>,\n      Yield,\n      Returned\n    > &\n      GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned>,\n    options?: HonoEffectRouteOptions<\n      EffectSuccess<ProgramFromGenerator<Yield, Returned>>,\n      Context<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware]>>\n    >\n  ): Handler<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware]>, Promise<Response>>\n  gen<\n    const FirstMiddleware extends AnyHonoMiddleware,\n    const SecondMiddleware extends AnyHonoMiddleware,\n    const ThirdMiddleware extends AnyHonoMiddleware,\n    E extends Env = MiddlewareEnvironment<FirstMiddleware>,\n    Path extends string = MiddlewarePath<FirstMiddleware>,\n    const Yield extends EffectYield = EffectYield,\n    const Returned extends AnyResult = AnyResult\n  >(\n    firstMiddleware: FirstMiddleware,\n    secondMiddleware: SecondMiddleware,\n    thirdMiddleware: ThirdMiddleware,\n    body: GeneratorBody<\n      HonoEffectContext<\n        E,\n        Path,\n        MiddlewareInputs<[FirstMiddleware, SecondMiddleware, ThirdMiddleware]>\n      >,\n      Yield,\n      Returned\n    > &\n      GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned>,\n    options?: HonoEffectRouteOptions<\n      EffectSuccess<ProgramFromGenerator<Yield, Returned>>,\n      Context<E, Path, MiddlewareInputs<[FirstMiddleware, SecondMiddleware, ThirdMiddleware]>>\n    >\n  ): Handler<\n    E,\n    Path,\n    MiddlewareInputs<[FirstMiddleware, SecondMiddleware, ThirdMiddleware]>,\n    Promise<Response>\n  >\n  gen<\n    const InputMiddleware extends AnyHonoMiddleware,\n    E extends Env = MiddlewareEnvironment<InputMiddleware>,\n    Path extends string = MiddlewarePath<InputMiddleware>,\n    const Yield extends EffectYield = EffectYield,\n    const Returned extends AnyResult = AnyResult\n  >(\n    inputMiddleware: InputMiddleware,\n    body: GeneratorBody<\n      HonoEffectContext<E, Path, MiddlewareInput<InputMiddleware>>,\n      Yield,\n      Returned\n    > &\n      GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned>,\n    options?: HonoEffectRouteOptions<\n      EffectSuccess<ProgramFromGenerator<Yield, Returned>>,\n      Context<E, Path, MiddlewareInput<InputMiddleware>>\n    >\n  ): Handler<E, Path, MiddlewareInput<InputMiddleware>, Promise<Response>>\n  gen(...args: unknown[]): Handler<any, any, any, Promise<Response>> {\n    // oxlint-disable-next-line anti-slop/no-runtime-typeof -- overload dispatch distinguishes middleware from the generator body.\n    const last = args.at(-1)\n    // oxlint-disable-next-line anti-slop/no-runtime-typeof -- overload dispatch separates route options from function callbacks.\n    const hasOptions = args.length > 1 && (last === undefined || typeof last !== 'function')\n    // SAFETY: the overloads restrict the optional trailing argument to route options.\n    const options = (hasOptions ? last : {}) as AnyRouteOptions\n    const bodyIndex = hasOptions ? args.length - 2 : args.length - 1\n    // SAFETY: the overloads place the generator body immediately before route options.\n    const body = args[bodyIndex] as AnyGeneratorBody\n\n    let handler = this.makeHandler((context) => {\n      // SAFETY: Effect.fn's runtime generator accepts both sync and async generators; the cast only joins its overloads.\n      const program = Effect.fn(\n        () => body(context) as AsyncGenerator<EffectYield, AnyResult, unknown>\n      )\n\n      // SAFETY: the public GeneratorChecks overload validates requirements before this erased boundary.\n      return program as AnyProgram\n    }, options)\n\n    for (let index = bodyIndex - 1; index >= 0; index -= 1) {\n      // SAFETY: every argument before the generator body is an input middleware by the overloads.\n      handler = this.composeInputMiddleware(args[index] as AnyHonoMiddleware, handler)\n    }\n\n    return handler\n  }\n\n  guard<\n    E extends Env = Env,\n    Path extends string = string,\n    InputType extends Input = Input,\n    const Yield extends EffectYield = EffectYield,\n    const Returned extends AnyResult = AnyResult\n  >(\n    body: GeneratorBody<Context<E, Path, InputType>, Yield, Returned> &\n      GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned>\n  ): MiddlewareHandler<E, Path> {\n    return async (context, next) => {\n      const state = this.getState(context)\n      // SAFETY: Effect.fn accepts the sync or async generator supplied by the caller; this joins its overloads.\n      const program = Effect.fn(() => body(context) as AsyncGenerator<Yield, Returned, unknown>)\n      const result = await program()\n\n      if (Result.isError(result)) {\n        state.failure ??= { cause: result.error }\n        // SAFETY: the configured failure policy is the boundary for this guard's Result error channel.\n        return await this.onFailure(result.error as Failure, context)\n      }\n\n      await next()\n    }\n  }\n\n  private makeHandler(\n    makeProgram: (context: HonoContext) => AnyProgram,\n    options: HonoEffectRouteOptions<any, any>\n  ): Handler<any, any, any, Promise<Response>> {\n    return async (context) => {\n      const state = this.getState(context)\n      const program = makeProgram(context)\n      const result = await program()\n\n      if (Result.isError(result)) {\n        state.failure ??= { cause: result.error }\n        // SAFETY: the configured failure policy is the boundary for this Program's Result error channel.\n        return await this.onFailure(result.error as Failure, context)\n      }\n\n      const value = result.value\n\n      if (options.respond !== undefined) {\n        return await options.respond(value, context)\n      }\n\n      const success: HonoEffectSuccess<any> = { value }\n\n      if (options.status !== undefined) {\n        Object.assign(success, { status: options.status })\n      }\n\n      if (options.serialize !== undefined) {\n        Object.assign(success, { serialize: options.serialize })\n      }\n\n      return await this.onSuccess(success, context)\n    }\n  }\n\n  private composeInputMiddleware(\n    inputMiddleware: AnyHonoMiddleware,\n    handler: Handler<any, any, any, Promise<Response>>\n  ): Handler<any, any, any, Promise<Response>> {\n    return async (context, next) => {\n      let downstreamResponse: Response | undefined\n\n      const middlewareResponse = await inputMiddleware(context, async () => {\n        downstreamResponse = await handler(context, next)\n      })\n\n      if (middlewareResponse instanceof Response) {\n        return middlewareResponse\n      }\n\n      if (downstreamResponse !== undefined) {\n        return downstreamResponse\n      }\n\n      return context.res\n    }\n  }\n\n  private getState(context: HonoContext): RequestState {\n    const state = this.states.get(context)\n\n    if (state === undefined) {\n      throw new HonoEffectBoundaryMissingError()\n    }\n\n    return state\n  }\n}\n\nexport class HonoEffectBoundaryMissingError extends Error {\n  constructor() {\n    super('Register HonoEffect.middleware() before better-effect handlers')\n    this.name = 'HonoEffectBoundaryMissingError'\n  }\n}\n"],"mappings":";;;;;;AAuBA,MAAa,uBAMX,YAC+B;CAE/B,OAAO,iBAAiB,OAAO,SAAS,SAAS;EAC/C,MAAM,MAAM;EAGZ,IAFiB,QAAQ,OAAO,IAAI,GAEzB,MAAM,KAAA,GAAW;GAC1B,MAAM,KAAK;GACX;EACF;EAEA,MAAM,QAAsB,CAAC;EAC7B,QAAQ,OAAO,IAAI,KAAK,KAAK;EAE7B,IAAI;GACF,MAAM,eAAe,eAAe,MAAM,QAAQ,IAAI,GAAG;GACzD,MAAM,cAAc,QAAQ,eAAe,OAAO;GAElD,MAAM,QACJ,gBAAgB,KAAA,IACZ,eACA,MAAM,SAAS,cAAc,WAAoB;GAGvD,MAAM,QAAQ,QAAQ,QACpB,OACA,YAAY;IACV,IAAI;KACF,MAAM,KAAK;IACb,SAAS,OAAO;KACd,MAAM,YAAY,EAAE,MAAM;IAC5B;IAEA,IAAI,MAAM,YAAY,KAAA,GACpB,OAAO,OAAO,IAAI,MAAM,QAAQ,KAAK;IAGvC,IAAI,QAAQ,UAAU,KAAA,GACpB,OAAO,OAAO,IAAI,QAAQ,KAAK;IAGjC,OAAO,OAAO,GAAG,QAAQ,GAAG;GAC9B,GACA,EAAE,QAAQ,QAAQ,IAAI,IAAI,OAAO,CACnC;EACF,UAAU;GACR,QAAQ,OAAO,OAAO,GAAG;EAC3B;CACF,CAAC;AACH;;;AC7EA,MAAa,kBACX,EAAE,OAAO,QAAQ,aACjB,YACa;CACb,IAAI,iBAAiB,UACnB,OAAO;CAGT,MAAM,OAAO,cAAc,KAAA,IAAY,QAAQ,UAAU,KAAK;CAE9D,IAAI,SAAS,KAAA,GAEX,OAAO,QAAQ,KAAK,MAAO,UAAU,GAAa;CAGpD,IAAI,WAAW,KAAA,GACb,OAAO,QAAQ,KAAK,EAAE,MAAM,KAAK,CAAC;CAIpC,OAAO,QAAQ,KAAK,EAAE,MAAM,KAAK,GAAG,MAAe;AACrD;AAGA,MAAa,kBAAkB,OAAgB,YAAmC;CAChF,IAAI,iBAAiB,UACnB,OAAO;CAGT,MAAM,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK;CAErE,OAAO,QAAQ,KAAK,EAAE,OAAO,QAAQ,GAAG,GAAG;AAC7C;;;;ACAA,IAAa,aAAb,MAAa,WAIX;CACA;CAEA,yBAA0B,IAAI,QAA8B;CAE5D;CAEA;CAEA;CAEA,YACE,SACA,SACA;EACA,KAAK,UAAU;EACf,KAAK,YAAY,QAAQ,aAAa;EACtC,KAAK,YAAY,QAAQ,aAAa;EACtC,KAAK,eAAe,QAAQ;CAC9B;CAEA,OAAO,KAKL,SACA,UAAoD,CAAC,GACR;EAC7C,OAAO,IAAI,WAAW,SAAS,OAAO;CACxC;CAEA,aAA4F;EAC1F,OAAO,oBAAqD;GAC1D,SAAS,KAAK;GACd,QAAQ,KAAK;GACb,cAAc,KAAK;EACrB,CAAC;CACH;CAyEA,QAAQ,GAAG,MAA4D;EACrE,MAAM,OAAO,KAAK,GAAG,EAAE;EAEvB,MAAM,aAAa,KAAK,SAAS,MAAM,SAAS,KAAA,KAAa,OAAO,SAAS;EAE7E,MAAM,UAAW,aAAa,OAAO,CAAC;EACtC,MAAM,YAAY,aAAa,KAAK,SAAS,IAAI,KAAK,SAAS;EAE/D,MAAM,cAAc,KAAK;EACzB,IAAI,UAAU,KAAK,YAAY,aAAa,OAAO;EAEnD,KAAK,IAAI,QAAQ,YAAY,GAAG,SAAS,GAAG,SAAS,GAEnD,UAAU,KAAK,uBAAuB,KAAK,QAA6B,OAAO;EAGjF,OAAO;CACT;CAwFA,IAAI,GAAG,MAA4D;EAEjE,MAAM,OAAO,KAAK,GAAG,EAAE;EAEvB,MAAM,aAAa,KAAK,SAAS,MAAM,SAAS,KAAA,KAAa,OAAO,SAAS;EAE7E,MAAM,UAAW,aAAa,OAAO,CAAC;EACtC,MAAM,YAAY,aAAa,KAAK,SAAS,IAAI,KAAK,SAAS;EAE/D,MAAM,OAAO,KAAK;EAElB,IAAI,UAAU,KAAK,aAAa,YAAY;GAO1C,OALgB,OAAO,SACf,KAAK,OAAO,CAIP;EACf,GAAG,OAAO;EAEV,KAAK,IAAI,QAAQ,YAAY,GAAG,SAAS,GAAG,SAAS,GAEnD,UAAU,KAAK,uBAAuB,KAAK,QAA6B,OAAO;EAGjF,OAAO;CACT;CAEA,MAOE,MAE4B;EAC5B,OAAO,OAAO,SAAS,SAAS;GAC9B,MAAM,QAAQ,KAAK,SAAS,OAAO;GAGnC,MAAM,SAAS,MADC,OAAO,SAAS,KAAK,OAAO,CACjB,CAAC,CAAC;GAE7B,IAAI,OAAO,QAAQ,MAAM,GAAG;IAC1B,MAAM,YAAY,EAAE,OAAO,OAAO,MAAM;IAExC,OAAO,MAAM,KAAK,UAAU,OAAO,OAAkB,OAAO;GAC9D;GAEA,MAAM,KAAK;EACb;CACF;CAEA,YACE,aACA,SAC2C;EAC3C,OAAO,OAAO,YAAY;GACxB,MAAM,QAAQ,KAAK,SAAS,OAAO;GAEnC,MAAM,SAAS,MADC,YAAY,OACD,CAAC,CAAC;GAE7B,IAAI,OAAO,QAAQ,MAAM,GAAG;IAC1B,MAAM,YAAY,EAAE,OAAO,OAAO,MAAM;IAExC,OAAO,MAAM,KAAK,UAAU,OAAO,OAAkB,OAAO;GAC9D;GAEA,MAAM,QAAQ,OAAO;GAErB,IAAI,QAAQ,YAAY,KAAA,GACtB,OAAO,MAAM,QAAQ,QAAQ,OAAO,OAAO;GAG7C,MAAM,UAAkC,EAAE,MAAM;GAEhD,IAAI,QAAQ,WAAW,KAAA,GACrB,OAAO,OAAO,SAAS,EAAE,QAAQ,QAAQ,OAAO,CAAC;GAGnD,IAAI,QAAQ,cAAc,KAAA,GACxB,OAAO,OAAO,SAAS,EAAE,WAAW,QAAQ,UAAU,CAAC;GAGzD,OAAO,MAAM,KAAK,UAAU,SAAS,OAAO;EAC9C;CACF;CAEA,uBACE,iBACA,SAC2C;EAC3C,OAAO,OAAO,SAAS,SAAS;GAC9B,IAAI;GAEJ,MAAM,qBAAqB,MAAM,gBAAgB,SAAS,YAAY;IACpE,qBAAqB,MAAM,QAAQ,SAAS,IAAI;GAClD,CAAC;GAED,IAAI,8BAA8B,UAChC,OAAO;GAGT,IAAI,uBAAuB,KAAA,GACzB,OAAO;GAGT,OAAO,QAAQ;EACjB;CACF;CAEA,SAAiB,SAAoC;EACnD,MAAM,QAAQ,KAAK,OAAO,IAAI,OAAO;EAErC,IAAI,UAAU,KAAA,GACZ,MAAM,IAAI,+BAA+B;EAG3C,OAAO;CACT;AACF;AAEA,IAAa,iCAAb,cAAoD,MAAM;CACxD,cAAc;EACZ,MAAM,gEAAgE;EACtE,KAAK,OAAO;CACd;AACF"}
+{"version":3,"file":"hono.mjs","names":[],"sources":["../src/hono/request-boundary.ts","../src/hono/responses.ts","../src/hono/hono-effect.ts"],"sourcesContent":["import { Result } from 'better-result'\nimport { createMiddleware } from 'hono/factory'\nimport type { Env, MiddlewareHandler } from 'hono'\n\nimport { CurrentRequest } from '../standard-services'\nimport { Layer } from '../layer'\nimport type { LayerInput } from '../layer/inference'\nimport { Runtime } from '../runtime'\nimport type { AnyService } from '../service'\nimport type { HonoContext } from './types'\n\nexport type RequestState = {\n  failure?: {\n    readonly cause: unknown\n  }\n}\n\nexport type RequestBoundaryOptions<Provided extends AnyService, RequestLayer extends LayerInput> = {\n  readonly runtime: Runtime<Provided>\n  readonly states: WeakMap<object, RequestState>\n  readonly requestLayer?: ((context: HonoContext) => RequestLayer) | undefined\n}\n\nconst overrideRequestLayer = (base: LayerInput, replacement: LayerInput): Layer<any, any> => {\n  // SAFETY: HonoEffect.make validates the concrete replacement before this erased dispatch boundary.\n  return Layer.override(base, replacement as never)\n}\n\nexport const makeRequestBoundary = <\n  Provided extends AnyService,\n  RequestLayer extends LayerInput,\n  E extends Env = Env,\n  Path extends string = string\n>(\n  options: RequestBoundaryOptions<Provided, RequestLayer>\n): MiddlewareHandler<E, Path> => {\n  // SAFETY: createMiddleware preserves the Hono handler contract; only the generic Context is restored here.\n  return createMiddleware(async (context, next) => {\n    const key = context\n    const existing = options.states.get(key)\n\n    if (existing !== undefined) {\n      await next()\n      return\n    }\n\n    const state: RequestState = {}\n    options.states.set(key, state)\n\n    try {\n      const requestLayer = CurrentRequest.layer(context.req.raw)\n      const customLayer = options.requestLayer?.(context)\n      const layer: Layer<any, any> =\n        customLayer === undefined ? requestLayer : overrideRequestLayer(requestLayer, customLayer)\n\n      await options.runtime.runWith(\n        layer,\n        async () => {\n          try {\n            await next()\n          } catch (cause) {\n            state.failure ??= { cause }\n          }\n\n          if (state.failure !== undefined) {\n            return Result.err(state.failure.cause)\n          }\n\n          if (context.error !== undefined) {\n            return Result.err(context.error)\n          }\n\n          return Result.ok(context.res)\n        },\n        { signal: context.req.raw.signal }\n      )\n    } finally {\n      options.states.delete(key)\n    }\n  }) as MiddlewareHandler<E, Path>\n}\n","import type { HonoContext, HonoEffectSuccess } from './types'\n\nconst DEFAULT_FAILURE_MESSAGE = 'Internal Server Error'\n\nexport const defaultSuccess = (\n  { value, status, serialize }: HonoEffectSuccess,\n  context: HonoContext\n): Response => {\n  if (value instanceof Response) {\n    return value\n  }\n\n  const body = serialize === undefined ? value : serialize(value)\n\n  if (body === undefined) {\n    // SAFETY: route status is intentionally configurable and Hono validates it at response construction.\n    return context.body(null, (status ?? 204) as never)\n  }\n\n  if (status === undefined) {\n    return context.json({ data: body })\n  }\n\n  // SAFETY: route status is intentionally configurable and Hono validates it at response construction.\n  return context.json({ data: body }, status as never)\n}\n\n// oxlint-disable-next-line anti-slop/no-unknown-parameters -- Result errors are intentionally opaque at this HTTP boundary.\nexport const defaultFailure = (error: unknown, context: HonoContext): Response => {\n  if (error instanceof Response) {\n    return error\n  }\n\n  return context.json({ error: DEFAULT_FAILURE_MESSAGE }, 500)\n}\n","import { Result } from 'better-result'\nimport type { Context, Env, Handler, Input, MiddlewareHandler } from 'hono'\n\nimport { Effect } from '../effect'\nimport type { EffectSuccess, EffectYield, ProgramFromGenerator } from '../effect/types'\nimport { Runtime } from '../runtime'\nimport type { LayerInput } from '../layer/inference'\nimport type { AnyService } from '../service'\nimport { makeRequestBoundary, type RequestState } from './request-boundary'\nimport { defaultFailure, defaultSuccess } from './responses'\nimport type {\n  AnyGeneratorBody,\n  AnyHonoMiddleware,\n  AnyProgram,\n  AnyProgramFactory,\n  AnyResult,\n  AnyRouteOptions,\n  AvailableServices,\n  CompleteProgram,\n  DefaultRequestLayer,\n  GeneratorBody,\n  GeneratorChecks,\n  HonoContext,\n  HonoEffectContext,\n  HonoEffectOptions,\n  HonoEffectRouteOptions,\n  HonoRequestLayerChecks,\n  HonoEffectSuccess,\n  MiddlewareEnvironment,\n  ResponseLike,\n  MiddlewareInputs,\n  MiddlewarePath\n} from './types'\n\ntype HonoRouteArguments<Middlewares extends readonly AnyHonoMiddleware[], Body, Options> =\n  | [...middlewares: Middlewares, body: Body]\n  | [...middlewares: Middlewares, body: Body, options: Options | undefined]\n\ntype HonoHandlerFactory<\n  ContextType extends object,\n  Provided extends AnyService,\n  Failure,\n  ProgramFactory extends (context: ContextType) => AnyProgram\n> = ProgramFactory &\n  ([ReturnType<ProgramFactory>] extends [\n    CompleteProgram<Provided, ReturnType<ProgramFactory>, Failure>\n  ]\n    ? unknown\n    : (context: ContextType) => CompleteProgram<Provided, ReturnType<ProgramFactory>, Failure>)\n\n/** Run Effect Programs inside one Runtime execution per Hono request. */\nexport class HonoEffect<\n  Provided extends AnyService = any,\n  Failure = unknown,\n  RequestLayer extends LayerInput = DefaultRequestLayer\n> {\n  readonly runtime: Runtime<Provided>\n\n  private readonly states = new WeakMap<object, RequestState>()\n\n  private readonly onSuccess: NonNullable<HonoEffectOptions<Failure, RequestLayer>['onSuccess']>\n\n  private readonly onFailure: NonNullable<HonoEffectOptions<Failure, RequestLayer>['onFailure']>\n\n  private readonly requestLayer: HonoEffectOptions<Failure, RequestLayer>['requestLayer']\n\n  private constructor(\n    runtime: Runtime<Provided>,\n    options: HonoEffectOptions<Failure, RequestLayer>\n  ) {\n    this.runtime = runtime\n    this.onSuccess = options.onSuccess ?? defaultSuccess\n    this.onFailure = options.onFailure ?? defaultFailure\n    this.requestLayer = options.requestLayer\n  }\n\n  static make<\n    Provided extends AnyService,\n    Failure = unknown,\n    RequestLayer extends LayerInput = DefaultRequestLayer\n  >(\n    runtime: Runtime<Provided>,\n    options?: HonoEffectOptions<Failure, RequestLayer> &\n      HonoRequestLayerChecks<Provided, RequestLayer>\n  ): HonoEffect<Provided, Failure, RequestLayer> {\n    return new HonoEffect(runtime, options ?? {})\n  }\n\n  middleware<E extends Env = Env, Path extends string = string>(): MiddlewareHandler<E, Path> {\n    return makeRequestBoundary<Provided, RequestLayer, E, Path>({\n      runtime: this.runtime,\n      states: this.states,\n      requestLayer: this.requestLayer\n    })\n  }\n\n  handler<\n    E extends Env = Env,\n    Path extends string = string,\n    InputType extends Input = Input,\n    Program extends AnyProgram = AnyProgram\n  >(\n    makeProgram: (\n      context: Context<E, Path, InputType>\n    ) => CompleteProgram<AvailableServices<Provided, RequestLayer>, Program, Failure>,\n    options?: HonoEffectRouteOptions<EffectSuccess<Program>, Context<E, Path, InputType>>\n  ): Handler<E, Path, InputType, Promise<Response>>\n  handler<\n    const Middlewares extends readonly AnyHonoMiddleware[],\n    E extends Env = MiddlewareEnvironment<Middlewares>,\n    Path extends string = MiddlewarePath<Middlewares>,\n    const ProgramFactory extends (\n      context: HonoEffectContext<E, Path, MiddlewareInputs<Middlewares>>\n    ) => AnyProgram = (\n      context: HonoEffectContext<E, Path, MiddlewareInputs<Middlewares>>\n    ) => AnyProgram\n  >(\n    ...args: HonoRouteArguments<\n      Middlewares,\n      HonoHandlerFactory<\n        HonoEffectContext<E, Path, MiddlewareInputs<Middlewares>>,\n        AvailableServices<Provided, RequestLayer>,\n        Failure,\n        ProgramFactory\n      >,\n      HonoEffectRouteOptions<\n        EffectSuccess<ReturnType<ProgramFactory>>,\n        Context<E, Path, MiddlewareInputs<Middlewares>>\n      >\n    >\n  ): Handler<E, Path, MiddlewareInputs<Middlewares>, Promise<Response>>\n  handler(...args: unknown[]): Handler<any, any, any, Promise<Response>> {\n    const last = args.at(-1)\n    // oxlint-disable-next-line anti-slop/no-runtime-typeof -- overload dispatch separates route options from function callbacks.\n    const hasOptions = args.length > 1 && (last === undefined || typeof last !== 'function')\n    // SAFETY: the overloads restrict the optional trailing argument to route options.\n    const options = ((hasOptions ? last : {}) ?? {}) as AnyRouteOptions\n    const bodyIndex = hasOptions ? args.length - 2 : args.length - 1\n    // SAFETY: the overloads place the program factory immediately before route options.\n    const makeProgram = args[bodyIndex] as AnyProgramFactory\n    let handler = this.makeHandler(makeProgram, options)\n\n    for (let index = bodyIndex - 1; index >= 0; index -= 1) {\n      // SAFETY: every argument before the program factory is an input middleware by the overloads.\n      handler = this.composeInputMiddleware(args[index] as AnyHonoMiddleware, handler)\n    }\n\n    return handler\n  }\n\n  gen<\n    E extends Env = Env,\n    Path extends string = string,\n    InputType extends Input = Input,\n    const Yield extends EffectYield = EffectYield,\n    const Returned extends AnyResult = AnyResult\n  >(\n    body: GeneratorBody<Context<E, Path, InputType>, Yield, Returned> &\n      GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned, Failure>,\n    options?: HonoEffectRouteOptions<\n      EffectSuccess<ProgramFromGenerator<Yield, Returned>>,\n      Context<E, Path, InputType>\n    >\n  ): Handler<E, Path, InputType, Promise<Response>>\n  gen<\n    const Middlewares extends readonly AnyHonoMiddleware[],\n    E extends Env = MiddlewareEnvironment<Middlewares>,\n    Path extends string = MiddlewarePath<Middlewares>,\n    const Yield extends EffectYield = EffectYield,\n    const Returned extends AnyResult = AnyResult\n  >(\n    ...args: HonoRouteArguments<\n      Middlewares,\n      GeneratorBody<HonoEffectContext<E, Path, MiddlewareInputs<Middlewares>>, Yield, Returned> &\n        GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned, Failure>,\n      HonoEffectRouteOptions<\n        EffectSuccess<ProgramFromGenerator<Yield, Returned>>,\n        Context<E, Path, MiddlewareInputs<Middlewares>>\n      >\n    >\n  ): Handler<E, Path, MiddlewareInputs<Middlewares>, Promise<Response>>\n  gen(...args: unknown[]): Handler<any, any, any, Promise<Response>> {\n    // oxlint-disable-next-line anti-slop/no-runtime-typeof -- overload dispatch distinguishes middleware from the generator body.\n    const last = args.at(-1)\n    // oxlint-disable-next-line anti-slop/no-runtime-typeof -- overload dispatch separates route options from function callbacks.\n    const hasOptions = args.length > 1 && (last === undefined || typeof last !== 'function')\n    // SAFETY: the overloads restrict the optional trailing argument to route options.\n    const options = ((hasOptions ? last : {}) ?? {}) as AnyRouteOptions\n    const bodyIndex = hasOptions ? args.length - 2 : args.length - 1\n    // SAFETY: the overloads place the generator body immediately before route options.\n    const body = args[bodyIndex] as AnyGeneratorBody\n\n    let handler = this.makeHandler((context) => {\n      // SAFETY: Effect.fn's runtime generator accepts both sync and async generators; the cast only joins its overloads.\n      const program = Effect.fn(\n        () => body(context) as AsyncGenerator<EffectYield, AnyResult, unknown>\n      )\n\n      // SAFETY: the public GeneratorChecks overload validates requirements before this erased boundary.\n      return program as AnyProgram\n    }, options)\n\n    for (let index = bodyIndex - 1; index >= 0; index -= 1) {\n      // SAFETY: every argument before the generator body is an input middleware by the overloads.\n      handler = this.composeInputMiddleware(args[index] as AnyHonoMiddleware, handler)\n    }\n\n    return handler\n  }\n\n  guard<\n    E extends Env = Env,\n    Path extends string = string,\n    InputType extends Input = Input,\n    const Yield extends EffectYield = EffectYield,\n    const Returned extends AnyResult = AnyResult\n  >(\n    body: GeneratorBody<Context<E, Path, InputType>, Yield, Returned> &\n      GeneratorChecks<AvailableServices<Provided, RequestLayer>, Yield, Returned, Failure>\n  ): MiddlewareHandler<E, Path> {\n    return async (context, next) => {\n      const state = this.getState(context)\n      // SAFETY: Effect.fn accepts the sync or async generator supplied by the caller; this joins its overloads.\n      const program = Effect.fn(() => body(context) as AsyncGenerator<Yield, Returned, unknown>)\n      const result = await program()\n\n      if (Result.isError(result)) {\n        return await this.handleFailure(state, result.error, context)\n      }\n\n      await next()\n    }\n  }\n\n  private handleFailure(\n    state: RequestState,\n    // oxlint-disable-next-line anti-slop/no-unknown-parameters -- Result errors are intentionally opaque at this HTTP boundary.\n    error: unknown,\n    context: HonoContext\n  ): ResponseLike {\n    state.failure ??= { cause: error }\n    // SAFETY: the public handler, gen, and guard constraints validate this error against Failure.\n    return this.onFailure(error as Failure, context)\n  }\n\n  private makeHandler(\n    makeProgram: (context: HonoContext) => AnyProgram,\n    options: HonoEffectRouteOptions<any, any>\n  ): Handler<any, any, any, Promise<Response>> {\n    return async (context) => {\n      const state = this.getState(context)\n      const program = makeProgram(context)\n      const result = await program()\n\n      if (Result.isError(result)) {\n        return await this.handleFailure(state, result.error, context)\n      }\n\n      const value = result.value\n\n      if (options.respond !== undefined) {\n        return await options.respond(value, context)\n      }\n\n      const success: HonoEffectSuccess<any> = { value }\n\n      if (options.status !== undefined) {\n        Object.assign(success, { status: options.status })\n      }\n\n      if (options.serialize !== undefined) {\n        Object.assign(success, { serialize: options.serialize })\n      }\n\n      return await this.onSuccess(success, context)\n    }\n  }\n\n  private composeInputMiddleware(\n    inputMiddleware: AnyHonoMiddleware,\n    handler: Handler<any, any, any, Promise<Response>>\n  ): Handler<any, any, any, Promise<Response>> {\n    return async (context, next) => {\n      let downstreamResponse: Response | undefined\n      let nextCalled = false\n\n      // Match Hono's compose guard: a middleware may advance the chain only once.\n      const nextOnce = async (): Promise<void> => {\n        if (nextCalled) {\n          throw new Error('next() called multiple times')\n        }\n\n        nextCalled = true\n        downstreamResponse = await handler(context, next)\n      }\n      const middlewareResponse = await inputMiddleware(context, nextOnce)\n\n      if (middlewareResponse instanceof Response) {\n        return middlewareResponse\n      }\n\n      if (downstreamResponse !== undefined) {\n        return downstreamResponse\n      }\n\n      return context.res\n    }\n  }\n\n  private getState(context: HonoContext): RequestState {\n    const state = this.states.get(context)\n\n    if (state === undefined) {\n      throw new HonoEffectBoundaryMissingError()\n    }\n\n    return state\n  }\n}\n\nexport class HonoEffectBoundaryMissingError extends Error {\n  constructor() {\n    super('Register HonoEffect.middleware() before better-effect handlers')\n    this.name = 'HonoEffectBoundaryMissingError'\n  }\n}\n"],"mappings":";;;;;;AAuBA,MAAM,wBAAwB,MAAkB,gBAA6C;CAE3F,OAAO,MAAM,SAAS,MAAM,WAAoB;AAClD;AAEA,MAAa,uBAMX,YAC+B;CAE/B,OAAO,iBAAiB,OAAO,SAAS,SAAS;EAC/C,MAAM,MAAM;EAGZ,IAFiB,QAAQ,OAAO,IAAI,GAEzB,MAAM,KAAA,GAAW;GAC1B,MAAM,KAAK;GACX;EACF;EAEA,MAAM,QAAsB,CAAC;EAC7B,QAAQ,OAAO,IAAI,KAAK,KAAK;EAE7B,IAAI;GACF,MAAM,eAAe,eAAe,MAAM,QAAQ,IAAI,GAAG;GACzD,MAAM,cAAc,QAAQ,eAAe,OAAO;GAClD,MAAM,QACJ,gBAAgB,KAAA,IAAY,eAAe,qBAAqB,cAAc,WAAW;GAE3F,MAAM,QAAQ,QAAQ,QACpB,OACA,YAAY;IACV,IAAI;KACF,MAAM,KAAK;IACb,SAAS,OAAO;KACd,MAAM,YAAY,EAAE,MAAM;IAC5B;IAEA,IAAI,MAAM,YAAY,KAAA,GACpB,OAAO,OAAO,IAAI,MAAM,QAAQ,KAAK;IAGvC,IAAI,QAAQ,UAAU,KAAA,GACpB,OAAO,OAAO,IAAI,QAAQ,KAAK;IAGjC,OAAO,OAAO,GAAG,QAAQ,GAAG;GAC9B,GACA,EAAE,QAAQ,QAAQ,IAAI,IAAI,OAAO,CACnC;EACF,UAAU;GACR,QAAQ,OAAO,OAAO,GAAG;EAC3B;CACF,CAAC;AACH;;;AC9EA,MAAM,0BAA0B;AAEhC,MAAa,kBACX,EAAE,OAAO,QAAQ,aACjB,YACa;CACb,IAAI,iBAAiB,UACnB,OAAO;CAGT,MAAM,OAAO,cAAc,KAAA,IAAY,QAAQ,UAAU,KAAK;CAE9D,IAAI,SAAS,KAAA,GAEX,OAAO,QAAQ,KAAK,MAAO,UAAU,GAAa;CAGpD,IAAI,WAAW,KAAA,GACb,OAAO,QAAQ,KAAK,EAAE,MAAM,KAAK,CAAC;CAIpC,OAAO,QAAQ,KAAK,EAAE,MAAM,KAAK,GAAG,MAAe;AACrD;AAGA,MAAa,kBAAkB,OAAgB,YAAmC;CAChF,IAAI,iBAAiB,UACnB,OAAO;CAGT,OAAO,QAAQ,KAAK,EAAE,OAAO,wBAAwB,GAAG,GAAG;AAC7D;;;;ACiBA,IAAa,aAAb,MAAa,WAIX;CACA;CAEA,yBAA0B,IAAI,QAA8B;CAE5D;CAEA;CAEA;CAEA,YACE,SACA,SACA;EACA,KAAK,UAAU;EACf,KAAK,YAAY,QAAQ,aAAa;EACtC,KAAK,YAAY,QAAQ,aAAa;EACtC,KAAK,eAAe,QAAQ;CAC9B;CAEA,OAAO,KAKL,SACA,SAE6C;EAC7C,OAAO,IAAI,WAAW,SAAS,WAAW,CAAC,CAAC;CAC9C;CAEA,aAA4F;EAC1F,OAAO,oBAAqD;GAC1D,SAAS,KAAK;GACd,QAAQ,KAAK;GACb,cAAc,KAAK;EACrB,CAAC;CACH;CAqCA,QAAQ,GAAG,MAA4D;EACrE,MAAM,OAAO,KAAK,GAAG,EAAE;EAEvB,MAAM,aAAa,KAAK,SAAS,MAAM,SAAS,KAAA,KAAa,OAAO,SAAS;EAE7E,MAAM,WAAY,aAAa,OAAO,CAAC,MAAM,CAAC;EAC9C,MAAM,YAAY,aAAa,KAAK,SAAS,IAAI,KAAK,SAAS;EAE/D,MAAM,cAAc,KAAK;EACzB,IAAI,UAAU,KAAK,YAAY,aAAa,OAAO;EAEnD,KAAK,IAAI,QAAQ,YAAY,GAAG,SAAS,GAAG,SAAS,GAEnD,UAAU,KAAK,uBAAuB,KAAK,QAA6B,OAAO;EAGjF,OAAO;CACT;CAiCA,IAAI,GAAG,MAA4D;EAEjE,MAAM,OAAO,KAAK,GAAG,EAAE;EAEvB,MAAM,aAAa,KAAK,SAAS,MAAM,SAAS,KAAA,KAAa,OAAO,SAAS;EAE7E,MAAM,WAAY,aAAa,OAAO,CAAC,MAAM,CAAC;EAC9C,MAAM,YAAY,aAAa,KAAK,SAAS,IAAI,KAAK,SAAS;EAE/D,MAAM,OAAO,KAAK;EAElB,IAAI,UAAU,KAAK,aAAa,YAAY;GAO1C,OALgB,OAAO,SACf,KAAK,OAAO,CAIP;EACf,GAAG,OAAO;EAEV,KAAK,IAAI,QAAQ,YAAY,GAAG,SAAS,GAAG,SAAS,GAEnD,UAAU,KAAK,uBAAuB,KAAK,QAA6B,OAAO;EAGjF,OAAO;CACT;CAEA,MAOE,MAE4B;EAC5B,OAAO,OAAO,SAAS,SAAS;GAC9B,MAAM,QAAQ,KAAK,SAAS,OAAO;GAGnC,MAAM,SAAS,MADC,OAAO,SAAS,KAAK,OAAO,CACjB,CAAC,CAAC;GAE7B,IAAI,OAAO,QAAQ,MAAM,GACvB,OAAO,MAAM,KAAK,cAAc,OAAO,OAAO,OAAO,OAAO;GAG9D,MAAM,KAAK;EACb;CACF;CAEA,cACE,OAEA,OACA,SACc;EACd,MAAM,YAAY,EAAE,OAAO,MAAM;EAEjC,OAAO,KAAK,UAAU,OAAkB,OAAO;CACjD;CAEA,YACE,aACA,SAC2C;EAC3C,OAAO,OAAO,YAAY;GACxB,MAAM,QAAQ,KAAK,SAAS,OAAO;GAEnC,MAAM,SAAS,MADC,YAAY,OACD,CAAC,CAAC;GAE7B,IAAI,OAAO,QAAQ,MAAM,GACvB,OAAO,MAAM,KAAK,cAAc,OAAO,OAAO,OAAO,OAAO;GAG9D,MAAM,QAAQ,OAAO;GAErB,IAAI,QAAQ,YAAY,KAAA,GACtB,OAAO,MAAM,QAAQ,QAAQ,OAAO,OAAO;GAG7C,MAAM,UAAkC,EAAE,MAAM;GAEhD,IAAI,QAAQ,WAAW,KAAA,GACrB,OAAO,OAAO,SAAS,EAAE,QAAQ,QAAQ,OAAO,CAAC;GAGnD,IAAI,QAAQ,cAAc,KAAA,GACxB,OAAO,OAAO,SAAS,EAAE,WAAW,QAAQ,UAAU,CAAC;GAGzD,OAAO,MAAM,KAAK,UAAU,SAAS,OAAO;EAC9C;CACF;CAEA,uBACE,iBACA,SAC2C;EAC3C,OAAO,OAAO,SAAS,SAAS;GAC9B,IAAI;GACJ,IAAI,aAAa;GAGjB,MAAM,WAAW,YAA2B;IAC1C,IAAI,YACF,MAAM,IAAI,MAAM,8BAA8B;IAGhD,aAAa;IACb,qBAAqB,MAAM,QAAQ,SAAS,IAAI;GAClD;GACA,MAAM,qBAAqB,MAAM,gBAAgB,SAAS,QAAQ;GAElE,IAAI,8BAA8B,UAChC,OAAO;GAGT,IAAI,uBAAuB,KAAA,GACzB,OAAO;GAGT,OAAO,QAAQ;EACjB;CACF;CAEA,SAAiB,SAAoC;EACnD,MAAM,QAAQ,KAAK,OAAO,IAAI,OAAO;EAErC,IAAI,UAAU,KAAA,GACZ,MAAM,IAAI,+BAA+B;EAG3C,OAAO;CACT;AACF;AAEA,IAAa,iCAAb,cAAoD,MAAM;CACxD,cAAc;EACZ,MAAM,gEAAgE;EACtE,KAAK,OAAO;CACd;AACF"}