import type { Either } from "./model";
/**
 * @category Do
 * @since 1.0.0
 */
export declare const Do: import("../../../prelude/dist/Do").Do<["Either"], import("./model").V>;
/**
 * ```haskell
 * do :: Either _ {}
 * ```
 *
 * @category Do
 * @since 1.0.0
 */
declare const of: Either<never, {}>;
export { of as do };
/**
 * ```haskell
 * bindS :: (Monad m, Nominal n) =>
 *   (n n3, (({ n n1: a, n n2: b, ... }) -> m c))
 *   -> m ({ n n1: a, n2: b, ... })
 *   -> m ({ n n1: a, n n2: b, ..., n n3: c })
 * ```
 *
 * Contributes a computation to a threaded scope
 *
 * @category Do
 * @since 1.0.0
 */
export declare const bindS: import("../../../prelude/dist/Do").BindSFn<["Either"], import("./model").V>;
/**
 * ```haskell
 * letS :: (Monad m, Nominal n) =>
 *   (n n3, (({ n1: a, n2: b, ... }) -> c))
 *   -> m ({ n1: a, n2: b, ... })
 *   -> m ({ n1: a, n2: b, ..., n3: c })
 * ```
 *
 * Contributes a pure value to a threaded scope
 *
 * @category Do
 * @since 1.0.0
 */
export declare const letS: import("../../../prelude/dist/Do").LetSFn<["Either"], import("./model").V>;
/**
 * ```haskell
 * bindToS :: (Monad m, Nominal n) => n n1 -> m a -> m ({ n1: a })
 * ```
 *
 * Binds a computation to a property in a `Record`.
 *
 * @category Do
 * @since 1.0.0
 */
export declare const bindToS: import("../../../prelude/dist/Do").BindToSFn<["Either"], import("./model").V>;
//# sourceMappingURL=do.d.ts.map