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