import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { LazyArg } from "@tsplus/stdlib/data/Function";
/**
 * @tsplus static DSL conditionalF_
 * @tsplus location "@tsplus/stdlib/prelude/DSL/conditionalF"
 */
export declare function conditionalF_<F extends HKT>(): <X extends import("../HKT").HKT.Kind<F, any, any, any>, Y extends import("../HKT").HKT.Kind<F, any, any, any>>(predicate: boolean, onTrue: import("../../data/Function").LazyArg<X>, onFalse: import("../../data/Function").LazyArg<Y>) => import("../HKT").HKT.Kind<F, import("../HKT").HKT.Infer<F, "R", X | Y>, import("../HKT").HKT.Infer<F, "E", X | Y>, import("../HKT").HKT.Infer<F, "A", X | Y>>;
/**
 * @tsplus static DSL conditionalF
 * @tsplus location "@tsplus/stdlib/prelude/DSL/conditionalF"
 */
export declare function conditionalF<F extends HKT>(): <X extends import("../HKT").HKT.Kind<F, any, any, any>, Y extends import("../HKT").HKT.Kind<F, any, any, any>>(onTrue: import("../../data/Function").LazyArg<X>, onFalse: import("../../data/Function").LazyArg<Y>) => (predicate: boolean) => import("../HKT").HKT.Kind<F, import("../HKT").HKT.Infer<F, "R", X | Y>, import("../HKT").HKT.Infer<F, "E", X | Y>, import("../HKT").HKT.Infer<F, "A", X | Y>>;
//# sourceMappingURL=conditionalF.d.ts.map