import { Option } from 'literium-base';
import { Type, TypeConv, Result } from './types';
export declare const str: Type<string>;
export declare const num: Type<number>;
export declare const bin: Type<boolean>;
export declare const und: Type<void>;
export declare const fin: Type<number>;
export declare const pos: Type<number>;
export declare const neg: Type<number>;
export declare const int: Type<number>;
export declare const nat: Type<number>;
export declare const date_msec: Type<Date>;
export declare const date_unix: Type<Date>;
export declare function regex(re: RegExp, cause?: string): TypeConv<string, string>;
export declare function list<T>(t: Type<T>): Type<T[]>;
export declare function len<T extends ArrayLike<any>>(min: Option<number>, max: Option<number>): TypeConv<T, T>;
export declare type Dict<T extends Object> = {
    [Tag in keyof T]: Type<T[Tag]>;
};
export declare function dict<T extends Object>(t: Dict<T>): Type<T>;
export declare function mix<T1 extends Object>(t1: Type<T1>): Type<T1>;
export declare function mix<T1 extends Object, T2 extends Object>(t1: Type<T1>, t2: Type<T2>): Type<T1 & T2>;
export declare function mix<T1 extends Object, T2 extends Object, T3 extends Object>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>): Type<T1 & T2 & T3>;
export declare function mix<T1 extends Object, T2 extends Object, T3 extends Object, T4 extends Object>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>): Type<T1 & T2 & T3 & T4>;
export declare function mix<T1 extends Object, T2 extends Object, T3 extends Object, T4 extends Object, T5 extends Object>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>): Type<T1 & T2 & T3 & T4 & T5>;
export declare function mix<T1 extends Object, T2 extends Object, T3 extends Object, T4 extends Object, T5 extends Object, T6 extends Object>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>, t6: Type<T6>): Type<T1 & T2 & T3 & T4 & T5 & T6>;
export declare function mix<T1 extends Object, T2 extends Object, T3 extends Object, T4 extends Object, T5 extends Object, T6 extends Object, T7 extends Object>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>, t6: Type<T6>, t7: Type<T7>): Type<T1 & T2 & T3 & T4 & T5 & T6 & T7>;
export declare function mix<T1 extends Object, T2 extends Object, T3 extends Object, T4 extends Object, T5 extends Object, T6 extends Object, T7 extends Object, T8 extends Object>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>, t6: Type<T6>, t7: Type<T7>, t8: Type<T8>): Type<T1 & T2 & T3 & T4 & T5 & T6 & T7 & T8>;
export declare function mix<T1 extends Object, T2 extends Object, T3 extends Object, T4 extends Object, T5 extends Object, T6 extends Object, T7 extends Object, T8 extends Object, T9 extends Object>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>, t6: Type<T6>, t7: Type<T7>, t8: Type<T8>, t9: Type<T9>): Type<T1 & T2 & T3 & T4 & T5 & T6 & T7 & T9>;
export declare function tup<T1>(t1: Type<T1>): Type<[T1]>;
export declare function tup<T1, T2>(t1: Type<T1>, t2: Type<T2>): Type<[T1, T2]>;
export declare function tup<T1, T2, T3>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>): Type<[T1, T2, T3]>;
export declare function tup<T1, T2, T3, T4>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>): Type<[T1, T2, T3, T4]>;
export declare function tup<T1, T2, T3, T4, T5>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>): Type<[T1, T2, T3, T4, T5]>;
export declare function tup<T1, T2, T3, T4, T5, T6>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>, t6: Type<T6>): Type<[T1, T2, T3, T4, T5, T6]>;
export declare function tup<T1, T2, T3, T4, T5, T6, T7>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>, t6: Type<T6>, t7: Type<T7>): Type<[T1, T2, T3, T4, T5, T6, T7]>;
export declare function tup<T1, T2, T3, T4, T5, T6, T7, T8>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>, t6: Type<T6>, t7: Type<T7>, t8: Type<T8>): Type<[T1, T2, T3, T4, T5, T6, T7, T8]>;
export declare function tup<T1, T2, T3, T4, T5, T6, T7, T8, T9>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>, t6: Type<T6>, t7: Type<T7>, t8: Type<T8>, t9: Type<T9>): Type<[T1, T2, T3, T4, T5, T6, T7, T8, T9]>;
export declare function opt<T>(t: Type<T>): Type<T | void>;
export declare function val<T>(d: T): Type<T>;
export declare function def<T>(d: T): TypeConv<T, T>;
export declare function map<T, R>(p: (v: T) => R, b: (v: R) => T): TypeConv<T, R>;
export declare function then<T, R>(p: (v: T) => Result<R>, b: (v: R) => Result<T>): TypeConv<T, R>;
export declare function chain<T, R>(t: Type<R>): TypeConv<T, R>;
export declare function option<T>(t: Type<T>): Type<Option<T>>;
export declare function unless<T>(fn: () => Result<T>): TypeConv<T, T>;
export declare function alt<T1, T2>(t1: Type<T1>, t2: Type<T2>): Type<T1 | T2>;
export declare function alt<T1, T2, T3>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>): Type<T1 | T2 | T3>;
export declare function alt<T1, T2, T3, T4>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>): Type<T1 | T2 | T4>;
export declare function alt<T1, T2, T3, T4, T5>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>): Type<T1 | T2 | T4 | T5>;
export declare function alt<T1, T2, T3, T4, T5, T6>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>, t6: Type<T6>): Type<T1 | T2 | T4 | T5 | T6>;
export declare function alt<T1, T2, T3, T4, T5, T6, T7>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>, t6: Type<T6>, t7: Type<T7>): Type<T1 | T2 | T4 | T5 | T6 | T7>;
export declare function alt<T1, T2, T3, T4, T5, T6, T7, T8>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>, t6: Type<T6>, t7: Type<T7>, t8: Type<T8>): Type<T1 | T2 | T4 | T5 | T6 | T7 | T8>;
export declare function alt<T1, T2, T3, T4, T5, T6, T7, T8, T9>(t1: Type<T1>, t2: Type<T2>, t3: Type<T3>, t4: Type<T4>, t5: Type<T5>, t6: Type<T6>, t7: Type<T7>, t8: Type<T8>, t9: Type<T9>): Type<T1 | T2 | T4 | T5 | T6 | T7 | T8 | T9>;
export declare function parse_js<T>(parser: Type<T>): (raw: any) => Result<T>;
export declare function parse<T>(parser: Type<T>): (str: string) => Result<T>;
export declare function build_js<T>(parser: Type<T>): (data: T) => Result<any>;
export declare function build<T>(builder: Type<T>): (data: T) => Result<string>;