import type * as P from "@principia/prelude";
import type { IO, URI, V } from "./model";
/**
 * ```haskell
 * map_ :: Functor f => (f a, (a -> b)) -> f b
 * ```
 *
 * Lifts a function a -> b to a function f a -> f b
 *
 * @category Functor
 * @since 1.0.0
 */
export declare const map_: <A, B>(fa: IO<A>, f: (a: A) => B) => IO<B>;
/**
 * ```haskell
 * map :: Functor f => (a -> b) -> f a -> f b
 * ```
 *
 * Lifts a function a -> b to a function f a -> f b
 *
 * @category Functor
 * @since 1.0.0
 */
export declare const map: <A, B>(f: (a: A) => B) => (fa: IO<A>) => IO<B>;
export declare const Functor: P.Functor<[URI], V>;
//# sourceMappingURL=functor.d.ts.map