/**
 * @typed/fp/StateReaderTaskEither is an extension of fp-ts/StateReaderTaskEither with additional
 * type-class instances.
 * @since 0.9.2
 */
import { ChainRec4 } from 'fp-ts/ChainRec';
import * as E from 'fp-ts/Either';
import * as SRTE from 'fp-ts/StateReaderTaskEither';
import { Arity1 } from './function';
import { MonadRec4 } from './MonadRec';
import { Provide4, ProvideAll4, ProvideSome4, UseAll4, UseSome4 } from './Provide';
/**
 * @since 0.9.2
 * @category Combinator
 */
export declare const chainRec: <A, S, R, E, B>(f: Arity1<A, SRTE.StateReaderTaskEither<S, R, E, E.Either<A, B>>>) => (value: A) => SRTE.StateReaderTaskEither<S, R, E, B>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const ChainRec: ChainRec4<SRTE.URI>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const MonadRec: MonadRec4<SRTE.URI>;
/**
 * @since 0.9.2
 * @category Combinator
 */
export declare const useSome: <R1>(provided: R1) => <S, R2, E, A>(srte: SRTE.StateReaderTaskEither<S, R1 & R2, E, A>) => SRTE.StateReaderTaskEither<S, R2, E, A>;
/**
 * @since 0.9.2
 * @category Combinator
 */
export declare const provideSome: <R1>(provided: R1) => <S, R2, E, A>(srte: SRTE.StateReaderTaskEither<S, R1 & R2, E, A>) => SRTE.StateReaderTaskEither<S, R2, E, A>;
/**
 * @since 0.9.2
 * @category Combinator
 */
export declare const useAll: <R>(provided: R) => <S, E, A>(srte: SRTE.StateReaderTaskEither<S, R, E, A>) => SRTE.StateReaderTaskEither<S, unknown, E, A>;
/**
 * @since 0.9.2
 * @category Combinator
 */
export declare const provideAll: <R>(provided: R) => <S, E, A>(srte: SRTE.StateReaderTaskEither<S, R, E, A>) => SRTE.StateReaderTaskEither<S, unknown, E, A>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const UseSome: UseSome4<SRTE.URI>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const UseAll: UseAll4<SRTE.URI>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const ProvideSome: ProvideSome4<SRTE.URI>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const ProvideAll: ProvideAll4<SRTE.URI>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const Provide: Provide4<SRTE.URI>;
export * from 'fp-ts/StateReaderTaskEither';
//# sourceMappingURL=StateReaderTaskEither.d.ts.map