import { Kind } from '@fp4ts/core';
import { Applicative } from './applicative';
import { UnorderedFoldable, UnorderedFoldableRequirements } from './unordered-foldable';
/**
 * @category Type Class
 */
export interface UnorderedTraversable<T> extends UnorderedFoldable<T> {
    readonly unorderedTraverse: <G>(G: Applicative<G>) => <A, B>(f: (a: A) => Kind<G, [B]>) => (fa: Kind<T, [A]>) => Kind<G, [Kind<T, [B]>]>;
    readonly unorderedTraverse_: <G>(G: Applicative<G>) => <A, B>(fa: Kind<T, [A]>, f: (a: A) => Kind<G, [B]>) => Kind<G, [Kind<T, [B]>]>;
    readonly unorderedSequence: <G>(G: Applicative<G>) => <A>(fga: Kind<T, [Kind<G, [A]>]>) => Kind<G, [Kind<T, [A]>]>;
}
export type UnorderedTraversableRequirements<T> = Pick<UnorderedTraversable<T>, 'unorderedTraverse_'> & UnorderedFoldableRequirements<T> & Partial<UnorderedTraversable<T>>;
export declare const UnorderedTraversable: Readonly<{
    of: <T>(T: UnorderedTraversableRequirements<T>) => UnorderedTraversable<T>;
}>;
//# sourceMappingURL=unordered-traversable.d.ts.map