/**
 * @typed/fp/TaskEither is an extension of fp-ts/TaskEither with additional
 * type-class instances.
 * @since 0.9.2
 */
import { ChainRec2 } from 'fp-ts/ChainRec';
import * as E from 'fp-ts/Either';
import * as TE from 'fp-ts/TaskEither';
import { MonadRec2 } from './MonadRec';
/**
 * @since 0.9.2
 * @category Combinator
 */
export declare const chainRec: <A, E, B>(f: (value: A) => TE.TaskEither<E, E.Either<A, B>>) => (value: A) => TE.TaskEither<E, B>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const ChainRec: ChainRec2<TE.URI>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const MonadRec: MonadRec2<TE.URI>;
export * from 'fp-ts/TaskEither';
//# sourceMappingURL=TaskEither.d.ts.map