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 "../schema.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_With_Lookups_And_Parameter<Result extends p_di.Value, Error extends p_di.Value, Input extends p_di.Value, Lookups, Parameter extends p_di.Value> = (context: Input, abort: Abort<Error>, lookups: Lookups, parameters: 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 {
    namespace guaranteed {
        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>;
        };
    }
    namespace possible {
        type Acyclic<Type extends p_di.Value> = {
            map: <Result>(if_set: (lookup: guaranteed.Acyclic<Type>) => Result, if_not_set: () => Result) => Result;
        };
        type Cyclic<Type extends p_di.Value> = {
            map: <Result>(if_set: (lookup: guaranteed.Cyclic<Type>) => Result, if_not_set: () => Result) => Result;
        };
    }
}