import * as tFunctor from '../../typeclass/functor';
import { type Of as tOf } from '../../typeclass/of';
import * as tApplicative from '../../typeclass/applicative';
import * as tMonad from '../../typeclass/monad';
import * as tCoMonad from '../../typeclass/comonad';
import * as tFoldable from '../../typeclass/foldable';
import { ArrayFull, TArrayFull } from './arrayfull.types';
export declare const isArrayFull: <A>(arr: A[]) => arr is ArrayFull<A>;
export declare const Of: tOf<TArrayFull>;
export declare const Functor: tFunctor.Functor<TArrayFull>;
export declare const Foldable: tFoldable.Foldable<TArrayFull>;
export declare const NonEmptyFoldable: tFoldable.Foldable1<TArrayFull>;
export declare const Applicative: tApplicative.Applicative<TArrayFull>;
export declare const Monad: tMonad.Monad<TArrayFull>;
export declare const CoMonad: tCoMonad.CoMonad<TArrayFull>;
export declare const of: <A>(a: A) => ArrayFull<A>;
export declare const map: <A1, A2>(args_0: (args_0: A1) => A2) => (args_0: ArrayFull<A1>) => ArrayFull<A2>;
export declare const flap: <A1>(args_0: A1) => <B1>(args_0: ArrayFull<(args_0: A1) => B1>) => ArrayFull<B1>;
export declare const as: <A1>(args_0: A1) => <B1>(args_0: ArrayFull<B1>) => ArrayFull<A1>;
export declare const tap: <A1>(args_0: (args_0: A1) => void) => (args_0: ArrayFull<A1>) => ArrayFull<A1>;
export declare const reduce: <A1, A2>(args_0: (args_0: A1, args_1: A2) => A1, args_1: A1) => (args_0: ArrayFull<A2>) => A1;
export declare const fold1: <A1>(args_0: (args_0: A1, args_1: A1) => A1) => (args_0: ArrayFull<A1>) => A1;
export declare const ap: <A1>(args_0: ArrayFull<A1>) => <B1>(args_0: ArrayFull<(args_0: A1) => B1>) => ArrayFull<B1>;
export declare const flatMap: <A1, A2>(args_0: (args_0: A1) => ArrayFull<A2>) => (args_0: ArrayFull<A1>) => ArrayFull<A2>;
export declare const extract: <A1>(args_0: ArrayFull<A1>) => A1;
export declare const extend: <A1, A2>(args_0: (args_0: ArrayFull<A1>) => A2) => (args_0: ArrayFull<A1>) => ArrayFull<A2>;
export declare const duplicate: <A1>(args_0: ArrayFull<A1>) => ArrayFull<ArrayFull<A1>>;
export declare const pluck: <A, K extends keyof A>(k: K) => (args_0: ArrayFull<A>) => ArrayFull<A[K]>;