import { Compare } from '../../array/array/lift';
import { Predicate } from '../../boolean/predicate/predicate';
import { Unary } from '../../function/function/unary';
import { Absent, Defined, NotNull, Present } from '../../value/value';
/**
 * An object of type `T` with a defined value of property `K`.
 *
 * @since v0.1.0
 */
export type ObjectWithDefined<T, K extends keyof T> = T & {
    [P in K]-?: Defined<T[P]>;
};
/**
 * An object of type `T` with an undefined value of property `K`.
 *
 * @since v0.1.0
 */
export type ObjectWithUndefined<T, K extends keyof T> = T & Partial<Record<K, undefined>>;
/**
 * An object of type `T` with a non-null value of property `K`.
 *
 * @since v0.1.0
 */
export type ObjectWithNotNull<T, K extends keyof T> = T & {
    [P in K]: NotNull<T[P]>;
};
/**
 * An object of type `T` with a null value of property `K`.
 *
 * @since v0.1.0
 */
export type ObjectWithNull<T, K extends keyof T> = T & Record<K, null>;
/**
 * An object of type `T` with a present value of property `K`.
 *
 * @since v0.1.0
 */
export type ObjectWithPresent<T, K extends keyof T> = T & {
    [P in K]-?: Present<T[P]>;
};
/**
 * An object of type `T` with an absent value of property `K`.
 *
 * @since v0.1.0
 */
export type ObjectWithAbsent<T, K extends keyof T> = T & {
    [P in K]: Absent<T[P]>;
};
/**
 * Creates a function that for a given value returns the value of a given `property`.
 *
 * @since v0.2.0
 */
export declare function property<T, K extends keyof T>(property: K): Unary<T, T[K]>;
/**
 * Creates a predicate that for a given value returns true
 * if a given `property` satisfies a given `condition`.
 *
 * @since v0.2.0
 */
export declare function property<T, K extends keyof T>(property: K, condition: Predicate<T[K]>): Predicate<T>;
/**
 * Returns a function to compare two objects by their `property` with a given `order` callback.
 *
 * @since v0.2.0
 */
export declare function by<T, K extends keyof T>(property: K, order: Compare<T[K]>): Compare<T>;
/**
 * Returns a type guard that returns true if its argument has a defined `property`
 * and all given `properties`.
 *
 * @since v0.2.3
 */
export declare function hasDefinedProperty<T, K extends keyof T>(property: K, ...properties: readonly K[]): (value: T) => value is ObjectWithDefined<T, K>;
/**
 * Returns a type guard that returns true if its argument has an undefined `property`
 * and all given `properties`.
 *
 * @since v0.2.3
 */
export declare function hasUndefinedProperty<T, K extends keyof T>(property: K, ...properties: readonly K[]): (value: T) => value is ObjectWithUndefined<T, K>;
/**
 * Returns a type guard that returns true if its argument has a non-null `property`
 * and all given `properties`.
 *
 * @since v0.2.3
 */
export declare function hasNotNullProperty<T, K extends keyof T>(property: K, ...properties: readonly K[]): (value: T) => value is ObjectWithNotNull<T, K>;
/**
 * Returns a type guard that returns true if its argument has a `null` `property`
 * and all given `properties`.
 *
 * @since v0.2.3
 */
export declare function hasNullProperty<T, K extends keyof T>(property: K, ...properties: readonly K[]): (value: T) => value is ObjectWithNull<T, K>;
/**
 * Returns a type guard that returns true if its argument has a present `property`
 * and all given `properties`.
 *
 * @since v0.2.3
 */
export declare function hasPresentProperty<T, K extends keyof T>(property: K, ...properties: readonly K[]): (value: T) => value is ObjectWithPresent<T, K>;
/**
 * Returns a type guard that returns true if its argument has an absent `property`
 * and all given `properties`.
 *
 * @since v0.2.3
 */
export declare function hasAbsentProperty<T, K extends keyof T>(property: K, ...properties: readonly K[]): (value: T) => value is ObjectWithAbsent<T, K>;