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