export declare const make: <I, R, E, O>(
  process: (request: I) => any,
  options?: Runner.Options<I, O, E> | undefined
) => Effect.Effect<void, WorkerError, any>

export declare const makeSerialized: <
  R,
  I,
  A extends Schema.TaggedRequest.Any,
  const Handlers extends SerializedRunner.Handlers<A>
>(
  schema: Schema.Schema<A, I, R>,
  handlers: Handlers
) => Effect.Effect<void, WorkerError, any>

export declare const layer: <I, R, E, O>(
  process: (request: I) => any,
  options?: Runner.Options<I, O, E> | undefined
) => Layer.Layer<never, WorkerError, PlatformRunner | R>

export declare const layerSerialized: <
  R,
  I,
  A extends Schema.TaggedRequest.Any,
  const Handlers extends SerializedRunner.Handlers<A>
>(
  schema: Schema.Schema<A, I, R>,
  handlers: Handlers
) => Layer.Layer<never, WorkerError, PlatformRunner | R | SerializedRunner.HandlersContext<Handlers>>

export interface BackingRunner<I, O> {
  readonly queue: Queue.Dequeue<readonly [portId: number, message: I]>
  readonly send: (portId: number, message: O, transfers?: ReadonlyArray<unknown>) => Effect.Effect<void>
}

export type Message<I> = readonly [request: 0, I] | readonly [close: 1]

export interface PlatformRunner {
  readonly [PlatformRunnerTypeId]: PlatformRunnerTypeId
  readonly start: <I, O>(shutdown: Effect.Effect<void>) => Effect.Effect<BackingRunner<I, O>, WorkerError, Scope.Scope>
}

export interface Options<I, O, E> {
  readonly decode?: (message: unknown) => Effect.Effect<I, WorkerError>
  readonly encodeOutput?: (request: I, message: O) => Effect.Effect<unknown, WorkerError>
  readonly encodeError?: (request: I, error: E) => Effect.Effect<unknown, WorkerError>
  readonly transfers?: (message: O | E) => ReadonlyArray<unknown>
}

export type Handlers<A extends Schema.TaggedRequest.Any> = {
  readonly [K in A["_tag"]]: Extract<A, { readonly _tag: K }> extends Serializable.SerializableWithResult<
    infer S,
    infer _SI,
    infer _SR,
    infer A,
    infer _AI,
    infer E,
    infer _EI,
    infer _RR
  >
    ? (
        _: S
      ) => Stream.Stream<A, E, any> | Effect.Effect<A, E, any> | Layer.Layer<any, E, any> | Layer.Layer<never, E, any>
    : never
}

export type HandlersContext<Handlers extends Record<string, (...args: ReadonlyArray<any>) => any>> =
  | Exclude<
      {
        [K in keyof Handlers]: ReturnType<Handlers[K]> extends Stream.Stream<infer _A, infer _E, infer R> ? R : never
      }[keyof Handlers],
      InitialContext<Handlers>
    >
  | InitialEnv<Handlers>

export declare const PlatformRunner: Context.Tag<PlatformRunner, PlatformRunner>

export declare const PlatformRunnerTypeId: typeof PlatformRunnerTypeId

export type PlatformRunnerTypeId = typeof PlatformRunnerTypeId