/**
 * Validate and parse JSON strings into TypeScript/JavaScript objects.
 *
 * Inspired by Elm's Json.Decode library (https://guide.elm-lang.org/interop/json.html).
 *
 * This module exposes:
 * - primitive decoders (`string`, `number`, `boolean`, etc)
 * - higher-order decoders for creating more sophisticated decoders (`oneOf`,
 *   `field`, etc)
 * - a function for using the decoders (`decode`)
 *
 * In most cases, a decoder will be used to describe data we expect to receive
 * from a web service to ensure it conforms to types resident in the client
 * application. If the data does not conform, an error will be thrown describing
 * the first encountered problem.
 */
export declare type Decoder<T> = (t: any) => Result<T>;
export declare type Unpack<T> = T extends Decoder<infer R> ? R : never;
export declare type Ok<T> = {
    status: 'ok';
    value: T;
};
export declare type Err = {
    status: 'err';
    value: any;
    expected: string;
    context?: string;
};
export declare type Result<T> = Ok<T> | Err;
export declare function ok<T>(value: T): Ok<T>;
export declare function err(value: any, expected: string, context?: string): Err;
export declare function string(t: any): Result<string>;
export declare function number(t: any): Result<number>;
export declare function boolean(t: any): Result<boolean>;
export declare function nullValue(t: any): Result<null>;
export declare function none(t: any): Result<void>;
export declare function unknown(t: unknown): Result<unknown>;
export declare function constant<T extends string | number | boolean | null>(value: T): Decoder<T>;
export declare function objectOf<T>(decoder: Decoder<T>): (t: any) => Result<Record<string, T>>;
export declare function arrayOf<T>(decoder: Decoder<T>): (t: any) => Result<Array<T>>;
export declare function field<T, S extends string>(fieldName: S, decoder: Decoder<T>): (t: any) => Result<{ [K in S]: T; }>;
export declare function record<T>(decoderRecord: {
    [K in keyof T]: Decoder<T[K]>;
}): Decoder<T>;
export declare function optional<T>(decoder: Decoder<T>): (t?: any) => Result<T | undefined>;
export declare function combine<T>(decoder1: Decoder<T>): Decoder<T>;
export declare function combine<T, S>(decoder1: Decoder<T>, decoder2: Decoder<S>): Decoder<T & S>;
export declare function combine<T, S, R>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>): Decoder<T & S & R>;
export declare function combine<T, S, R, Q>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>): Decoder<T & S & R & Q>;
export declare function combine<T, S, R, Q, P>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>): Decoder<T & S & R & Q & P>;
export declare function combine<T, S, R, Q, P, O>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>): Decoder<T & S & R & Q & P & O>;
export declare function combine<T, S, R, Q, P, O, N>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>): Decoder<T & S & R & Q & P & O & N>;
export declare function combine<T, S, R, Q, P, O, N, M>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>, decoder8: Decoder<M>): Decoder<T & S & R & Q & P & O & N & M>;
export declare function combine<T, S, R, Q, P, O, N, M, L>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>, decoder8: Decoder<M>, decoder9: Decoder<L>): Decoder<T & S & R & Q & P & O & N & M & L>;
export declare function combine<T, S, R, Q, P, O, N, M, L, K>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>, decoder8: Decoder<M>, decoder9: Decoder<L>, decoder10: Decoder<K>): Decoder<T & S & R & Q & P & O & N & M & L & K>;
export declare function combine<T>(...decoders: Decoder<T>[]): Decoder<T>;
export declare function oneOf<T, S>(decoder1: Decoder<T>, decoder2: Decoder<S>): Decoder<T | S>;
export declare function oneOf<T, S, R>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>): Decoder<T | S | R>;
export declare function oneOf<T, S, R, Q>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>): Decoder<T | S | R | Q>;
export declare function oneOf<T, S, R, Q, P>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>): Decoder<T | S | R | Q | P>;
export declare function oneOf<T, S, R, Q, P, O>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>): Decoder<T | S | R | Q | P | O>;
export declare function oneOf<T, S, R, Q, P, O, N>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>): Decoder<T | S | R | Q | P | O | N>;
export declare function oneOf<T, S, R, Q, P, O, N, M>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>, decoder8: Decoder<M>): Decoder<T | S | R | Q | P | O | N | M>;
export declare function oneOf<T, S, R, Q, P, O, N, M, L>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>, decoder8: Decoder<M>, decoder9: Decoder<L>): Decoder<T | S | R | Q | P | O | N | M | L>;
export declare function oneOf<T, S, R, Q, P, O, N, M, L, K>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>, decoder8: Decoder<M>, decoder9: Decoder<L>, decoder10: Decoder<K>): Decoder<T | S | R | Q | P | O | N | M | L | K>;
export declare function oneOf<T, S, R, Q, P, O, N, M, L, K, J>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>, decoder8: Decoder<M>, decoder9: Decoder<L>, decoder10: Decoder<K>, decoder11: Decoder<J>): Decoder<T | S | R | Q | P | O | N | M | L | K | J>;
export declare function oneOf<T>(...decoders: Decoder<T>[]): Decoder<T>;
export declare function tuple<T, S>(decoder1: Decoder<T>, decoder2: Decoder<S>): Decoder<[T, S]>;
export declare function tuple<T, S, R>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>): Decoder<[T, S, R]>;
export declare function tuple<T, S, R, Q>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>): Decoder<[T, S, R, Q]>;
export declare function tuple<T, S, R, Q, P>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>): Decoder<[T, S, R, Q, P]>;
export declare function tuple<T, S, R, Q, P, O>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>): Decoder<[T, S, R, Q, P, O]>;
export declare function tuple<T, S, R, Q, P, O, N>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>): Decoder<[T, S, R, Q, P, O, N]>;
export declare function tuple<T, S, R, Q, P, O, N, M>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>, decoder8: Decoder<M>): Decoder<[T, S, R, Q, P, O, N, M]>;
export declare function tuple<T, S, R, Q, P, O, N, M, L>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>, decoder8: Decoder<M>, decoder9: Decoder<L>): Decoder<[T, S, R, Q, P, O, N, M, L]>;
export declare function tuple<T, S, R, Q, P, O, N, M, L, K>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>, decoder8: Decoder<M>, decoder9: Decoder<L>, decoder10: Decoder<K>): Decoder<[T, S, R, Q, P, O, N, M, L, K]>;
export declare function tuple<T, S, R, Q, P, O, N, M, L, K, J>(decoder1: Decoder<T>, decoder2: Decoder<S>, decoder3: Decoder<R>, decoder4: Decoder<Q>, decoder5: Decoder<P>, decoder6: Decoder<O>, decoder7: Decoder<N>, decoder8: Decoder<M>, decoder9: Decoder<L>, decoder10: Decoder<K>, decoder11: Decoder<J>): Decoder<T | S | R | Q | P | O | N | M | L | K | J>;
export declare function tuple<T>(...decoders: Decoder<T>[]): Decoder<T>;
export declare function lazy<T>(decoderThunk: () => Decoder<T>): (t: any) => Result<T>;
export declare function decode<T>(decoder: Decoder<T>, jsonString: string): T;
export declare function standardErrorReport(errResult: Err): string;
export declare function decodeOrElse<T>(decoder: Decoder<T>, defaultValue: T, jsonString: string): T;
//# sourceMappingURL=Json.d.ts.map