import type * as P from "@principia/prelude";
import type { URI, V } from "./model";
/**
 * ```haskell
 * traverse_ :: (Applicative f, Traversable t) => Instance f -> (t a, (a -> f b)) -> f (t b)
 * ```
 *
 * Map each element of a structure to an action, evaluate these actions from left to right, and collect the results
 *
 * @category Traversable
 * @since 1.0.0
 */
export declare const traverse_: P.TraverseFn_<[URI], V>;
/**
 * ```haskell
 * traverse :: (Applicative f, Traversable t) => Instance f -> (a -> f b) -> t a -> f (t b)
 * ```
 *
 * Map each element of a structure to an action, evaluate these actions from left to right, and collect the results
 *
 * @category Traversable
 * @since 1.0.0
 */
export declare const traverse: P.TraverseFn<[URI], V>;
/**
 * ```haskell
 * sequence :: (Applicative f, Traversable t) => Instance f -> t (f a) -> f (t a)
 * ```
 *
 * Evaluate each action in the structure from left to right, and collect the results.
 *
 * @category Traversable
 * @since 1.0.0
 */
export declare const sequence: P.SequenceFn<[URI], V>;
export declare const Traversable: P.Traversable<[URI], V>;
//# sourceMappingURL=traversable.d.ts.map