import { $type, TyK, TyVar } from '@fp4ts/core';
import { Alternative } from '../alternative';
import { Applicative } from '../applicative';
import { Apply } from '../apply';
import { EqK } from '../eq-k';
import { FunctorFilter } from '../functor-filter';
import { FunctorWithIndex } from '../functor-with-index';
import { MonoidK } from '../monoid-k';
import { FlatMap } from '../flat-map';
import { Monad } from '../monad';
import { FoldableWithIndex } from '../foldable-with-index';
import { TraversableWithIndex } from '../traversable-with-index';
import { TraversableFilter } from '../traversable-filter';
import { CoflatMap } from '../coflat-map';
import { Unzip } from '../unzip';
import { Unalign } from '../unalign';
export declare const arrayEqK: import("@fp4ts/core").Lazy<EqK<ArrayF>>;
export declare const arrayMonoidK: import("@fp4ts/core").Lazy<MonoidK<ArrayF>>;
export declare const arrayFunctorWithIndex: import("@fp4ts/core").Lazy<FunctorWithIndex<ArrayF, number>>;
export declare const arrayUnzip: import("@fp4ts/core").Lazy<Unzip<ArrayF>>;
export declare const arrayUnalign: import("@fp4ts/core").Lazy<Unalign<ArrayF>>;
export declare const arrayFunctorFilter: import("@fp4ts/core").Lazy<FunctorFilter<ArrayF>>;
export declare const arrayApply: import("@fp4ts/core").Lazy<Apply<ArrayF>>;
export declare const arrayApplicative: import("@fp4ts/core").Lazy<Applicative<ArrayF>>;
export declare const arrayAlternative: import("@fp4ts/core").Lazy<Alternative<ArrayF>>;
export declare const arrayFlatMap: import("@fp4ts/core").Lazy<FlatMap<ArrayF>>;
export declare const arrayMonad: import("@fp4ts/core").Lazy<Monad<ArrayF>>;
export declare const arrayCoflatMap: import("@fp4ts/core").Lazy<CoflatMap<ArrayF>>;
export declare const arrayFoldableWithIndex: import("@fp4ts/core").Lazy<FoldableWithIndex<ArrayF, number>>;
export declare const arrayTraversableWithIndex: import("@fp4ts/core").Lazy<TraversableWithIndex<ArrayF, number>>;
export declare const arrayTraversableFilter: import("@fp4ts/core").Lazy<TraversableFilter<ArrayF>>;
export interface ArrayF extends TyK<[unknown]> {
    [$type]: TyVar<this, 0>[];
}
//# sourceMappingURL=array.d.ts.map