import type { RoUint8Array, RoNeTuple, RoPair, RoArray, If } from "@xlabs-xyz/const-utils";
import type { Layout, ProperLayout, Item, NumItem, BytesItem, ArrayItem, SwitchItem, DeriveType, NumType, LayoutObject, FixedConversion, CustomConversion } from "./layout.js";
export type FixedItemsOf<L extends Layout> = StartFilterItemsOf<L, true>;
export type DynamicItemsOf<L extends Layout> = StartFilterItemsOf<L, false>;
export declare const fixedItemsOf: <const L extends Layout>(layout: L) => FilterItemsOf<L, true>;
export declare const dynamicItemsOf: <const L extends Layout>(layout: L) => FilterItemsOf<L, false>;
export declare function addFixedValues<const L extends Layout>(layout: L, dynamicValues: DeriveType<DynamicItemsOf<L>>): DeriveType<L>;
type IPLPair = RoPair<any, ProperLayout>;
type FilterItemsOfIPLPairs<ILA extends RoArray<IPLPair>, Fixed extends boolean> = ILA extends infer V extends RoArray<IPLPair> ? V extends readonly [infer H extends IPLPair, ...infer T extends RoArray<IPLPair>] ? FilterItemsOf<H[1], Fixed> extends infer P extends ProperLayout | void ? P extends RoNeTuple ? [[H[0], P], ...FilterItemsOfIPLPairs<T, Fixed>] : FilterItemsOfIPLPairs<T, Fixed> : never : [] : never;
type FilterLayoutOfItem<I extends {
    layout: Layout;
}, Fixed extends boolean> = FilterItemsOf<I["layout"], Fixed> extends infer L extends Item | RoNeTuple ? {
    readonly [K in keyof I]: K extends "layout" ? L : I[K];
} : void;
type FilterItem<II extends Item, Fixed extends boolean> = II extends infer I extends Item ? I extends NumItem ? I["custom"] extends NumType | FixedConversion<infer _From extends NumType, infer _To> ? If<Fixed, I, void> : If<Fixed, void, I> : I extends ArrayItem ? FilterLayoutOfItem<I, Fixed> : I extends BytesItem & {
    readonly layout: Layout;
} ? I["custom"] extends {
    readonly custom: FixedConversion<infer _From extends LayoutObject, infer _To>;
} ? If<Fixed, I, void> : I extends {
    readonly custom: CustomConversion<infer _From extends LayoutObject, infer _To>;
} ? If<Fixed, void, I> : FilterLayoutOfItem<I, Fixed> : I extends BytesItem ? I["custom"] extends RoUint8Array | FixedConversion<infer _From extends RoUint8Array, infer _To> ? If<Fixed, I, void> : If<Fixed, void, I> : I extends SwitchItem ? {
    readonly [K in keyof I]: K extends "layouts" ? FilterItemsOfIPLPairs<I["layouts"], Fixed> : I[K];
} : never : never;
type FilterItemsOf<L extends Layout, Fixed extends boolean> = Layout extends L ? Layout : L extends infer LI extends Item ? FilterItem<LI, Fixed> : L extends infer P extends ProperLayout ? P extends readonly [infer H extends Item, ...infer T extends ProperLayout] ? FilterItem<H, Fixed> extends infer NI ? NI extends Item ? [NI, ...FilterItemsOf<T, Fixed>] : FilterItemsOf<T, Fixed> : never : [] : never;
type StartFilterItemsOf<L extends Layout, Fixed extends boolean> = FilterItemsOf<L, Fixed> extends infer V extends Layout ? V : never;
export {};
//# sourceMappingURL=fixedDynamic.d.ts.map