import { MatchState, Matcher } from './match';
import { InitTag, HasContexts, HasMeta, HasInit, TokenTag, ContextKey, ContextToken, ContextMeta, ParserResult } from './model';
export interface ParseFunc<CtxMap extends HasContexts, Ctx extends ContextKey<CtxMap>, Meta> {
    <MetaType extends Meta>($: ParserHandle<CtxMap, Ctx, MetaType>, ...captures: string[]): void;
}
export interface ParserHandle<CtxMap extends HasContexts, Ctx extends ContextKey<CtxMap>, Meta> extends MatchState {
    p: ParserMatchers<CtxMap, Meta>;
    a: ParserProcs<CtxMap, Meta>;
    c: Ctx;
    m: Meta;
    t: ContextToken<CtxMap, Ctx>[];
}
export interface InitFunc<CtxMap extends HasContexts, Ctx extends ContextKey<CtxMap>, Meta> {
    <MetaType extends Meta>(m: MetaType): void;
}
export declare type ParserInits<CtxMap extends HasContexts, Meta> = InitFunc<CtxMap, ContextKey<CtxMap>, Meta>[];
export declare const dropToken: any[];
export interface ProcFunc<CtxMap extends HasContexts, Ctx extends ContextKey<CtxMap>, Meta> {
    <MetaType extends Meta>($: ParserHandle<CtxMap, Ctx, MetaType>, token: ContextToken<CtxMap, Ctx>): ContextToken<CtxMap, Ctx>[] | void;
}
export declare type ParserContextProcs<CtxMap extends HasContexts, Ctx extends ContextKey<CtxMap>, Meta> = {
    [Tag in TokenTag<ContextToken<CtxMap, Ctx>>]: ProcFunc<CtxMap, ContextKey<CtxMap>, Meta>;
};
export declare type ParserProcs<CtxMap extends HasContexts, Meta> = {
    [Ctx in ContextKey<CtxMap>]: ParserContextProcs<CtxMap, Ctx, Meta>;
};
export declare type ParserRuleSimple<CtxMap extends HasContexts, Ctx extends ContextKey<CtxMap>, Meta> = [Ctx[], // contexts
number, // weight (order)
string, // regexp to match
ParseFunc<CtxMap, Ctx, Meta>];
export declare type ParserRuleWithInit<CtxMap extends HasContexts, Ctx extends ContextKey<CtxMap>, Meta> = [Ctx[], // contexts
number, // weight (order)
string, // regexp to match
ParseFunc<CtxMap, Ctx, Meta>, // parsing function
InitFunc<CtxMap, Ctx, Meta>];
export declare type ParserRuleWithPost<CtxMap extends HasContexts, Ctx extends ContextKey<CtxMap>, Meta> = [Ctx[], // contexts
number, // weight (order)
string, // regexp to match
ParseFunc<CtxMap, Ctx, Meta>, // parsing function
TokenTag<ContextToken<CtxMap, Ctx>>[], // token tags
ProcFunc<CtxMap, Ctx, Meta>];
export declare type ParserRuleWithInitAndPost<CtxMap extends HasContexts, Ctx extends ContextKey<CtxMap>, Meta> = [Ctx[], // contexts
number, // weight (order)
string, // regexp to match
ParseFunc<CtxMap, Ctx, Meta>, // parsing function
InitFunc<CtxMap, Ctx, Meta>, // init function
TokenTag<ContextToken<CtxMap, Ctx>>[], // token tags
ProcFunc<CtxMap, Ctx, Meta>];
export declare type ParserRule<CtxMap extends HasContexts, Ctx extends ContextKey<CtxMap>, Meta> = ParserRuleSimple<CtxMap, Ctx, Meta> | ParserRuleWithInit<CtxMap, Ctx, Meta> | ParserRuleWithPost<CtxMap, Ctx, Meta> | ParserRuleWithInitAndPost<CtxMap, Ctx, Meta>;
export declare type ParserRules<CtxMap extends HasContexts, Meta> = ParserRule<CtxMap, ContextKey<CtxMap>, Meta>[];
export declare type ParserMatchers<CtxMap extends HasContexts, Meta> = {
    [Ctx in ContextKey<CtxMap>]: Matcher<ParserHandle<CtxMap, Ctx, Meta>>;
};
export interface Parser<CtxMap extends HasContexts & HasMeta, Ctx extends ContextKey<CtxMap>> {
    p: ParserMatchers<CtxMap, ContextMeta<CtxMap>>;
    m: ParserInits<CtxMap, ContextMeta<CtxMap>>;
    a: ParserProcs<CtxMap, ContextMeta<CtxMap>>;
    s: Ctx;
}
export declare function init<CtxMap extends HasContexts & HasMeta & HasInit>(...rules: ParserRules<CtxMap, ContextMeta<CtxMap>>): Parser<CtxMap, InitTag>;
export declare function init<CtxMap extends HasContexts & HasMeta, Ctx extends ContextKey<CtxMap>>(start: Ctx, ...rules: ParserRules<CtxMap, ContextMeta<CtxMap>>): Parser<CtxMap, Ctx>;
export declare function parse<CtxMap extends HasContexts & HasMeta, Ctx extends ContextKey<CtxMap>>({ p, a, s, m }: Parser<CtxMap, Ctx>, source: string): ParserResult<CtxMap, Ctx>;
export declare function parseNest<CtxMap extends HasContexts & HasMeta, Ctx extends ContextKey<CtxMap>, NestedCtx extends ContextKey<CtxMap>>($: ParserHandle<CtxMap, Ctx, ContextMeta<CtxMap>>, src: string, ctx: NestedCtx): ContextToken<CtxMap, NestedCtx>[];
export declare function parseNest<CtxMap extends HasContexts & HasMeta, Ctx extends ContextKey<CtxMap>>($: ParserHandle<CtxMap, Ctx, ContextMeta<CtxMap>>, src: string): ContextToken<CtxMap, Ctx>[];
export declare function procNest<CtxMap extends HasContexts & HasMeta, Ctx extends ContextKey<CtxMap>>($: ParserHandle<CtxMap, Ctx, ContextMeta<CtxMap>>, tokens: ContextToken<CtxMap, Ctx>[]): void;
export declare function procNest<CtxMap extends HasContexts & HasMeta, Ctx extends ContextKey<CtxMap>, NestedCtx extends ContextKey<CtxMap>>($: ParserHandle<CtxMap, Ctx, ContextMeta<CtxMap>>, tokens: ContextToken<CtxMap, Ctx>[], ctx: NestedCtx): void;
export declare function lastToken<CtxMap extends HasContexts, Ctx extends ContextKey<CtxMap>, Meta>({ t: tokens }: ParserHandle<CtxMap, Ctx, Meta>): ContextToken<CtxMap, Ctx> | void;
export declare function pushToken<CtxMap extends HasContexts, Ctx extends ContextKey<CtxMap>, Meta>({ t: tokens }: ParserHandle<CtxMap, Ctx, Meta>, token: ContextToken<CtxMap, Ctx>): void;
export interface TextToken {
    $: keyof any;
    _: string;
}
export declare function pushText<CtxMap extends HasContexts, Ctx extends ContextKey<CtxMap>, Meta, Token extends TextToken & ContextToken<CtxMap, Ctx>>($: ParserHandle<CtxMap, Ctx, Meta>, tag: TokenTag<Token>, chunk: string): void;