import { Maybe } from "@tsplus/stdlib/data/Maybe/definition";
/**
 * @tsplus static Maybe.Ops Do
 * @tsplus location "@tsplus/stdlib/data/Maybe/dsl/do"
 */
export declare const Do: import("../definition").Maybe<{}>;
/**
 * @tsplus static Maybe.Aspects bind
 * @tsplus pipeable Maybe bind
 * @tsplus location "@tsplus/stdlib/data/Maybe/dsl/do"
 */
export declare function bind<N extends string, Scope, A>(name: N extends keyof Scope ? {
    error: `binding name '${N}' already in use`;
} : N, f: (_: Scope) => Maybe<A>): (self: Maybe<Scope>) => import("../definition").Maybe<{ readonly [k in N | keyof Scope]: k extends keyof Scope ? Scope[k] : A; }>;
/**
 * @tsplus static Maybe.Aspects bindValue
 * @tsplus pipeable Maybe bindValue
 * @tsplus location "@tsplus/stdlib/data/Maybe/dsl/do"
 */
export declare function bindValue<N extends string, Scope, B>(name: N extends keyof Scope ? {
    error: `binding name '${N}' already in use`;
} : N, f: (_: Scope) => B): (self: Maybe<Scope>) => import("../definition").Maybe<{ readonly [k in N | keyof Scope]: k extends keyof Scope ? Scope[k] : B; }>;
//# sourceMappingURL=do.d.ts.map