import { $type, Kind, TyK, TyVar } from '@fp4ts/core';
import { Invariant } from './invariant';
import { ComposedFunctor } from './composed';
import { ArrayF } from './instances/array';
/**
 * @category Type Class
 */
export interface Functor<F> extends Invariant<F> {
    readonly map: <A, B>(f: (a: A) => B) => (fa: Kind<F, [A]>) => Kind<F, [B]>;
    readonly map_: <A, B>(fa: Kind<F, [A]>, f: (a: A) => B) => Kind<F, [B]>;
    readonly tupleLeft: <B>(b: B) => <A>(fa: Kind<F, [A]>) => Kind<F, [[B, A]]>;
    readonly tupleLeft_: <A, B>(fa: Kind<F, [A]>, b: B) => Kind<F, [[B, A]]>;
    readonly tupleRight: <B>(b: B) => <A>(fa: Kind<F, [A]>) => Kind<F, [[A, B]]>;
    readonly tupleRight_: <A, B>(fa: Kind<F, [A]>, b: B) => Kind<F, [[A, B]]>;
    readonly tap: <A>(f: (a: A) => unknown) => (fa: Kind<F, [A]>) => Kind<F, [A]>;
    readonly tap_: <A>(fa: Kind<F, [A]>, f: (a: A) => unknown) => Kind<F, [A]>;
    readonly void: <A>(fa: Kind<F, [A]>) => Kind<F, [void]>;
}
export type FunctorRequirements<F> = Pick<Functor<F>, 'map_'> & Partial<Functor<F>>;
export declare const Functor: Readonly<{
    of: <F>(F: FunctorRequirements<F>) => Functor<F>;
    compose: <F_1, G>(F: Functor<F_1>, G: Functor<G>) => ComposedFunctor<F_1, G>;
    readonly ArrayF: Functor<ArrayF>;
}>;
export interface FunctorF extends TyK<[unknown]> {
    [$type]: Functor<TyVar<this, 0>>;
}
//# sourceMappingURL=functor.d.ts.map