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

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

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

export interface TDeferred<E, A> extends TDeferred.Variance<E, A> {}

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

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

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

export declare const TDeferredTypeId: typeof TDeferredTypeId

export type TDeferredTypeId = typeof TDeferredTypeId

export interface Variance<E, A> {
  readonly [TDeferredTypeId]: {
    readonly _E: (_: never) => E
    readonly _A: (_: never) => A
  }
}