import type { V as Variance } from "@principia/prelude/HKT";
import * as T from "../Task/model";
import type { Finalizer, ReleaseMap } from "./ReleaseMap";
export declare const URI = "Managed";
export declare type URI = typeof URI;
export declare type V = Variance<"R", "-"> & Variance<"E", "+">;
export declare class Managed<R, E, A> {
   readonly task: T.Task<readonly [R, ReleaseMap], E, readonly [Finalizer, A]>;
   readonly [T._U]: URI;
   readonly [T._R]: (_: R) => void;
   readonly [T._E]: () => E;
   readonly [T._A]: () => A;
   constructor(task: T.Task<readonly [R, ReleaseMap], E, readonly [Finalizer, A]>);
}
export declare type InferSuccess<T> = T extends Managed<infer R, infer E, infer A> ? A : never;
export declare type IO<A> = Managed<unknown, never, A>;
export declare type RIO<R, A> = Managed<R, never, A>;
export declare type EIO<E, A> = Managed<unknown, E, A>;
//# sourceMappingURL=model.d.ts.map