Readable

declare const map: {
  <A, B>(f: (a: NoInfer<A>) => B): <E, R>(fa: Readable<A, E, R>) => Readable<B, E, R>;
  <A, E, R, B>(self: Readable<A, E, R>, f: (a: NoInfer<A>) => B): Readable<B, E, R>;
};

declare const mapEffect: {
  <A, B, E2, R2>(
    f: (a: NoInfer<A>) => Effect<B, E2, R2>,
  ): <E, R>(fa: Readable<A, E, R>) => Readable<B, E2 | E, R2 | R>;
  <A, E, R, B, E2, R2>(
    self: Readable<A, E, R>,
    f: (a: NoInfer<A>) => Effect<B, E2, R2>,
  ): Readable<B, E | E2, R | R2>;
};

declare function make<A, E, R>(get: Effect<A, E, R>): Readable<A, E, R>;

declare function unwrap<A, E, R, E1, R1>(
  effect: Effect<Readable<A, E, R>, E1, R1>,
): Readable<A, E | E1, R | R1>;

interface Readable<A, E = never, R = never> extends Pipeable {
  readonly [TypeId]: typeof TypeId;
  readonly get: Effect<A, E, R>;
}

declare function isReadable(u: unknown): u is Readable<unknown, unknown, unknown>;

declare const TypeId: unique symbol;

type TypeId = typeof TypeId;