import type * as P from "@principia/prelude";
import type { ReadonlyRecord, URI, V } from "./model";
/**
 * ```haskell
 * mapWithIndex_ :: (FunctorWithIndex f, Index k) => (f a, ((k, a) -> b)) -> f b
 * ```
 *
 * Map a record passing the keys to the iterating function
 *
 * @category FunctorWithIndex
 * @since 1.0.0
 */
export declare const mapWithIndex_: <N extends string, A, B>(
   fa: Readonly<Record<N, A>>,
   f: (k: N, a: A) => B
) => Readonly<Record<N, B>>;
/**
 * ```haskell
 * mapWithIndex_ :: (FunctorWithIndex f, Index k) => ((k, a) -> b) -> f a -> f b
 * ```
 *
 * Map a record passing the keys to the iterating function
 *
 * @category FunctorWithIndex
 * @since 1.0.0
 */
export declare const mapWithIndex: <N extends string, A, B>(
   f: (k: N, a: A) => B
) => (fa: Readonly<Record<N, A>>) => Readonly<Record<N, B>>;
/**
 * ```haskell
 * map_ :: Functor f => (f a, (a -> b)) -> f b
 * ```
 *
 * Map a record passing the values to the iterating function
 *
 * @category Functor
 * @since 1.0.0
 */
export declare const map_: <N extends string, A, B>(
   fa: Readonly<Record<N, A>>,
   f: (a: A) => B
) => Readonly<Record<N, B>>;
/**
 * ```haskell
 * map :: Functor f => (a -> b) -> f a -> f b
 * ```
 *
 * Map a record passing the values to the iterating function
 *
 * @category Functor
 * @since 1.0.0
 */
export declare const map: <A, B>(
   f: (a: A) => B
) => <N extends string>(fa: Readonly<Record<N, A>>) => Readonly<Record<N, B>>;
export declare const Functor: P.Functor<[URI], V>;
export declare const FunctorWithIndex: P.FunctorWithIndex<[URI], V>;
//# sourceMappingURL=functor.d.ts.map