import type * as HKT from "@principia/prelude/HKT";
import type { XPure } from "../XPure";
export interface Sync<R, E, A> extends XPure<unknown, never, R, E, A> {}
export declare type IO<A> = Sync<unknown, never, A>;
export declare type EIO<E, A> = Sync<unknown, E, A>;
export declare type RIO<R, A> = Sync<R, never, A>;
export declare const URI = "Sync";
export declare type URI = typeof URI;
export declare type V = HKT.V<"R", "-"> & HKT.V<"E", "+">;
declare module "@principia/prelude/HKT" {
   interface URItoKind<FC, TC, N, K, Q, W, X, I, S, R, E, A> {
      readonly [URI]: Sync<R, E, A>;
   }
}
//# sourceMappingURL=model.d.ts.map