import { EvalF, Kind } from '@fp4ts/core';
import { CoflatMap, CoflatMapRequirements } from './coflat-map';
import { Function0F } from './instances/function';
export interface Comonad<F> extends CoflatMap<F> {
    extract<A>(fa: Kind<F, [A]>): A;
}
export type ComonadRequirements<F> = Pick<Comonad<F>, 'extract'> & CoflatMapRequirements<F> & Partial<Comonad<F>>;
export declare const Comonad: Readonly<{
    of: <F>(F: ComonadRequirements<F>) => Comonad<F>;
    readonly Function0: Comonad<Function0F>;
    Tuple2: {
        left: <R>() => Comonad<import("./instances/tuple2").TupleLeftF<R>>;
        right: <L>() => Comonad<import("./instances/tuple2").TupleRightF<L>>;
    };
    readonly Eval: Comonad<EvalF>;
}>;
//# sourceMappingURL=comonad.d.ts.map