Ref

declare const make: <A>(value: A) => Effect.Effect<Ref<A>>;

declare const get: <A>(self: Ref<A>) => Effect.Effect<A>;

interface Ref<in out A> extends Variance<A>, Effect<A>, Readable<A> {
  readonly [ignoreSymbol]?: RefUnifyIgnore;
  readonly [typeSymbol]?: unknown;
  readonly [unifySymbol]?: RefUnify<Ref<A>>;
  modify<B>(f: (a: A) => readonly [B, A]): Effect<B>;
}

interface RefUnify<
  A extends {
    [typeSymbol]?: any;
  },
> extends EffectUnify<A> {
  Ref?: () => Extract<A[typeof typeSymbol], Ref<any>>;
}

interface RefUnifyIgnore extends EffectUnifyIgnore {
  Effect?: true;
}

declare const RefTypeId: unique symbol;

type RefTypeId = typeof RefTypeId;

declare const unsafeMake: <A>(value: A) => Ref<A>;

declare const getAndSet: {
  <A>(value: A): (self: Ref<A>) => Effect<A>;
  <A>(self: Ref<A>, value: A): Effect<A>;
};

declare const getAndUpdate: {
  <A>(f: (a: A) => A): (self: Ref<A>) => Effect<A>;
  <A>(self: Ref<A>, f: (a: A) => A): Effect<A>;
};

declare const getAndUpdateSome: {
  <A>(pf: (a: A) => Option<A>): (self: Ref<A>) => Effect<A>;
  <A>(self: Ref<A>, pf: (a: A) => Option<A>): Effect<A>;
};

declare const modify: {
  <A, B>(f: (a: A) => readonly [B, A]): (self: Ref<A>) => Effect<B>;
  <A, B>(self: Ref<A>, f: (a: A) => readonly [B, A]): Effect<B>;
};

declare const modifySome: {
  <B, A>(fallback: B, pf: (a: A) => Option<readonly [B, A]>): (self: Ref<A>) => Effect<B>;
  <A, B>(self: Ref<A>, fallback: B, pf: (a: A) => Option<readonly [B, A]>): Effect<B>;
};

declare const set: {
  <A>(value: A): (self: Ref<A>) => Effect<void>;
  <A>(self: Ref<A>, value: A): Effect<void>;
};

declare const setAndGet: {
  <A>(value: A): (self: Ref<A>) => Effect<A>;
  <A>(self: Ref<A>, value: A): Effect<A>;
};

declare const update: {
  <A>(f: (a: A) => A): (self: Ref<A>) => Effect<void>;
  <A>(self: Ref<A>, f: (a: A) => A): Effect<void>;
};

declare const updateAndGet: {
  <A>(f: (a: A) => A): (self: Ref<A>) => Effect<A>;
  <A>(self: Ref<A>, f: (a: A) => A): Effect<A>;
};

declare const updateSome: {
  <A>(f: (a: A) => Option<A>): (self: Ref<A>) => Effect<void>;
  <A>(self: Ref<A>, f: (a: A) => Option<A>): Effect<void>;
};

declare const updateSomeAndGet: {
  <A>(pf: (a: A) => Option<A>): (self: Ref<A>) => Effect<A>;
  <A>(self: Ref<A>, pf: (a: A) => Option<A>): Effect<A>;
};