import type * as p_di from "../../schema.js";
import type * as lookup from "../declaration/lookup.js";
export declare const prepend_dictionary_keys: <T extends p_di.Value>(dict: p_di.Dictionary<T>, prefix: string) => p_di.Dictionary<T>;
export declare const append_dictionary_keys: <T extends p_di.Value>(dict: p_di.Dictionary<T>, suffix: string) => p_di.Dictionary<T>;
export declare const map_dictionary: <T extends p_di.Value, New_Type extends p_di.Value>(dict: p_di.Dictionary<T>, assign_entry: (value: T, id: string) => New_Type) => p_di.Dictionary<New_Type>;
export declare const convert_to_list: <T extends p_di.Value, New_Type extends p_di.Value>(dict: p_di.Dictionary<T>, assign_item: (value: T, id: string) => New_Type) => p_di.List<New_Type>;
export declare const convert_to_list_via_segments: <T extends p_di.Value, New_Type extends p_di.Value>(dict: p_di.Dictionary<T>, assign_segment: (value: T, id: string) => p_di.List<New_Type>) => p_di.List<New_Type>;
export declare const get_possible_entry: <T extends p_di.Value, Result extends p_di.Value>(dict: p_di.Dictionary<T>, id: string, if_set: ($: T) => Result, if_not_set: () => Result) => Result;
export declare const zip_dictionaries: <T extends p_di.Value, Other_Type extends p_di.Value, Result extends p_di.Value>(dict: p_di.Dictionary<T>, other: p_di.Dictionary<Other_Type>, both: (value: T, other_value: Other_Type, id: string) => Result, missing: (value: T, id: string) => Result, superfluous: (value: Other_Type, id: string) => Result) => p_di.Dictionary<Result>;
export declare const resolve_dictionary: <T extends p_di.Value, Resolved extends p_di.Value>(dict: p_di.Dictionary<T>, assign_entry: (value: T, id: string, acyclic_lookup: lookup.guaranteed.Acyclic<Resolved>, cyclic_lookup: lookup.guaranteed.Cyclic<Resolved>) => Resolved) => p_di.Dictionary<Resolved>;
export declare const map_list: <T extends p_di.Value, New_Type extends p_di.Value>(list: p_di.List<T>, assign_item: (item: T, index: number) => New_Type) => p_di.List<New_Type>;
export declare const map_list_to_segments: <T extends p_di.Value, New_Type extends p_di.Value>(list: p_di.List<T>, assign_segment: (item: T, index: number) => p_di.List<New_Type>) => p_di.List<New_Type>;
export declare const navigate_list_to_segments: <T extends p_di.Value, Cursor extends p_di.Value, New_Type extends p_di.Value>(list: p_di.List<T>, initial: Cursor, segment: (item: T, cursor: Cursor) => p_di.List<New_Type>, next: (item: T, cursor: Cursor) => Cursor) => p_di.List<New_Type>;
export declare const resolve_list: <T extends p_di.Value, Cursor extends p_di.Value, Result extends p_di.Value>(list: p_di.List<T>, initial: Cursor, assign_item: (item: T, cursor: Cursor) => Result, next: (result: Result, source_item: T, cursor: Cursor) => Cursor) => p_di.List<Result>;
export declare const on_has_first_item: <T extends p_di.Value, RT extends p_di.Value>(list: p_di.List<T>, if_true: ($: T, rest: p_di.List<T>) => RT, if_not_true: ($: p_di.List<T>) => RT) => RT;
export declare const on_has_last_item: <T extends p_di.Value, RT extends p_di.Value>(list: p_di.List<T>, if_true: ($: T, rest: p_di.List<T>) => RT, if_not_true: () => RT) => RT;
export declare const decide_optional: <T extends p_di.Value, RT extends p_di.Value>(optional_value: p_di.Optional_Value<T>, if_set: ($: T) => RT, if_not_set: () => RT) => RT;
export declare const map_optional: <T extends p_di.Value, New_Type extends p_di.Value>(optional_value: p_di.Optional_Value<T>, assign_set_value: (value: T) => New_Type) => p_di.Optional_Value<New_Type>;
export declare const decide_boolean: <RT>(boolean_value: boolean, if_true: () => RT, if_false: () => RT) => RT;
export declare const decide_state: <State extends p_di.State, RT extends p_di.Value>(state: State, assign: (output: State) => RT) => RT;
export declare const to_state: <State extends p_di.State>(string: string, assign_state: (text: string) => State) => State;
export declare function change_context<T, R>($: T, callback: (context: T) => R): R;
export declare function call<Source, Result, Arguments extends readonly unknown[]>(source: Source, transform: (source: Source, ...arguments_: Arguments) => Result, ...arguments_: Arguments): Result;
export declare function call_with_value<Source, Result, Arguments extends readonly unknown[]>(source: Source, transform: (source: Source, ...arguments_: Arguments) => Result, ...arguments_: Arguments): Result;
type State_Option<State, Name extends string> = State extends readonly [Name, p_di.Value] ? State : never;
export declare function expect_state_option<State extends p_di.State, Name extends State[0], Result extends p_di.Value>(state: State, expected: Name, if_expected: (value: State_Option<State, Name>[1]) => Result, if_unexpected: (name: State[0]) => Result): Result;
export declare function reuse<T extends p_di.Value>(value: T): T;
export declare function map_boolean(value: boolean): boolean;
export declare function map_number(value: number): number;
export declare function map_text(value: string): string;
export declare function map_nothing<T extends null | symbol>(value: T): T;
export {};