import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { Foldable } from "@tsplus/stdlib/prelude/Foldable";
import { Maybe } from "@tsplus/stdlib/data/Maybe/definition";
import type { Recursive } from "@tsplus/stdlib/prelude/Recursive/definition";
/**
 * @tsplus static Recursive/Aspects foldDownSome
 * @tsplus pipeable Recursive foldDownSome
 * @tsplus location "@tsplus/stdlib/prelude/Recursive/foldDownSome"
 */
export declare function foldDownSome<F extends HKT, Z>(F: Foldable<F>, z: Z, pf: (accum: Z, current: HKT.Kind<F, unknown, unknown, Recursive<F>>) => Maybe<Z>): (self: Recursive<F>) => Z;
//# sourceMappingURL=foldDownSome.d.ts.map