@typed/fp/esm/ReaderTaskEither.d.ts

Data Structures and Resources for fp-ts

/**
 * @typed/fp/ReaderTaskEither is an extension of fp-ts/ReaderTaskEither with additional
 * type-class instances.
 * @since 0.9.2
 */
import { ChainRec3 } from 'fp-ts/ChainRec';
import * as E from 'fp-ts/Either';
import * as RTE from 'fp-ts/ReaderTaskEither';
import { MonadRec3 } from './MonadRec';
import { Provide3, ProvideAll3, ProvideSome3, UseAll3, UseSome3 } from './Provide';
/**
 * @since 0.9.2
 * @category Combinator
 */
export declare const chainRec: <A, R, E, B>(f: (value: A) => RTE.ReaderTaskEither<R, E, E.Either<A, B>>) => (value: A) => RTE.ReaderTaskEither<R, E, B>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const ChainRec: ChainRec3<RTE.URI>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const MonadRec: MonadRec3<RTE.URI>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const UseSome: UseSome3<RTE.URI>;
/**
 * @since 0.9.2
 * @category Combinator
 */
export declare const useSome: <A>(provided: A) => <B, E, C>(hkt: RTE.ReaderTaskEither<A & B, E, C>) => RTE.ReaderTaskEither<B, E, C>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const ProvideSome: ProvideSome3<RTE.URI>;
/**
 * @since 0.9.2
 * @category Combinator
 */
export declare const provideSome: <A>(provided: A) => <B, E, C>(hkt: RTE.ReaderTaskEither<A & B, E, C>) => RTE.ReaderTaskEither<B, E, C>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const UseAll: UseAll3<RTE.URI>;
/**
 * @since 0.9.2
 * @category Combinator
 */
export declare const useAll: <A>(provided: A) => <E, B>(hkt: RTE.ReaderTaskEither<Partial<A>, E, B>) => RTE.ReaderTaskEither<unknown, E, B>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const ProvideAll: ProvideAll3<RTE.URI>;
/**
 * @since 0.9.2
 * @category Combinator
 */
export declare const provideAll: <A>(provided: A) => <E, B>(hkt: RTE.ReaderTaskEither<Partial<A>, E, B>) => RTE.ReaderTaskEither<unknown, E, B>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const Provide: Provide3<RTE.URI>;
/**
 * @since 0.9.2
 * @category Combinator
 */
export * from 'fp-ts/ReaderTaskEither';
//# sourceMappingURL=ReaderTaskEither.d.ts.map