import { LocationRange } from "../ast/types.js";
import { Value } from "../value/index.js";
export type LambdaIRParameter = {
    name: string;
    annotation: AnyExpressionIR | undefined;
};
type MakeIRContent<Kind extends string, Payload> = {
    kind: Kind;
    value: Payload;
};
export type IRContent = MakeIRContent<"Program", {
    statements: StatementIR[];
    result: AnyExpressionIR | undefined;
    exports: string[];
    bindings: Record<string, number>;
}> | MakeIRContent<"Assign", {
    left: string;
    right: AnyExpressionIR;
}> | MakeIRContent<"Block", {
    statements: StatementIR[];
    result: AnyExpressionIR;
}> | MakeIRContent<"StackRef", number> | MakeIRContent<"CaptureRef", number> | MakeIRContent<"Ternary", {
    condition: AnyExpressionIR;
    ifTrue: AnyExpressionIR;
    ifFalse: AnyExpressionIR;
}> | MakeIRContent<"Call", {
    fn: AnyExpressionIR;
    args: AnyExpressionIR[];
    as: "call" | "decorate";
}> | MakeIRContent<"Lambda", {
    name?: string;
    captures: Ref[];
    parameters: LambdaIRParameter[];
    body: AnyExpressionIR;
}> | MakeIRContent<"Array", AnyExpressionIR[]> | MakeIRContent<"Dict", [AnyExpressionIR, AnyExpressionIR][]> | MakeIRContent<"Value", Value>;
export type IRContentByKind<T extends IRContent["kind"]> = Extract<IRContent, {
    kind: T;
}>;
export type AnyExpressionIRContent = Exclude<IRContent, {
    kind: "Program" | "Assign";
}>;
export type Ref = IRContentByKind<"StackRef" | "CaptureRef">;
export type IR = IRContent & {
    location: LocationRange;
};
export type IRByKind<T extends IRContent["kind"]> = Extract<IR, {
    kind: T;
}>;
export type AnyExpressionIR = Exclude<IR, {
    kind: "Program" | "Assign";
}>;
export type StatementIR = IRByKind<"Assign">;
export type ProgramIR = IRByKind<"Program">;
export declare const eCall: (fn: AnyExpressionIR, args: AnyExpressionIR[], as?: "call" | "decorate") => IRContentByKind<"Call">;
export declare function make<Kind extends IRContent["kind"]>(kind: Kind, value: IRContentByKind<Kind>["value"]): IRContentByKind<Kind>;
export {};
//# sourceMappingURL=types.d.ts.map