import type { Eq } from "@principia/prelude/Eq";
import type { Predicate } from "../Function";
import type { ReadonlyRecord } from "./model";
/**
 * Test whether a given record contains the given key
 *
 * @category Guards
 * @since 1.0.0
 */
export declare const has_: <N extends string>(r: Readonly<Record<N, unknown>>, k: string) => k is N;
/**
 * Test whether a given record contains the given key
 *
 * @category Guards
 * @since 1.0.0
 */
export declare function has<N extends string>(k: string, r: ReadonlyRecord<N, unknown>): k is N;
/**
 * Test whether one record contains all of the keys and values contained in another record
 *
 * @category Guards
 * @since 1.0.0
 */
export declare const isSubrecord_: <A>(
   E: Eq<A>
) => (me: Readonly<Record<string, A>>, that: Readonly<Record<string, A>>) => boolean;
/**
 * Test whether one record contains all of the keys and values contained in another record
 *
 * @category Guards
 * @since 1.0.0
 */
export declare const isSubrecord: <A>(
   E: Eq<A>
) => (that: Readonly<Record<string, A>>) => (me: Readonly<Record<string, A>>) => boolean;
/**
 * @category Guards
 * @since 1.0.0
 */
export declare const every_: <N extends string, A>(r: Readonly<Record<N, A>>, predicate: Predicate<A>) => boolean;
/**
 * @category Guards
 * @since 1.0.0
 */
export declare const every: <A>(predicate: Predicate<A>) => <N extends string>(r: Readonly<Record<N, A>>) => boolean;
/**
 * @category Guards
 * @since 1.0.0
 */
export declare const some_: <N extends string, A>(r: Readonly<Record<N, A>>, predicate: (a: A) => boolean) => boolean;
/**
 * @category Guards
 * @since 1.0.0
 */
export declare const some: <A>(
   predicate: (a: A) => boolean
) => <N extends string>(r: Readonly<Record<N, A>>) => boolean;
/**
 * @category Guards
 * @since 1.0.0
 */
export declare const elem_: <A>(E: Eq<A>) => <N extends string>(r: Readonly<Record<N, A>>, a: A) => boolean;
/**
 * @category Guards
 * @since 1.0.0
 */
export declare const elem: <A>(E: Eq<A>) => (a: A) => <N extends string>(r: Readonly<Record<N, A>>) => boolean;
//# sourceMappingURL=guards.d.ts.map