import type { Array, ParseArray } from './array';
import type { BigInt, ParseBigInt } from './bigint';
import type { Const, ParseConst } from './const';
import type { Ident, ParseIdent } from './ident';
import type { Integer, ParseInteger } from './integer';
import type { Number, ParseNumber } from './number';
import type { Optional, ParseOptional } from './optional';
import type { ParseRest, Rest } from './rest';
import type { ParseString, String } from './string';
import type { ParseTuple, Tuple } from './tuple';
import type { ParseUnion, Union } from './union';
import type { ParseUnsignedInteger, UnsignedInteger } from './unsigned_integer';
import type { ParseUnsignedNumber, UnsignedNumber } from './unsigned_number';
import type { ParseUntil_1, Until_1 } from './until_1';
import type { ParseUntil, Until } from './until';
import type { IParser } from './parser';
type ParseInput<Input extends string, Parser extends IParser> = (Parser extends Array<infer Parser extends IParser> ? ParseArray<Parser, Input> : Parser extends BigInt ? ParseBigInt<Input> : Parser extends Const<infer Const extends string> ? ParseConst<Const, Input> : Parser extends Ident ? ParseIdent<Input> : Parser extends Integer ? ParseInteger<Input> : Parser extends Number ? ParseNumber<Input> : Parser extends Optional<infer Parser extends IParser> ? ParseOptional<Parser, Input> : Parser extends Rest ? ParseRest<Input> : Parser extends String<infer Quotes extends string[]> ? ParseString<Quotes, Input> : Parser extends Tuple<infer Parsers extends IParser[]> ? ParseTuple<Parsers, Input> : Parser extends Union<infer Parsers extends IParser[]> ? ParseUnion<Parsers, Input> : Parser extends UnsignedInteger ? ParseUnsignedInteger<Input> : Parser extends UnsignedNumber ? ParseUnsignedNumber<Input> : Parser extends Until<infer End extends string[]> ? ParseUntil<End, Input> : Parser extends Until_1<infer End extends string[]> ? ParseUntil_1<End, Input> : [
]);
type ParseMapping<Parser extends IParser, ParseResult extends unknown = unknown> = ((Parser['mapping'] & {
    input: ParseResult;
})['output']);
/** Parses code with the given parser */
export type Parse<Parser extends IParser, Input extends string> = (ParseInput<Input, Parser> extends [infer ParseResult extends unknown, infer InputRest extends string] ? [ParseMapping<Parser, ParseResult>, InputRest] : []);
export {};