import { $ } from '@fp4ts/core';
import { Eq, Ord } from '@fp4ts/cats-kernel';
import { SemigroupK } from '../../../semigroup-k';
import { MonoidK } from '../../../monoid-k';
import { Functor } from '../../../functor';
import { FunctorWithIndex } from '../../../functor-with-index';
import { FoldableWithIndex } from '../../../foldable-with-index';
import { TraversableWithIndex } from '../../../traversable-with-index';
import { FunctorFilter } from '../../../functor-filter';
import { MapF } from './map';
import { Map } from './map';
export declare const mapEq: <K, V>(EK: Eq<K>, EV: Eq<V>) => Eq<Map<K, V>>;
export declare const mapSemigroupK: <K>(O: Ord<K>) => SemigroupK<$<MapF, [K]>>;
export declare const mapMonoidK: <K>(O: Ord<K>) => MonoidK<$<MapF, [K]>>;
export declare const mapFunctor: <K>() => Functor<$<MapF, [K]>>;
export declare const mapFunctorWithIndex: <K>() => FunctorWithIndex<$<MapF, [K]>, K>;
export declare const mapFunctorFilter: <K>() => FunctorFilter<$<MapF, [K]>>;
export declare const mapFoldableWithIndex: <K>() => FoldableWithIndex<$<MapF, [K]>, K>;
export declare const mapTraversableWithIndex: <K>() => TraversableWithIndex<$<MapF, [K]>, K>;
//# sourceMappingURL=instances.d.ts.map