import type { Either } from 'fp-ts/lib/Either';
import type { UnionToIntersection } from './core';
/**
 *  @since 0.0.1
 */
export declare const mapRecord: <Dic extends { [k in keyof Dic]: any; }, B>(d: Dic, f: (v: Dic[keyof Dic]) => B) => { [k_1 in keyof Dic]: B; };
/**
 *  @since 0.0.1
 */
export declare const projectField: <T extends Record<any, Record<any, any>>>(t: T) => <K extends keyof T[keyof T]>(k: K) => { [q in keyof T]: T[q][K]; };
/**
 *  @since 0.0.1
 */
export declare const projectFieldWithEnv: <T extends Record<any, (e: R) => Record<any, any>>, R>(t: T, env: R) => <K extends keyof ReturnType<T[keyof T]>>(k: K) => { [q in keyof T]: ReturnType<T[q]>[K]; };
/**
 *  @since 0.0.1
 */
export declare const merge: <R extends unknown[]>(...x: R) => UnionToIntersection<R[number]>;
/**
 *  @since 0.0.1
 */
export declare const collect: <K extends string, A, B>(d: Record<K, A>, f: (k: K, a: A) => B) => B[];
/**
 *  @since 0.0.1
 */
export declare const memo: <F extends () => any>(get: F) => typeof get;
/**
 *  @since 0.0.1
 */
export declare type IsNever<X, Y, N> = 'X' | X extends 'X' ? Y : N;
/**
 *  @since 0.0.1
 */
export declare type Includes<A, B, Y, N> = IsNever<B, Y, A extends B ? Y : N>;
/**
 *  @since 0.0.1
 *
 * Returns a function returning the index of the first guard matching a particular Objet
 * Caching the result under the given Symbol inside the Object
 */
export declare const getGuardId: (guards: ((x: unknown) => Either<any, any>)[], sym: symbol) => (a: unknown) => number;