import type * as HKT from './HKT';
import type { Option } from './Option';
export interface Unfoldable<F extends HKT.URIS, C = HKT.Auto> extends HKT.Base<F, C> {
    readonly unfold: UnfoldFn<F, C>;
}
export interface UnfoldFn<F extends HKT.URIS, C = HKT.Auto> {
    <A, B, N extends string = HKT.Initial<C, 'N'>, K = HKT.Initial<C, 'K'>, Q = HKT.Initial<C, 'Q'>, W = HKT.Initial<C, 'W'>, X = HKT.Initial<C, 'X'>, I = HKT.Initial<C, 'I'>, S = HKT.Initial<C, 'S'>, R = HKT.Initial<C, 'R'>, E = HKT.Initial<C, 'E'>>(b: B, f: (b: B) => Option<readonly [A, B]>): HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>;
}
//# sourceMappingURL=Unfoldable.d.ts.map