SynchronizedRef

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

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

interface SynchronizedRef<in out A> extends Variance<A>, Ref<A> {
  readonly [ignoreSymbol]?: SynchronizedRefUnifyIgnore;
  readonly [typeSymbol]?: unknown;
  readonly [unifySymbol]?: SynchronizedRefUnify<SynchronizedRef<A>>;
  modifyEffect<B, E, R>(f: (a: A) => Effect<readonly [B, A], E, R>): Effect<B, E, R>;
}

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

interface SynchronizedRefUnifyIgnore extends RefUnifyIgnore {
  Ref?: true;
}

declare const SynchronizedRefTypeId: unique symbol

type SynchronizedRefTypeId = typeof SynchronizedRefTypeId

declare const unsafeMake: <A>(value: A) => SynchronizedRef<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 getAndUpdateEffect: {
  <A, R, E>(f: (a: A) => Effect<A, E, R>): (self: SynchronizedRef<A>) => Effect<A, E, R>;
  <A, R, E>(self: SynchronizedRef<A>, f: (a: A) => Effect<A, E, R>): Effect<A, E, R>;
}

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 getAndUpdateSomeEffect: {
  <A, R, E>(pf: (a: A) => Option<Effect<A, E, R>>): (self: SynchronizedRef<A>) => Effect<A, E, R>;
  <A, R, E>(self: SynchronizedRef<A>, pf: (a: A) => Option<Effect<A, E, R>>): Effect<A, E, R>;
}

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

declare const modifyEffect: {
  <A, B, E, R>(f: (a: A) => Effect<readonly [B, A], E, R>): (self: SynchronizedRef<A>) => Effect<B, E, R>;
  <A, B, E, R>(self: SynchronizedRef<A>, f: (a: A) => Effect<readonly [B, A], E, R>): Effect<B, E, R>;
}

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 modifySomeEffect: {
  <A, B, R, E>(fallback: B, pf: (a: A) => Option<Effect<readonly [B, A], E, R>>): (self: SynchronizedRef<A>) => Effect<B, E, R>;
  <A, B, R, E>(self: SynchronizedRef<A>, fallback: B, pf: (a: A) => Option<Effect<readonly [B, A], E, R>>): Effect<B, E, R>;
}

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 updateAndGetEffect: {
  <A, R, E>(f: (a: A) => Effect<A, E, R>): (self: SynchronizedRef<A>) => Effect<A, E, R>;
  <A, R, E>(self: SynchronizedRef<A>, f: (a: A) => Effect<A, E, R>): Effect<A, E, R>;
}

declare const updateEffect: {
  <A, R, E>(f: (a: A) => Effect<A, E, R>): (self: SynchronizedRef<A>) => Effect<void, E, R>;
  <A, R, E>(self: SynchronizedRef<A>, f: (a: A) => Effect<A, E, R>): Effect<void, E, R>;
}

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>;
}

declare const updateSomeAndGetEffect: {
  <A, R, E>(pf: (a: A) => Option<Effect<A, E, R>>): (self: SynchronizedRef<A>) => Effect<A, E, R>;
  <A, R, E>(self: SynchronizedRef<A>, pf: (a: A) => Option<Effect<A, E, R>>): Effect<A, E, R>;
}

declare const updateSomeEffect: {
  <A, R, E>(pf: (a: A) => Option<Effect<A, E, R>>): (self: SynchronizedRef<A>) => Effect<void, E, R>;
  <A, R, E>(self: SynchronizedRef<A>, pf: (a: A) => Option<Effect<A, E, R>>): Effect<void, E, R>;
}