import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { Monad } from "@tsplus/stdlib/prelude/Monad";
export interface DoF<F extends HKT> {
    Do: HKT.Kind<F, unknown, never, {}>;
    bind: <N extends string, R, E, A, Scope>(name: N extends keyof Scope ? {
        error: `binding name '${N}' already in use`;
    } : N, fn: (_: Scope) => HKT.Kind<F, R, E, A>) => <R0, E0>(self: HKT.Kind<F, R0, E0, Scope>) => HKT.Kind<F, R & R0, E | E0, {
        readonly [k in N | keyof Scope]: k extends keyof Scope ? Scope[k] : A;
    }>;
    bindValue: <N extends string, B, Scope>(name: N extends keyof Scope ? {
        error: `binding name '${N}' already in use`;
    } : N, fn: (_: Scope) => B) => <R, E>(self: HKT.Kind<F, R, E, Scope>) => HKT.Kind<F, R, E, {
        readonly [k in N | keyof Scope]: k extends keyof Scope ? Scope[k] : B;
    }>;
}
/**
 * @tsplus static DSL getDoF
 * @tsplus location "@tsplus/stdlib/prelude/DSL/getDoF"
 */
export declare function getDoF<F extends HKT>(F: Monad<F>): DoF<F>;
//# sourceMappingURL=getDoF.d.ts.map