import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { Either } from "@tsplus/stdlib/data/Either/definition";
/**
 * @tsplus type ChainRec
 */
export interface ChainRec<F extends HKT> extends HKT.Typeclass<F> {
    readonly Law: {
        readonly ChainRec: "ChainRec";
    };
    readonly chainRec: <A, B, R, E>(f: (a: A) => HKT.Kind<F, R, E, Either<A, B>>) => (a: A) => HKT.Kind<F, R, E, B>;
}
/**
 * @tsplus type ChainRec/Ops
 */
export interface ChainRecOps {
}
export declare const ChainRec: ChainRecOps;
/**
 * @tsplus static ChainRec/Ops tailRec
 * @tsplus location "@tsplus/stdlib/prelude/ChainRec"
 */
export declare function tailRec<A, B>(a: A, f: (a: A) => Either<A, B>): B;
//# sourceMappingURL=ChainRec.d.ts.map