import * as P from "@principia/prelude";
import type { URI, V } from "./model";
/**
 * ```haskell
 * traverseWithIndex_ :: (Applicative g, TraversableWithIndex t, Index k) =>
 *    g -> (t a, ((k, a) -> g b)) -> g (t b)
 * ```
 */
export declare const traverseWithIndex_: P.TraverseWithIndexFn_<[URI], V>;
/**
 * ```haskell
 * traverseWithIndex :: (Applicative g, TraversableWithIndex t, Index k) =>
 *    g -> ((k, a) -> g b) -> t a -> g (t b)
 * ```
 */
export declare const traverseWithIndex: P.TraverseWithIndexFn<[URI], V>;
/**
 * ```haskell
 * traverse_ :: (Applicative g, Traversable t) =>
 *    g -> (t a, (a -> g b)) -> g (t b)
 * ```
 */
export declare const traverse_: P.TraverseFn_<[URI], V>;
/**
 * ```haskell
 * traverse :: (Applicative g, Traversable t) =>
 *    g -> (a -> g b) -> t a -> g (t b)
 * ```
 */
export declare const traverse: P.TraverseFn<[URI], V>;
/**
 * ```haskell
 * sequence :: (Applicative g, Traversable t) => g -> t a -> g (t a)
 * ```
 */
export declare const sequence: P.SequenceFn<[URI], V>;
export declare const Traversable: P.Traversable<[URI], V>;
export declare const TraversableWithIndex: P.TraversableWithIndex<[URI], V>;
//# sourceMappingURL=traversable.d.ts.map