import * as P from "@principia/prelude";
import type { URI, V } from "./model";
/**
 * ```haskell
 * witherWithIndex_ :: (Applicative g, WitherableWithIndex w, Index k) =>
 *    g -> (w k a, ((k, a) -> g (w k (Maybe b)))) -> g (w k b)
 * ```
 */
export declare const witherWithIndex_: P.WitherWithIndexFn_<[URI], V>;
/**
 * ```haskell
 * witherWithIndex :: (Applicative g, WitherableWithIndex w, Index k) =>
 *    g -> ((k, a) -> g (w k (Maybe b))) -> w k a -> g (w k b)
 * ```
 */
export declare const witherWithIndex: P.WitherWithIndexFn<[URI], V>;
/**
 * ```haskell
 * wither_ :: (Applicative g, Witherable w) =>
 *    g -> (w a, (a -> g (w (Maybe b)))) -> g (w b)
 * ```
 */
export declare const wither_: P.WitherFn_<[URI], V>;
/**
 * ```haskell
 * wither :: (Applicative g, Witherable w) =>
 *    g -> (a -> g (w (Maybe b))) -> w a -> g (w b)
 * ```
 */
export declare const wither: P.WitherFn<[URI], V>;
/**
 * ```haskell
 * wiltWithIndex_ :: (Applicative g, WitherableWithIndex w, Index k) =>
 *    g -> (w k a, ((k, a) -> g (w k (Either b c)))) -> g (Separated (w k b) (w k c))
 * ```
 */
export declare const wiltWithIndex_: P.WiltWithIndexFn_<[URI], V>;
/**
 * ```haskell
 * wiltWithIndex :: (Applicative g, WitherableWithIndex w, Index k) =>
 *    g -> ((k, a) -> g (w k (Either b c))) -> w k a -> g (Separated (w k b) (w k c))
 * ```
 */
export declare const wiltWithIndex: P.WiltWithIndexFn<[URI], V>;
/**
 * ```haskell
 * wilt_ :: (Applicative g, Witherable w) =>
 *    g -> (w a, (a -> g (w (Either b c)))) -> g (Separated (w b) (w c))
 * ```
 */
export declare const wilt_: P.WiltFn_<[URI], V>;
/**
 * ```haskell
 * wilt_ :: (Applicative g, Witherable w) =>
 *    g -> (a -> g (w (Either b c))) -> w a -> g (Separated (w b) (w c))
 * ```
 */
export declare const wilt: P.WiltFn<[URI], V>;
export declare const Witherable: P.Witherable<[URI], V>;
export declare const WitherableWithIndex: P.WitherableWithIndex<[URI], V>;
//# sourceMappingURL=witherable.d.ts.map