export declare const of: <R, A>(a: A) => ReaderTask<R, A>

export declare const ap: <R, A>(fa: ReaderTask<R, A>) => <B>(fab: ReaderTask<R, (a: A) => B>) => ReaderTask<R, B>

export declare const apFirst: <R, B>(fb: ReaderTask<R, B>) => <A>(fa: ReaderTask<R, A>) => ReaderTask<R, A>

export declare const apSecond: <R, B>(fb: ReaderTask<R, B>) => <A>(fa: ReaderTask<R, A>) => ReaderTask<R, B>

export declare const map: <A, B>(f: (a: A) => B) => <R>(fa: ReaderTask<R, A>) => ReaderTask<R, B>

export declare const chain: <A, R, B>(f: (a: A) => ReaderTask<R, B>) => (ma: ReaderTask<R, A>) => ReaderTask<R, B>

export declare const chainFirst: <A, R, B>(f: (a: A) => ReaderTask<R, B>) => (ma: ReaderTask<R, A>) => ReaderTask<R, A>

export declare const chainW: <R, A, B>(
  f: (a: A) => ReaderTask<R, B>
) => <Q>(ma: ReaderTask<Q, A>) => ReaderTask<Q & R, B>

export declare const flatten: <R, A>(mma: ReaderTask<R, ReaderTask<R, A>>) => ReaderTask<R, A>

export declare const chainIOK: <A, B>(f: (a: A) => IO<B>) => <R>(ma: ReaderTask<R, A>) => ReaderTask<R, B>

export declare const chainTaskK: <A, B>(f: (a: A) => T.Task<B>) => <R>(ma: ReaderTask<R, A>) => ReaderTask<R, B>

export declare function fromIOK<A extends ReadonlyArray<unknown>, B>(
  f: (...a: A) => IO<B>
): <R>(...a: A) => ReaderTask<R, B>

export declare function fromTaskK<A extends ReadonlyArray<unknown>, B>(
  f: (...a: A) => Task<B>
): <R>(...a: A) => ReaderTask<R, B>

export declare const local: <Q, R>(f: (f: Q) => R) => <A>(ma: ReaderTask<R, A>) => ReaderTask<Q, A>

export declare const ask: <R>() => ReaderTask<R, R>

export declare const asks: <R, A = never>(f: (r: R) => A) => ReaderTask<R, A>

export declare const fromIO: <R, A>(ma: IO<A>) => ReaderTask<R, A>

export declare const fromReader: <R, A = never>(ma: R.Reader<R, A>) => ReaderTask<R, A>

export declare const fromTask: <R, A>(ma: T.Task<A>) => ReaderTask<R, A>

export declare const URI: 'ReaderTask'

export type URI = typeof URI

export declare const applicativeReaderTaskPar: Applicative2<'ReaderTask'>

export declare const applicativeReaderTaskSeq: Applicative2<'ReaderTask'>

export declare const functorReaderTask: Functor2<'ReaderTask'>

export declare function getMonoid<R, A>(M: Monoid<A>): Monoid<ReaderTask<R, A>>

export declare function getSemigroup<R, A>(S: Semigroup<A>): Semigroup<ReaderTask<R, A>>

export declare const readerTask: MonadTask2<'ReaderTask'>

export declare const readerTaskSeq: MonadTask2<'ReaderTask'>

export interface ReaderTask<R, A> {
  (r: R): Task<A>
}

export declare function run<R, A>(ma: ReaderTask<R, A>, r: R): Promise<A>