import { Brand } from "@tsplus/runtime/Brand";
import { Check, TypeLevel } from "@tsplus/stdlib/type-level";
import { Either } from "@tsplus/stdlib/data/Either/definition";
import { Maybe } from "@tsplus/stdlib/data/Maybe/definition";
import { Chunk } from "@tsplus/stdlib/collections/Chunk/definition";
import { List } from "@tsplus/stdlib/collections/List/definition";
import { ImmutableArray } from "@tsplus/stdlib/collections/ImmutableArray/definition";
import { SortedSet } from "@tsplus/stdlib/collections/SortedSet/definition";
import { Guard } from "@tsplus/runtime/Guard";
/**
 * A Encoder<A> is a type representing the ability to identify when a value is of type A at runtime
 *
 * @tsplus type Encoder
 * @tsplus derive nominal
 */
export interface Encoder<in out A> {
    readonly encode: (a: A) => unknown;
}
/**
 * @tsplus type EncoderOps
 */
export interface EncoderOps {
    <A>(f: (a: A) => unknown): Encoder<A>;
}
/**
 * Creates a new Encoder
 */
export declare const Encoder: EncoderOps;
/**
 * Encoder for `true`
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare const _true: Encoder<true>;
/**
 * Encoder for `false`
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare const _false: Encoder<false>;
/**
 * Encoder for a boolean
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare const boolean: Encoder<boolean>;
/**
 * Encoder for a number
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare const number: Encoder<number>;
/**
 * Encoder for null
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare const _null: Encoder<null>;
/**
 * Encoder for a string
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare const string: Encoder<string>;
/**
 * Encoder for a Date
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare const date: Encoder<Date>;
/**
 * Encoder for an object shaped like { _tag: string }
 * @tsplus implicit
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare const taggedObject: Encoder<{
    _tag: string;
}>;
/**
 * @tsplus derive Encoder<_> 10
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveNamed<A extends Brand<any>>(...[base]: Check<Check.IsUnion<A>> extends Check.False ? [base: Encoder<Brand.Unnamed<A>>] : never): Encoder<A>;
/**
 * @tsplus derive Encoder<_> 10
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveValidation<A extends Brand.Valid<any, any>>(...[base]: Check<Brand.IsValidated<A>> extends Check.True ? [base: Encoder<Brand.Unbranded<A>>] : never): Encoder<A>;
/**
 * @tsplus derive Encoder lazy
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveLazy<A>(fn: (_: Encoder<A>) => Encoder<A>): Encoder<A>;
/**
 * @tsplus derive Encoder[Either]<_> 10
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveEither<A extends Either<any, any>>(...[left, right]: [A] extends [Either<infer _E, infer _A>] ? [left: Encoder<_E>, right: Encoder<_A>] : never): Encoder<A>;
/**
 * @tsplus derive Encoder[Maybe]<_> 10
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveOption<A extends Maybe<any>>(...[value]: [A] extends [Maybe<infer _A>] ? [value: Encoder<_A>] : never): Encoder<A>;
/**
 * @tsplus derive Encoder[Array]<_> 10
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveArray<A extends Array<any>>(...[element]: [A] extends [Array<infer _A>] ? Check<Check.IsEqual<A, Array<_A>>> extends Check.True ? [element: Encoder<_A>] : never : never): Encoder<A>;
/**
 * @tsplus derive Encoder[Chunk]<_> 10
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveChunk<A extends Chunk<any>>(...[element]: [A] extends [Chunk<infer _A>] ? Check<Check.IsEqual<A, Chunk<_A>>> extends Check.True ? [element: Encoder<_A>] : never : never): Encoder<A>;
/**
 * @tsplus derive Encoder[List]<_> 10
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveList<A extends List<any>>(...[element]: [A] extends [List<infer _A>] ? Check<Check.IsEqual<A, List<_A>>> extends Check.True ? [element: Encoder<_A>] : never : never): Encoder<A>;
/**
 * @tsplus derive Encoder[ImmutableArray]<_> 10
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveImmutableArray<A extends ImmutableArray<any>>(...[element]: [A] extends [ImmutableArray<infer _A>] ? Check<Check.IsEqual<A, ImmutableArray<_A>>> extends Check.True ? [element: Encoder<_A>] : never : never): Encoder<A>;
/**
 * @tsplus derive Encoder[SortedSet]<_> 10
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveSortedSet<A extends SortedSet<any>>(...[element]: [A] extends [SortedSet<infer _A>] ? Check<Check.IsEqual<A, SortedSet<_A>>> extends Check.True ? [element: Encoder<_A>] : never : never): Encoder<A>;
/**
 * @tsplus derive Encoder<_> 10
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveEmptyRecord<A extends {}>(..._: Check<Check.IsEqual<A, {}>> extends Check.True ? [] : never): Encoder<A>;
/**
 * @tsplus derive Encoder<_> 15
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveDictionary<A extends Record<string, any>>(...[value]: Check<Check.IsDictionary<A>> extends Check.True ? [value: Encoder<A[keyof A]>] : never): Encoder<A>;
/**
 * @tsplus derive Encoder<_> 15
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveRecord<A extends Record<string, any>>(...[value, requiredKeys]: Check<Check.IsRecord<A>> extends Check.True ? [
    value: Encoder<A[keyof A]>,
    requiredKeys: {
        [k in keyof A]: 0;
    }
] : never): Encoder<A>;
/**
 * @tsplus derive Encoder<_> 20
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveLiteral<A extends string | number>(...[value]: Check<Check.IsLiteral<A> & Check.Not<Check.IsUnion<A>>> extends Check.True ? [value: A] : never): Encoder<A>;
/**
 * @tsplus derive Encoder<_> 20
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveStruct<A extends Record<string, any>>(...[requiredFields, optionalFields]: Check<Check.IsStruct<A>> extends Check.True ? [
    ...[
        requiredFields: {
            [k in TypeLevel.RequiredKeys<A>]: Encoder<A[k]>;
        }
    ],
    ...([TypeLevel.OptionalKeys<A>] extends [never] ? [] : [
        optionalFields: {
            [k in TypeLevel.OptionalKeys<A>]: Encoder<NonNullable<A[k]>>;
        }
    ])
] : never): Encoder<A>;
/**
 * @tsplus derive Encoder<_> 20
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveTagged<A extends {
    _tag: string;
}>(...[elements]: Check<Check.IsTagged<"_tag", A>> extends Check.True ? [
    elements: {
        [k in A["_tag"]]: Encoder<Extract<A, {
            _tag: k;
        }>>;
    }
] : never): Encoder<A>;
/**
 * @tsplus derive Encoder<|> 30
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function deriveUnion<A extends unknown[]>(...elements: {
    [k in keyof A]: [Guard<A[k]>, Encoder<A[k]>];
}): Encoder<A[number]>;
/**
 * @tsplus fluent Encoder encodeJSON
 * @tsplus location "@tsplus/runtime/Encoder"
 */
export declare function encodeJSON<A>(encoder: Encoder<A>, a: A): string;
//# sourceMappingURL=Encoder.d.ts.map