import type * as HKT from "@principia/prelude/HKT";
import type { Monad } from "@principia/prelude/Monad";
export declare class GenHKT<T, A> {
   readonly T: T;
   constructor(T: T);
   [Symbol.iterator](): Generator<GenHKT<T, A>, A, any>;
}
export declare function genWithHistoryF<
   F extends HKT.URIS,
   TC,
   Adapter = {
      <N extends string, K, Q, W, X, I, S, R, E, A>(_: HKT.Kind<F, TC, N, K, Q, W, X, I, S, R, E, A>): GenHKT<
         HKT.Kind<F, TC, N, K, Q, W, X, I, S, R, E, A>,
         A
      >;
   }
>(
   M: Monad<F>,
   config?: {
      adapter?: Adapter;
   }
): <T extends GenHKT<HKT.Kind<F, TC, any, any, any, any, any, any, any, any, any, any>, any>, A0>(
   f: (i: Adapter) => Generator<T, A0, any>
) => HKT.Kind<
   F,
   TC,
   HKT.Infer<F, TC, "N", T["T"]>,
   HKT.Infer<F, TC, "K", T["T"]>,
   HKT.Infer<F, TC, "Q", T["T"]>,
   HKT.Infer<F, TC, "W", T["T"]>,
   HKT.Infer<F, TC, "X", T["T"]>,
   HKT.Infer<F, TC, "I", T["T"]>,
   HKT.Infer<F, TC, "S", T["T"]>,
   HKT.Infer<F, TC, "R", T["T"]>,
   HKT.Infer<F, TC, "E", T["T"]>,
   A0
>;
export declare function genF<
   F extends HKT.URIS,
   TC,
   Adapter = {
      <N extends string, K, Q, W, X, I, S, R, E, A>(_: HKT.Kind<F, TC, N, K, Q, W, X, I, S, R, E, A>): GenHKT<
         HKT.Kind<F, TC, N, K, Q, W, X, I, S, R, E, A>,
         A
      >;
   }
>(
   M: Monad<F>,
   config?: {
      adapter?: Adapter;
   }
): <T extends GenHKT<HKT.Kind<F, TC, any, any, any, any, any, any, any, any, any, any>, any>, A0>(
   f: (i: Adapter) => Generator<T, A0, any>
) => HKT.Kind<
   F,
   TC,
   HKT.Infer<F, TC, "N", T["T"]>,
   HKT.Infer<F, TC, "K", T["T"]>,
   HKT.Infer<F, TC, "Q", T["T"]>,
   HKT.Infer<F, TC, "W", T["T"]>,
   HKT.Infer<F, TC, "X", T["T"]>,
   HKT.Infer<F, TC, "I", T["T"]>,
   HKT.Infer<F, TC, "S", T["T"]>,
   HKT.Infer<F, TC, "R", T["T"]>,
   HKT.Infer<F, TC, "E", T["T"]>,
   A0
>;
//# sourceMappingURL=gen.d.ts.map