import { Lazy } from '@fp4ts/core';
import { Eq } from '@fp4ts/cats-kernel';
import { Align } from '../../../align';
import { MonoidK } from '../../../monoid-k';
import { Functor } from '../../../functor';
import { FunctorFilter } from '../../../functor-filter';
import { Alternative } from '../../../alternative';
import { CoflatMap } from '../../../coflat-map';
import { Monad } from '../../../monad';
import type { ChainF } from './chain';
import { Chain } from './algebra';
import { TraversableFilter } from '../../../traversable-filter';
export declare const chainEq: <A>(E: Eq<A>) => Eq<Chain<A>>;
export declare const chainAlign: Lazy<Align<ChainF>>;
export declare const chainMonoidK: Lazy<MonoidK<ChainF>>;
export declare const chainFunctor: Lazy<Functor<ChainF>>;
export declare const chainFunctorFilter: Lazy<FunctorFilter<ChainF>>;
export declare const chainAlternative: Lazy<Alternative<ChainF>>;
export declare const chainCoflatMap: Lazy<CoflatMap<ChainF>>;
export declare const chainMonad: Lazy<Monad<ChainF>>;
export declare const chainTraversable: Lazy<TraversableFilter<ChainF>>;
//# sourceMappingURL=instances.d.ts.map