import type { Either } from "../Either";
import { NoSuchElementException } from "../GlobalExceptions";
import type { Option } from "../Option";
import type { _E, _R } from "../support/utils";
import type { Has, Tag } from "../Has";
import type { Sync } from "./model";
export declare class GenSync<R, E, A> {
   readonly S: Sync<R, E, A>;
   readonly _R: (_: R) => void;
   readonly _E: () => E;
   readonly _A: () => A;
   constructor(S: Sync<R, E, A>);
   [Symbol.iterator](): Generator<GenSync<R, E, A>, A, any>;
}
export declare function gen<R0, E0, A0>(): <T extends GenSync<R0, E0, any>>(
   f: (i: {
      <A>(_: Tag<A>): GenSync<Has<A>, never, A>;
      <E, A>(_: Option<A>, onNone: () => E): GenSync<unknown, E, A>;
      <A>(_: Option<A>): GenSync<unknown, NoSuchElementException, A>;
      <E, A>(_: Either<E, A>): GenSync<unknown, E, A>;
      <R, E, A>(_: Sync<R, E, A>): GenSync<R, E, A>;
   }) => Generator<T, A0, any>
) => Sync<_R<T>, _E<T>, A0>;
export declare function gen<E0, A0>(): <T extends GenSync<any, E0, any>>(
   f: (i: {
      <A>(_: Tag<A>): GenSync<Has<A>, never, A>;
      <E, A>(_: Option<A>, onNone: () => E): GenSync<unknown, E, A>;
      <A>(_: Option<A>): GenSync<unknown, NoSuchElementException, A>;
      <E, A>(_: Either<E, A>): GenSync<unknown, E, A>;
      <R, E, A>(_: Sync<R, E, A>): GenSync<R, E, A>;
   }) => Generator<T, A0, any>
) => Sync<_R<T>, _E<T>, A0>;
export declare function gen<A0>(): <T extends GenSync<any, any, any>>(
   f: (i: {
      <A>(_: Tag<A>): GenSync<Has<A>, never, A>;
      <E, A>(_: Option<A>, onNone: () => E): GenSync<unknown, E, A>;
      <A>(_: Option<A>): GenSync<unknown, NoSuchElementException, A>;
      <E, A>(_: Either<E, A>): GenSync<unknown, E, A>;
      <R, E, A>(_: Sync<R, E, A>): GenSync<R, E, A>;
   }) => Generator<T, A0, any>
) => Sync<_R<T>, _E<T>, A0>;
export declare function gen<T extends GenSync<any, any, any>, A>(
   f: (i: {
      <A>(_: Tag<A>): GenSync<Has<A>, never, A>;
      <E, A>(_: Option<A>, onNone: () => E): GenSync<unknown, E, A>;
      <A>(_: Option<A>): GenSync<unknown, NoSuchElementException, A>;
      <E, A>(_: Either<E, A>): GenSync<unknown, E, A>;
      <R, E, A>(_: Sync<R, E, A>): GenSync<R, E, A>;
   }) => Generator<T, A, any>
): Sync<_R<T>, _E<T>, A>;
//# sourceMappingURL=gen.d.ts.map