ProcedureList

declare function add<Req extends Any>(): {
  <State, Public extends Any, Private extends Any, R2>(tag: Req["_tag"], handler: Handler<Req, NoInfer<State>, NoInfer<Public> | NoInfer<Private>, R2>): <R>(self: ProcedureList<State, Public, Private, R>) => ProcedureList<State, Req | Public, Private, R2 | R>;
  <State, Public extends Any, Private extends Any, R, R2>(self: ProcedureList<State, Public, Private, R>, tag: Req["_tag"], handler: Handler<Req, NoInfer<State>, NoInfer<Public> | NoInfer<Private>, R2>): ProcedureList<State, Req | Public, Private, R | R2>;
}

declare function addPrivate<Req extends Any>(): {
  <State, Public extends Any, Private extends Any, R2>(tag: Req["_tag"], handler: Handler<Req, NoInfer<State>, NoInfer<Public> | NoInfer<Private>, R2>): <R>(self: ProcedureList<State, Public, Private, R>) => ProcedureList<State, Public, Req | Private, R2 | R>;
  <State, Public extends Any, Private extends Any, R, R2>(self: ProcedureList<State, Public, Private, R>, tag: Req["_tag"], handler: Handler<Req, NoInfer<State>, NoInfer<Public> | NoInfer<Private>, R2>): ProcedureList<State, Public, Req | Private, R | R2>;
}

declare const addProcedure: {
  <Req extends Any, State, R2>(procedure: Procedure<Req, State, R2>): <Public extends Any, Private extends Any, R>(self: ProcedureList<State, Public, Private, R>) => ProcedureList<State, Req | Public, Private, R2 | R>;
  <State, Public extends Any, Private extends Any, R, Req extends Any, R2>(self: ProcedureList<State, Public, Private, R>, procedure: Procedure<Req, State, R2>): ProcedureList<State, Public | Req, Private, R | R2>;
}

declare const addProcedurePrivate: {
  <Req extends Any, State, R2>(procedure: Procedure<Req, State, R2>): <Public extends Any, Private extends Any, R>(self: ProcedureList<State, Public, Private, R>) => ProcedureList<State, Public, Req | Private, R2 | R>;
  <State, Public extends Any, Private extends Any, R, Req extends Any, R2>(self: ProcedureList<State, Public, Private, R>, procedure: Procedure<Req, State, R2>): ProcedureList<State, Public, Private | Req, R | R2>;
}

declare const withInitialState: {
  <State>(initialState: NoInfer<State>): <Public extends Any, Private extends Any, R>(self: ProcedureList<State, Public, Private, R>) => ProcedureList<State, Public, Private, R>;
  <State, Public extends Any, Private extends Any, R>(self: ProcedureList<State, Public, Private, R>, initialState: NoInfer<State>): ProcedureList<State, Public, Private, R>;
}

declare function make<State>(initialState: State, options?: {
  readonly identifier?: string;
}): ProcedureList<State, never, never, never>

interface ProcedureList<State, Public extends Procedure.TaggedRequest.Any, Private extends Procedure.TaggedRequest.Any, R> extends Effect<ProcedureList<State, Public, Private, R>> {
  readonly [TypeId]: typeof TypeId;
  readonly identifier: string;
  readonly initialState: State;
  readonly private: readonly Array<Procedure<Private, State, R>>;
  readonly public: readonly Array<Procedure<Public, State, R>>;
}

declare const TypeId: unique symbol

type TypeId = typeof TypeId