import { Tree } from "@tsplus/stdlib/collections/Tree/definition";
import { Result } from "@tsplus/runtime/Result";
import { Chunk } from "@tsplus/stdlib/collections/Chunk/definition";
import { Guard } from "@tsplus/runtime/Guard";
import { Brand } from "@tsplus/runtime/Brand";
import { Check, TypeLevel } from "@tsplus/stdlib/type-level";
import { List } from "@tsplus/stdlib/collections/List/definition";
import { ImmutableArray } from "@tsplus/stdlib/collections/ImmutableArray/definition";
import { Either } from "@tsplus/stdlib/data/Either/definition";
import { Maybe } from "@tsplus/stdlib/data/Maybe/definition";
export declare const ParseErrorId: unique symbol;
export type ParseErrorId = typeof ParseErrorId;
export declare namespace Decoder {
    interface Error {
        render: () => Tree<string>;
    }
}
/**
 * @tsplus type Decoder
 * @tsplus derive nominal
 */
export interface Decoder<in out A> {
    readonly decodeResult: (u: unknown) => Result<Decoder.Error, Decoder.Error, A>;
}
/**
 * @tsplus type Decoder/Ops
 */
export interface DecoderOps {
}
export declare const Decoder: DecoderOps;
/**
 * @tsplus static Decoder/Ops __call
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function make<A>(decodeResult: (u: unknown) => Result<Decoder.Error, Decoder.Error, A>): Decoder<A>;
export declare class DecodePayloadFailure {
    readonly error: Decoder.Error;
    readonly _tag = "DecodePayloadFailure";
    constructor(error: Decoder.Error);
    get message(): string;
}
export declare class DecodeJsonFailure {
    readonly _tag = "DecodeJsonFailure";
    get message(): string;
}
/**
 * @tsplus fluent Decoder decodeJSON
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function decodeJSON<A>(decoder: Decoder<A>, json: string): import("@tsplus/stdlib/data/Either").Either<DecodePayloadFailure | DecodeJsonFailure, A>;
/**
 * @tsplus fluent Decoder decode
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function decode<A>(decoder: Decoder<A>, value: unknown): import("@tsplus/stdlib/data/Either").Either<DecodePayloadFailure, A>;
export declare class DecoderErrorPrimitive implements Decoder.Error {
    readonly value: unknown;
    readonly expectedType: string;
    constructor(value: unknown, expectedType: string);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorIsoDateInvalidString implements Decoder.Error {
    readonly value: string;
    constructor(value: string);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorIsoDateMalformed implements Decoder.Error {
    readonly value: unknown;
    constructor(value: unknown);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorLiteral implements Decoder.Error {
    readonly expected: string | number;
    readonly value: unknown;
    constructor(expected: string | number, value: unknown);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorNull implements Decoder.Error {
    readonly value: unknown;
    constructor(value: unknown);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorStructMissingField implements Decoder.Error {
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorStructFieldError implements Decoder.Error {
    readonly field: string;
    readonly fieldError: Decoder.Error;
    constructor(field: string, fieldError: Decoder.Error);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorStruct implements Decoder.Error {
    readonly fields: Chunk<DecoderErrorStructFieldError>;
    constructor(fields: Chunk<DecoderErrorStructFieldError>);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorTaggedMalformed implements Decoder.Error {
    readonly keys: string[];
    constructor(keys: string[]);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorTaggedInner implements Decoder.Error {
    readonly tag: string;
    readonly error: Decoder.Error;
    constructor(tag: string, error: Decoder.Error);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorUnionMember implements Decoder.Error {
    readonly error: Decoder.Error;
    constructor(error: Decoder.Error);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorUnion implements Decoder.Error {
    readonly errors: Chunk<DecoderErrorUnionMember>;
    constructor(errors: Chunk<DecoderErrorUnionMember>);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorArray implements Decoder.Error {
    readonly errors: Chunk<[number, Decoder.Error]>;
    constructor(errors: Chunk<[number, Decoder.Error]>);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorValidation implements Decoder.Error {
    readonly errors: string[];
    constructor(errors: string[]);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
/**
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare const _true: Decoder<true>;
/**
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare const _false: Decoder<false>;
/**
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare const boolean: Decoder<boolean>;
/**
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare const string: Decoder<string>;
/**
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare const number: Decoder<number>;
/**
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare const _null: Decoder<null>;
/**
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare const date: Decoder<Date>;
/**
 * @tsplus derive Decoder lazy
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveLazy<A>(fn: (_: Decoder<A>) => Decoder<A>): Decoder<A>;
/**
 * @tsplus derive Decoder<_> 10
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveNamed<A extends Brand<any>>(...[base]: Check<Check.IsUnion<A>> extends Check.False ? [
    base: Decoder<Brand.Unnamed<A>>
] : never): Decoder<A>;
/**
 * @tsplus derive Decoder<_> 10
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveValidation<A extends Brand.Valid<any, any>>(...[base, brands]: Check<Brand.IsValidated<A>> extends Check.True ? [
    base: Decoder<Brand.Unbranded<A>>,
    brands: {
        [k in (keyof A[Brand.valid]) & string]: Brand.Validation<A[Brand.valid][k], k>;
    }
] : never): Decoder<A>;
/**
 * @tsplus derive Decoder[Chunk]<_> 10
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveChunk<A extends Chunk<any>>(...[array]: [A] extends [Chunk<infer _A>] ? Check<Check.IsEqual<A, Chunk<_A>>> extends Check.True ? [array: Decoder<Array<_A>>] : never : never): Decoder<A>;
/**
 * @tsplus derive Decoder[List]<_> 10
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveList<A extends List<any>>(...[array]: [A] extends [List<infer _A>] ? Check<Check.IsEqual<A, List<_A>>> extends Check.True ? [array: Decoder<Array<_A>>] : never : never): Decoder<A>;
/**
 * @tsplus derive Decoder[ImmutableArray]<_> 10
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveImmutableArray<A extends ImmutableArray<any>>(...[array]: [A] extends [ImmutableArray<infer _A>] ? Check<Check.IsEqual<A, ImmutableArray<_A>>> extends Check.True ? [array: Decoder<Array<_A>>] : never : never): Decoder<A>;
/**
 * @tsplus derive Decoder[Array]<_> 10
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveArray<A extends Array<any>>(...[element]: [A] extends [Array<infer _A>] ? Check<Check.IsEqual<A, Array<_A>>> extends Check.True ? [element: Decoder<_A>] : never : never): Decoder<A>;
/**
 * @tsplus derive Decoder[Either]<_> 10
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveEither<A extends Either<any, any>>(...[left, right]: [A] extends [Either<infer _E, infer _A>] ? [left: Decoder<_E>, right: Decoder<_A>] : never): Decoder<A>;
/**
 * @tsplus derive Decoder[Maybe]<_> 10
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveMaybe<A extends Maybe<any>>(...[value]: [A] extends [Maybe<infer _A>] ? [value: Decoder<_A>] : never): Decoder<A>;
export declare class DecoderErrorRecordValue implements Decoder.Error {
    readonly key: string;
    readonly error: Decoder.Error;
    constructor(key: string, error: Decoder.Error);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorRecordFields implements Decoder.Error {
    readonly fields: Chunk<Decoder.Error>;
    constructor(fields: Chunk<Decoder.Error>);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
export declare class DecoderErrorRecordMissingKeys implements Decoder.Error {
    readonly missing: Chunk<string>;
    constructor(missing: Chunk<string>);
    render: () => import("@tsplus/stdlib/collections/Tree").Tree<string>;
}
/**
 * @tsplus derive Decoder<_> 10
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveEmptyRecord<A extends {}>(..._: Check<Check.IsEqual<A, {}>> extends Check.True ? [] : never): Decoder<A>;
/**
 * @tsplus derive Decoder<_> 15
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveDictionary<A extends Record<string, any>>(...[value]: Check<Check.IsDictionary<A>> extends Check.True ? [value: Decoder<A[keyof A]>] : never): Decoder<A>;
/**
 * @tsplus derive Decoder<_> 15
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveRecord<A extends Record<string, any>>(...[value, requiredKeys]: Check<Check.IsRecord<A>> extends Check.True ? [
    value: Decoder<A[keyof A]>,
    requiredKeys: {
        [k in keyof A]: 0;
    }
] : never): Decoder<A>;
/**
 * @tsplus derive Decoder<_> 20
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveLiteral<A extends string | number>(...[value]: Check<Check.IsLiteral<A> & Check.Not<Check.IsUnion<A>>> extends Check.True ? [value: A] : never): Decoder<A>;
/**
 * @tsplus derive Decoder<_> 20
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveStruct<A extends Record<string, any>>(...[requiredFields, optionalFields]: Check<Check.IsStruct<A>> extends Check.True ? [
    ...[
        requiredFields: {
            [k in TypeLevel.RequiredKeys<A>]: Decoder<A[k]>;
        }
    ],
    ...([TypeLevel.OptionalKeys<A>] extends [never] ? [] : [
        optionalFields: {
            [k in TypeLevel.OptionalKeys<A>]: Decoder<NonNullable<A[k]>>;
        }
    ])
] : never): Decoder<A>;
/**
 * @tsplus derive Decoder<_> 20
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveTagged<A extends {
    _tag: string;
}>(...[elements]: Check<Check.IsTagged<"_tag", A>> extends Check.True ? [
    elements: {
        [k in A["_tag"]]: Decoder<Extract<A, {
            _tag: k;
        }>>;
    }
] : never): Decoder<A>;
/**
 * @tsplus derive Decoder<|> 30
 * @tsplus location "@tsplus/runtime/Decoder"
 */
export declare function deriveUnion<A extends unknown[]>(...elements: {
    [k in keyof A]: Decoder<A[k]>;
}): Decoder<A[number]>;
//# sourceMappingURL=Decoder.d.ts.map