export declare const add: {
  <
    Req extends Schema.TaggedRequest.Any,
    I,
    ReqR,
    Fields extends { readonly _tag: Schema.Literal<[Req["_tag"]]> },
    State,
    Public extends Schema.TaggedRequest.Any,
    Private extends Schema.TaggedRequest.Any,
    R2
  >(
    schema: any,
    handler: Procedure.Handler<Req, Types.NoInfer<State>, any, R2>
  ): <R>(
    self: SerializableProcedureList<State, Public, Private, R>
  ) => SerializableProcedureList<State, Req | Public, Private, any>
  <
    State,
    Public extends Schema.TaggedRequest.Any,
    Private extends Schema.TaggedRequest.Any,
    R,
    Req extends Schema.TaggedRequest.Any,
    I,
    ReqR,
    Fields extends { readonly _tag: Schema.Literal<[Req["_tag"]]> },
    R2
  >(
    self: SerializableProcedureList<State, Public, Private, R>,
    schema: any,
    handler: Procedure.Handler<Req, Types.NoInfer<State>, any, R2>
  ): SerializableProcedureList<State, Public | Req, Private, any>
}

export declare const addPrivate: {
  <
    Req extends Schema.TaggedRequest.Any,
    I,
    ReqR,
    Fields extends { readonly _tag: Schema.Literal<[Req["_tag"]]> },
    State,
    Public extends Schema.TaggedRequest.Any,
    Private extends Schema.TaggedRequest.Any,
    R2
  >(
    schema: any,
    handler: Procedure.Handler<Req, Types.NoInfer<State>, any, R2>
  ): <R>(
    self: SerializableProcedureList<State, Public, Private, R>
  ) => SerializableProcedureList<State, Public, Req | Private, any>
  <
    State,
    Public extends Schema.TaggedRequest.Any,
    Private extends Schema.TaggedRequest.Any,
    R,
    Req extends Schema.TaggedRequest.Any,
    I,
    ReqR,
    Fields extends { readonly _tag: Schema.Literal<[Req["_tag"]]> },
    R2
  >(
    self: SerializableProcedureList<State, Public, Private, R>,
    schema: any,
    handler: Procedure.Handler<Req, Types.NoInfer<State>, any, R2>
  ): SerializableProcedureList<State, Public, Private | Req, any>
}

export declare const withInitialState: {
  <State>(
    initialState: Types.NoInfer<State>
  ): <Public extends Schema.TaggedRequest.Any, Private extends Schema.TaggedRequest.Any, R>(
    self: SerializableProcedureList<State, Public, Private, R>
  ) => SerializableProcedureList<State, Public, Private, R>
  <State, Public extends Schema.TaggedRequest.Any, Private extends Schema.TaggedRequest.Any, R>(
    self: SerializableProcedureList<State, Public, Private, R>,
    initialState: Types.NoInfer<State>
  ): SerializableProcedureList<State, Public, Private, R>
}

export declare const make: <State>(
  initialState: State,
  options?: { readonly identifier?: string }
) => SerializableProcedureList<State, never, never, never>

export interface SerializableProcedureList<
  State,
  Public extends Schema.TaggedRequest.Any,
  Private extends Schema.TaggedRequest.Any,
  R
> extends Effect.Effect<SerializableProcedureList<State, Public, Private, R>> {
  readonly [ProcedureList.TypeId]: ProcedureList.TypeId
  readonly initialState: State
  readonly public: ReadonlyArray<Procedure.SerializableProcedure<Public, State, R>>
  readonly private: ReadonlyArray<Procedure.SerializableProcedure<Private, State, R>>
  readonly identifier: string
}