TDeferred

declare const make: <A, E = never>() => STM.STM<TDeferred<A, E>>;

declare const poll: <A, E>(self: TDeferred<A, E>) => STM.STM<Option.Option<Either.Either<A, E>>>;

interface TDeferred<in out A, in out E = never> extends Variance<A, E> {}

declare const done: {
  <A, E>(either: Either<A, E>): (self: TDeferred<A, E>) => STM<boolean>;
  <A, E>(self: TDeferred<A, E>, either: Either<A, E>): STM<boolean>;
};

declare const fail: {
  <E>(error: E): <A>(self: TDeferred<A, E>) => STM<boolean>;
  <A, E>(self: TDeferred<A, E>, error: E): STM<boolean>;
};

declare const succeed: {
  <A>(value: A): <E>(self: TDeferred<A, E>) => STM<boolean>;
  <A, E>(self: TDeferred<A, E>, value: A): STM<boolean>;
};

declare const await: <A, E>(self: TDeferred<A, E>) => STM.STM<A, E>;

declare const TDeferredTypeId: unique symbol;

type TDeferredTypeId = typeof TDeferredTypeId;