import { type Abort } from "./__internal/Abort.js";
import { type Raw_Optional_Value } from "./__internal/Raw_Optional_Value.js";
import { type Iterator } from "./__internal/refiner/Iterator.js";
import * as p_di from "./data.js";
export type Refiner<Result extends p_di.Value, Error extends p_di.Value, Input extends p_di.Value> = ($: Input, abort: Abort<Error>) => Result;
export type Refiner_With_Parameter<Result extends p_di.Value, Error extends p_di.Value, Input extends p_di.Value, Parameter extends p_di.Value> = ($: Input, abort: Abort<Error>, $p: Parameter) => Result;
export type Refiner_Without_Error<Result extends p_di.Value, Input extends p_di.Value> = ($: Input) => Result;
export type Refiner_Without_Error_With_Parameter<Result extends p_di.Value, Input extends p_di.Value, Parameter extends p_di.Value> = ($: Input, $p: Parameter) => Result;
export type Production<Result extends p_di.Value, Error extends p_di.Value, Iterator_Item extends p_di.Value, End_Info extends p_di.Value> = (iterator: Iterator<Iterator_Item, End_Info>, abort: Abort<Error>) => Result;
export type Production_With_Parameter<Result extends p_di.Value, Error extends p_di.Value, Iterator_Item extends p_di.Value, End_Info extends p_di.Value, Parameter extends p_di.Value> = (iterator: Iterator<Iterator_Item, End_Info>, abort: Abort<Error>, $p: Parameter) => Result;
export type Production_Without_Error<Result extends p_di.Value, Iterator_Item extends p_di.Value, End_Info extends p_di.Value> = (iterator: Iterator<Iterator_Item, End_Info>) => Result;
export type Production_Without_Error_With_Parameter<Result extends p_di.Value, Iterator_Item extends p_di.Value, End_Info extends p_di.Value, Parameter extends p_di.Value> = (iterator: Iterator<Iterator_Item, End_Info>, $p: Parameter) => Result;
export declare namespace lookup {
    type Acyclic<Type extends p_di.Value> = {
        get_entry: (id: string, abort: {
            no_such_entry: Abort<null>;
            no_context_lookup: Abort<null>;
            cycle_detected: Abort<p_di.List<string>>;
        }) => Type;
        __get_entry_raw: (id: string, abort: {
            no_context_lookup: Abort<null>;
            cycle_detected: Abort<p_di.List<string>>;
        }) => Raw_Optional_Value<Type>;
    };
    type Cyclic<Type extends p_di.Value> = {
        get_entry: (id: string, abort: {
            no_such_entry: Abort<string>;
            no_context_lookup: Abort<null>;
            accessing_cyclic_sibling_before_it_is_resolved: Abort<null>;
        }) => p_di.Circular_Dependency<Type>;
    };
    type Stack<Type extends p_di.Value> = {
        get_entry: (id: string, abort: {
            no_context_lookup: Abort<null>;
            no_such_entry: Abort<string>;
            cycle_detected: Abort<p_di.List<string>>;
        }) => Type;
        get_entry_depth: (id: string, abort: {
            no_context_lookup: Abort<null>;
            no_such_entry: Abort<string>;
            cycle_detected: Abort<p_di.List<string>>;
        }) => number;
    };
}