export declare const makeManager: Effect.Effect<WorkerManager, never, PlatformWorker>

export declare const makePool: <I, O, E>(
  options: WorkerPool.Options<I>
) => Effect.Effect<WorkerPool<I, O, E>, never, any>

export declare const makePoolLayer: <Tag, I, O, E>(
  tag: Context.Tag<Tag, WorkerPool<I, O, E>>,
  options: WorkerPool.Options<I>
) => Layer.Layer<Tag, never, WorkerManager | Spawner>

export declare const makePoolSerialized: <I extends Schema.TaggedRequest.Any>(
  options: SerializedWorkerPool.Options<I>
) => Effect.Effect<SerializedWorkerPool<I>, never, any>

export declare const makeSerialized: <I extends Schema.TaggedRequest.Any>(
  options: SerializedWorker.Options<I>
) => Effect.Effect<SerializedWorker<I>, WorkerError, any>

export declare const layerManager: Layer.Layer<WorkerManager, never, PlatformWorker>

export declare const layerSpawner: <W = unknown>(spawner: SpawnerFn<W>) => Layer.Layer<Spawner, never, never>

export declare const makePoolSerializedLayer: <Tag, I extends Schema.TaggedRequest.Any>(
  tag: Context.Tag<Tag, SerializedWorkerPool<I>>,
  options: SerializedWorkerPool.Options<I>
) => Layer.Layer<Tag, never, WorkerManager | Spawner>

export interface BackingWorker<I, O> {
  readonly fiber: Fiber.Fiber<never, WorkerError>
  readonly send: (message: I, transfers?: ReadonlyArray<unknown>) => Effect.Effect<void, WorkerError>
  readonly queue: Queue.Dequeue<BackingWorker.Message<O>>
}

export type Message<O> = readonly [ready: 0] | readonly [data: 1, O]

export interface PlatformWorker {
  readonly [PlatformWorkerTypeId]: PlatformWorkerTypeId
  readonly spawn: <I, O>(worker: unknown) => Effect.Effect<BackingWorker<I, O>, WorkerError, Scope.Scope>
}

export interface SerializedWorker<I extends Schema.TaggedRequest.Any> {
  readonly id: number
  readonly execute: <Req extends I>(
    message: Req
  ) => Req extends Serializable.WithResult<infer A, infer _I, infer E, infer _EI, infer R>
    ? Stream.Stream<A, E | WorkerError | ParseResult.ParseError, R>
    : never
  readonly executeEffect: <Req extends I>(
    message: Req
  ) => Req extends Serializable.WithResult<infer A, infer _I, infer E, infer _EI, infer R>
    ? Effect.Effect<A, E | WorkerError | ParseResult.ParseError, R>
    : never
}

export interface BaseOptions<I> {
  readonly permits?: number
  readonly queue?: WorkerQueue<I>
}

export type Options<I> =
  Extract<I, { readonly _tag: "InitialMessage" }> extends never
    ? BaseOptions<I> & {
        readonly initialMessage?: LazyArg<I>
      }
    : BaseOptions<I> & {
        readonly initialMessage: LazyArg<Extract<I, { readonly _tag: "InitialMessage" }>>
      }

export interface SerializedWorkerPool<I extends Schema.TaggedRequest.Any> {
  readonly backing: Pool.Pool<SerializedWorker<I>, WorkerError>
  readonly broadcast: <Req extends I>(
    message: Req
  ) => Req extends Serializable.WithResult<infer _A, infer _I, infer E, infer _EI, infer R>
    ? Effect.Effect<void, E | WorkerError | ParseResult.ParseError, R>
    : never
  readonly execute: <Req extends I>(
    message: Req
  ) => Req extends Serializable.WithResult<infer A, infer _I, infer E, infer _EI, infer R>
    ? Stream.Stream<A, E | WorkerError | ParseResult.ParseError, R>
    : never
  readonly executeEffect: <Req extends I>(
    message: Req
  ) => Req extends Serializable.WithResult<infer A, infer _I, infer E, infer _EI, infer R>
    ? Effect.Effect<A, E | WorkerError | ParseResult.ParseError, R>
    : never
}

export type Options<I> = SerializedWorker.Options<I> &
  (
    | {
        readonly onCreate?: (worker: Worker<I, unknown, unknown>) => Effect.Effect<void, WorkerError>
        readonly size: number
      }
    | {
        readonly onCreate?: (worker: Worker<I, unknown, unknown>) => Effect.Effect<void, WorkerError>
        readonly minSize: number
        readonly maxSize: number
        readonly timeToLive: Duration.DurationInput
      }
  )

export interface Spawner {
  readonly _: unique symbol
}

export interface SpawnerFn<W = unknown> {
  (id: number): W
}

export interface Worker<I, O, E = never> {
  readonly id: number
  readonly execute: (message: I) => Stream.Stream<O, E | WorkerError>
  readonly executeEffect: (message: I) => Effect.Effect<O, E | WorkerError>
}

export interface Options<I> {
  readonly encode?: (message: I) => Effect.Effect<unknown, WorkerError>
  readonly transfers?: (message: I) => ReadonlyArray<unknown>
  readonly permits?: number
  readonly queue?: WorkerQueue<I>
  readonly initialMessage?: LazyArg<I>
}

export type Request<I = unknown> =
  | readonly [id: number, data: 0, I, trace: Span | undefined]
  | readonly [id: number, interrupt: 1]

export type Response<E, O = unknown> =
  | readonly [id: number, data: 0, ReadonlyArray<O>]
  | readonly [id: number, end: 1]
  | readonly [id: number, end: 1, ReadonlyArray<O>]
  | readonly [id: number, error: 2, E]
  | readonly [id: number, defect: 3, Schema.CauseEncoded<WorkerErrorFrom>]

export type Span = readonly [traceId: string, spanId: string, sampled: boolean]

export interface WorkerManager {
  readonly [WorkerManagerTypeId]: WorkerManagerTypeId
  readonly spawn: <I, O, E>(
    options: Worker.Options<I>
  ) => Effect.Effect<Worker<I, O, E>, WorkerError, Scope.Scope | Spawner>
}

export interface WorkerPool<I, O, E = never> {
  readonly backing: Pool.Pool<Worker<I, O, E>, WorkerError>
  readonly broadcast: (message: I) => Effect.Effect<void, E | WorkerError>
  readonly execute: (message: I) => Stream.Stream<O, E | WorkerError>
  readonly executeEffect: (message: I) => Effect.Effect<O, E | WorkerError>
}

export type Options<I> = Worker.Options<I> &
  (
    | {
        readonly onCreate?: (worker: Worker<I, unknown, unknown>) => Effect.Effect<void, WorkerError>
        readonly size: number
      }
    | {
        readonly onCreate?: (worker: Worker<I, unknown, unknown>) => Effect.Effect<void, WorkerError>
        readonly minSize: number
        readonly maxSize: number
        readonly timeToLive: Duration.DurationInput
      }
  )

export interface WorkerQueue<I> {
  readonly offer: (id: number, item: I, span: Option.Option<Tracer.Span>) => Effect.Effect<void>
  readonly take: Effect.Effect<readonly [id: number, item: I, span: Option.Option<Tracer.Span>]>
  readonly shutdown: Effect.Effect<void>
}

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

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

export declare const PlatformWorkerTypeId: typeof PlatformWorkerTypeId

export type PlatformWorkerTypeId = typeof PlatformWorkerTypeId

export declare const WorkerManagerTypeId: typeof WorkerManagerTypeId

export type WorkerManagerTypeId = typeof WorkerManagerTypeId