import type * as T from '@traversable/registry';
import { t } from '@traversable/schema';
import type { Index } from './functor.js';
export type IR<T = any> = t.Leaf | t.eq<T> | t.ref<T> | t.array<T> | t.record<T> | t.optional<T> | t.union<T[]> | t.intersect<readonly T[]> | t.tuple<T[]> | t.object<[k: string, T][]>;
export declare namespace IR {
    type Options = {
        preSortIndex?: number;
    };
    const defaults: {};
    function clone<T>(schema: T, { preSortIndex }?: Options): T & {
        preSortIndex?: number | undefined;
    };
}
export type F<T> = t.Leaf | t.eq<T> | t.array<T> | t.record<T> | t.optional<T> | t.union<T[]> | t.intersect<readonly T[]> | t.tuple<T[]> | t.object<[k: string, v: T][]>;
export type Fixpoint = t.Leaf | t.eq<Fixpoint> | t.array<Fixpoint> | t.record<Fixpoint> | t.optional<Fixpoint> | t.union<Fixpoint[]> | t.intersect<Fixpoint[]> | t.tuple<Fixpoint[]> | t.object<[k: string, v: Fixpoint][]>;
export interface Free extends T.HKT {
    [-1]: F<this[0]>;
}
export type Context = {
    VAR: string;
    indent(numberOfSpaces: number): string;
    dedent(numberOfSpaces: number): string;
    join(numberOfSpaces: number): string;
};
export declare const makeIndent: (offset: number) => (numberOfSpaces: number) => string;
export declare const makeDedent: (offset: number) => (numberOfSpaces: number) => string;
export declare const makeJoin: (offset: number) => (numberOfSpaces: number) => string;
export declare const buildContext: (ix: T.Require<Index, 'offset' | 'varName'>) => Context;
export declare function keyAccessor(key: keyof any | undefined, $: Index): string;
/**
 * Binding the element's index to the element itself is a hack to make sure
 * we preserve the original order of the tuple, even while sorting
 */
export declare const bindPreSortIndices: <T>(x: T[]) => T[];
/**
 * Reading `x` to access the "preSortIndex" is a hack to make sure
 * we preserve the original order of the tuple, even while sorting
 */
export declare function indexAccessor(index: keyof any | undefined, $: {
    isOptional?: boolean;
}, x?: any): string;
//# sourceMappingURL=shared.d.ts.map