import * as P from "@principia/prelude";
import type { IO, URI, V } from "./model";
export declare const Do: P.Do<[URI], V>;
/**
 * ```haskell
 * do :: IO {}
 * ```
 *
 * An `IO` of an empty object. Typically used at the starting point for `Do` expressions
 *
 * @category Do
 * @since 1.0.0
 */
declare const of: IO<{}>;
export { of as do };
export declare const bindS: P.BindSFn<["IO"], import("@principia/prelude/HKT").Auto>;
export declare const letS: P.LetSFn<["IO"], import("@principia/prelude/HKT").Auto>;
export declare const bindToS: P.BindToSFn<["IO"], import("@principia/prelude/HKT").Auto>;
//# sourceMappingURL=do.d.ts.map