import { Base, Kind } from '@fp4ts/core';
import { FunctionK } from './function-k';
import { Applicative } from './applicative';
import { Monad } from './monad';
import { Traversable } from './traversable';
import { ApplicativeError } from './applicative-error';
import { MonadError } from './monad-error';
/**
 * @category Type Class
 */
export interface Parallel<M, F> extends Base<M> {
    readonly applicative: Applicative<F>;
    readonly monad: Monad<M>;
    readonly sequential: FunctionK<F, M>;
    readonly parallel: FunctionK<M, F>;
    readonly applicativeError: <E>(E: MonadError<M, E>) => ApplicativeError<F, E>;
}
export type ParallelRequirements<M, F> = Pick<Parallel<M, F>, 'applicative' | 'monad' | 'sequential' | 'parallel'>;
export declare const Parallel: Readonly<{
    of: <M, F>(P: ParallelRequirements<M, F>) => Parallel<M, F>;
    parTraverse: <T, M_1, F_1>(T: Traversable<T>, P: Parallel<M_1, F_1>) => <A, B>(f: (a: A) => Kind<M_1, [B]>) => (ta: Kind<T, [A]>) => Kind<M_1, [Kind<T, [B]>]>;
    parTraverse_: <T_1, M_2, F_2>(T: Traversable<T_1>, P: Parallel<M_2, F_2>) => <A_1, B_1>(ta: Kind<T_1, [A_1]>, f: (a: A_1) => Kind<M_2, [B_1]>) => Kind<M_2, [Kind<T_1, [B_1]>]>;
    parSequence: <T_2, M_3, F_3>(T: Traversable<T_2>, P: Parallel<M_3, F_3>) => <A_2>(tma: Kind<T_2, [Kind<M_3, [A_2]>]>) => Kind<M_3, [Kind<T_2, [A_2]>]>;
    identity: <M_4>(M: Monad<M_4>) => Parallel<M_4, M_4>;
}>;
//# sourceMappingURL=parallel.d.ts.map