import type * as P from "@principia/prelude";
import type { Monoid } from "@principia/prelude/Monoid";
import type { Option, URI, V } from "./model";
/**
 * ```haskell
 * reduce_ :: Foldable f => (f a, b, ((b, a) -> b)) -> b
 * ```
 */
export declare const reduce_: <A, B>(fa: Option<A>, b: B, f: (b: B, a: A) => B) => B;
/**
 * ```haskell
 * reduce :: Foldable f => (b, ((b, a) -> b)) -> f a -> b
 * ```
 */
export declare const reduce: <A, B>(b: B, f: (b: B, a: A) => B) => (fa: Option<A>) => B;
/**
 * ```haskell
 * reduceRight_ :: Foldable f => (f a, b, ((b, a) -> b)) -> b
 * ```
 */
export declare const reduceRight_: <A, B>(fa: Option<A>, b: B, f: (a: A, b: B) => B) => B;
/**
 * ```haskell
 * reduceRight :: Foldable f => (b, ((b, a) -> b)) -> f a -> b
 * ```
 */
export declare const reduceRight: <A, B>(b: B, f: (a: A, b: B) => B) => (fa: Option<A>) => B;
/**
 * ```haskell
 * foldMap_ :: (Foldable f, Monoid m) => Instance m b -> (f a, (a -> b)) -> b
 * ```
 */
export declare const foldMap_: <M>(M: P.Monoid<M>) => <A>(fa: Option<A>, f: (a: A) => M) => M;
/**
 * ```haskell
 * foldMap :: (Foldable f, Monoid m) => Instance m b -> (a -> b) -> f a -> b
 * ```
 */
export declare const foldMap: <M>(M: P.Monoid<M>) => <A>(f: (a: A) => M) => (fa: Option<A>) => M;
export declare const Foldable: P.Foldable<[URI], V>;
//# sourceMappingURL=foldable.d.ts.map