import type * as T from '@traversable/registry';
import type { IR } from './shared.js';
export type Index = {
    siblingCount: number;
    offset: number;
    dataPath: (string | number)[];
    isOptional: boolean;
    isRoot: boolean;
    schemaPath: (keyof any)[];
    varName: string;
};
export interface Free extends T.HKT {
    [-1]: IR<this[0]>;
}
export type Algebra<T = string> = T.IndexedAlgebra<Index, Free, T>;
export declare const defaultIndex: Index;
export declare const Functor: T.Functor.Ix<Index, Free>;
export declare const fold: <T>(algebra: Algebra<T>) => (x: IR) => T;
//# sourceMappingURL=functor.d.ts.map