/*!
 * Copyright (c) Microsoft Corporation. All rights reserved.
 * Licensed under the MIT License.
 */
import { Primitive } from "./types";
import { BinaryOperatorToken, ExpAlgebra, UnaryOperatorToken } from "./parser";
export declare enum NodeKind {
    Literal = 0,
    Ident = 1,
    Paren = 2,
    Fun = 3,
    App = 4,
    Conditional = 5,
    Dot = 6,
    BinaryOp = 7,
    UnaryOp = 8,
    Missing = 9,
    Sequence = 10
}
interface LiteralNode {
    kind: NodeKind.Literal;
    value: Primitive;
}
interface IdentNode<I> {
    kind: NodeKind.Ident;
    value: I;
}
interface ParenNode<I> {
    kind: NodeKind.Paren;
    value: ExpressionNode<I>;
}
interface FunNode<I> {
    kind: NodeKind.Fun;
    children: ExpressionNode<I>[];
}
interface AppNode<I> {
    kind: NodeKind.App;
    children: ExpressionNode<I>[];
}
interface ConditionalNode<I> {
    kind: NodeKind.Conditional;
    children: ExpressionNode<I>[];
}
interface DotNode<I> {
    kind: NodeKind.Dot;
    operand1: ExpressionNode<I>;
    operand2: ExpressionNode<I>;
}
interface BinaryOpNode<I> {
    kind: NodeKind.BinaryOp;
    op: BinaryOperatorToken;
    operand1: ExpressionNode<I>;
    operand2: ExpressionNode<I>;
}
interface UnaryOpNode<I> {
    kind: NodeKind.UnaryOp;
    op: UnaryOperatorToken;
    operand1: ExpressionNode<I>;
}
interface MissingNode {
    kind: NodeKind.Missing;
    value: undefined;
}
interface SequenceNode<I> {
    kind: NodeKind.Sequence;
    children: ExpressionNode<I>[];
}
export declare type ExpressionNode<I> = LiteralNode | IdentNode<I> | ParenNode<I> | FunNode<I> | AppNode<I> | ConditionalNode<I> | DotNode<I> | BinaryOpNode<I> | UnaryOpNode<I> | MissingNode | SequenceNode<I>;
export declare function ident<I>(id: I): IdentNode<I>;
export declare function createAlgebra<T, I>(resolve: (id: string) => I): ExpAlgebra<ExpressionNode<I>>;
export declare const parseExpression: (input: string) => [boolean, ExpressionNode<string>];
export {};
//# sourceMappingURL=ast.d.ts.map