effect 2.0.0-next.37 → 2.0.0-next.38

package/dist/TReentrantLock-65156c11.esm.js

@@ -1,435 +0,0 @@
-import { N as acquireRelease, u as uninterruptibleMask, j as zipRight, o as ensuring } from './Effect-d5910dae.esm.js';
-import { e as equals } from './Equal-7d4ae7e7.esm.js';
-import { a as threadName } from './FiberId-556ab9ef.esm.js';
-import { d as dual } from './Function-52fb7d21.esm.js';
-import { m as make$3, i as isEmpty, b as size, j as has, g as get$1, e as empty, c as remove, s as set } from './HashMap-e644e23b.esm.js';
-import { H as withSTMRuntime, u as succeed, t as retry, C as effect, y as zipWith, r as map, a as commit } from './core-9276b625.esm.js';
-import { u as unsafeGet, a as unsafeSet, m as make$2, g as get } from './tRef-b5d0cc28.esm.js';
-import { g as getOrElse } from './Option-1d073850.esm.js';
-
-const TReentrantLockSymbolKey = "effect/TReentrantLock";
-
-/** @internal */
-const TReentrantLockTypeId$1 = /*#__PURE__*/Symbol.for(TReentrantLockSymbolKey);
-const WriteLockTypeId = /*#__PURE__*/Symbol.for("effect/TReentrantLock/WriteLock");
-const ReadLockTypeId = /*#__PURE__*/Symbol.for("effect/TReentrantLock/ReadLock");
-class TReentranLockImpl {
-  [TReentrantLockTypeId$1] = TReentrantLockTypeId$1;
-  constructor(state) {
-    this.state = state;
-  }
-}
-
-/** @internal */
-
-/**
- * This data structure describes the state of the lock when multiple fibers
- * have acquired read locks. The state is tracked as a map from fiber identity
- * to number of read locks acquired by the fiber. This level of detail permits
- * upgrading a read lock to a write lock.
- *
- * @internal
- */
-class ReadLock {
-  [ReadLockTypeId] = ReadLockTypeId;
-  constructor(readers) {
-    this.readers = readers;
-  }
-  get readLocks() {
-    return Array.from(this.readers).reduce((acc, curr) => acc + curr[1], 0);
-  }
-  get writeLocks() {
-    return 0;
-  }
-  readLocksHeld(fiberId) {
-    return getOrElse(get$1(this.readers, fiberId), () => 0);
-  }
-  writeLocksHeld(_fiberId) {
-    return 0;
-  }
-}
-
-/**
- * This data structure describes the state of the lock when a single fiber has
- * a write lock. The fiber has an identity, and may also have acquired a
- * certain number of read locks.
- *
- * @internal
- */
-class WriteLock {
-  [WriteLockTypeId] = WriteLockTypeId;
-  constructor(readLocks, writeLocks, fiberId) {
-    this.readLocks = readLocks;
-    this.writeLocks = writeLocks;
-    this.fiberId = fiberId;
-  }
-  readLocksHeld(fiberId) {
-    return equals(fiberId)(this.fiberId) ? this.readLocks : 0;
-  }
-  writeLocksHeld(fiberId) {
-    return equals(fiberId)(this.fiberId) ? this.writeLocks : 0;
-  }
-}
-const isReadLock = lock => {
-  return ReadLockTypeId in lock;
-};
-const isWriteLock = lock => {
-  return WriteLockTypeId in lock;
-};
-
-/**
- * An empty read lock state, in which no fiber holds any read locks.
- */
-const emptyReadLock = /*#__PURE__*/new ReadLock( /*#__PURE__*/empty());
-
-/**
- * Creates a new read lock where the specified fiber holds the specified
- * number of read locks.
- */
-const makeReadLock = (fiberId, count) => {
-  if (count <= 0) {
-    return emptyReadLock;
-  }
-  return new ReadLock(make$3([fiberId, count]));
-};
-
-/**
- * Determines if there is no other holder of read locks aside from the
- * specified fiber id. If there are no other holders of read locks aside
- * from the specified fiber id, then it is safe to upgrade the read lock
- * into a write lock.
- */
-const noOtherHolder = (readLock, fiberId) => {
-  return isEmpty(readLock.readers) || size(readLock.readers) === 1 && has(readLock.readers, fiberId);
-};
-
-/**
- * Adjusts the number of read locks held by the specified fiber id.
- */
-const adjustReadLock = (readLock, fiberId, adjustment) => {
-  const total = readLock.readLocksHeld(fiberId);
-  const newTotal = total + adjustment;
-  if (newTotal < 0) {
-    throw new Error("BUG - TReentrantLock.ReadLock.adjust - please report an issue at https://github.com/Effect-TS/stm/issues");
-  }
-  if (newTotal === 0) {
-    return new ReadLock(remove(readLock.readers, fiberId));
-  }
-  return new ReadLock(set(readLock.readers, fiberId, newTotal));
-};
-const adjustRead = (self, delta) => withSTMRuntime(runtime => {
-  const lock = unsafeGet(self.state, runtime.journal);
-  if (isReadLock(lock)) {
-    const result = adjustReadLock(lock, runtime.fiberId, delta);
-    unsafeSet(self.state, result, runtime.journal);
-    return succeed(result.readLocksHeld(runtime.fiberId));
-  }
-  if (isWriteLock(lock) && equals(runtime.fiberId)(lock.fiberId)) {
-    const newTotal = lock.readLocks + delta;
-    if (newTotal < 0) {
-      throw new Error(`Defect: Fiber ${threadName(runtime.fiberId)} releasing read locks it does not hold, newTotal: ${newTotal}`);
-    }
-    unsafeSet(self.state, new WriteLock(newTotal, lock.writeLocks, runtime.fiberId), runtime.journal);
-    return succeed(newTotal);
-  }
-  return retry;
-});
-
-/** @internal */
-const acquireRead$1 = self => adjustRead(self, 1);
-
-/** @internal */
-const acquireWrite$1 = self => withSTMRuntime(runtime => {
-  const lock = unsafeGet(self.state, runtime.journal);
-  if (isReadLock(lock) && noOtherHolder(lock, runtime.fiberId)) {
-    unsafeSet(self.state, new WriteLock(lock.readLocksHeld(runtime.fiberId), 1, runtime.fiberId), runtime.journal);
-    return succeed(1);
-  }
-  if (isWriteLock(lock) && equals(runtime.fiberId)(lock.fiberId)) {
-    unsafeSet(self.state, new WriteLock(lock.readLocks, lock.writeLocks + 1, runtime.fiberId), runtime.journal);
-    return succeed(lock.writeLocks + 1);
-  }
-  return retry;
-});
-
-/** @internal */
-const fiberReadLocks$1 = self => effect((journal, fiberId) => unsafeGet(self.state, journal).readLocksHeld(fiberId));
-
-/** @internal */
-const fiberWriteLocks$1 = self => effect((journal, fiberId) => unsafeGet(self.state, journal).writeLocksHeld(fiberId));
-
-/** @internal */
-const lock$1 = self => writeLock$1(self);
-
-/** @internal */
-const locked$1 = self => zipWith(readLocked$1(self), writeLocked$1(self), (x, y) => x || y);
-
-/** @internal */
-const make$1 = /*#__PURE__*/map( /*#__PURE__*/make$2(emptyReadLock), readLock => new TReentranLockImpl(readLock));
-
-/** @internal */
-const readLock$1 = self => acquireRelease(commit(acquireRead$1(self)), () => commit(releaseRead$1(self)));
-
-/** @internal */
-const readLocks$1 = self => map(get(self.state), state => state.readLocks);
-
-/** @internal */
-const readLocked$1 = self => map(get(self.state), state => state.readLocks > 0);
-
-/** @internal */
-const releaseRead$1 = self => adjustRead(self, -1);
-
-/** @internal */
-const releaseWrite$1 = self => withSTMRuntime(runtime => {
-  const lock = unsafeGet(self.state, runtime.journal);
-  if (isWriteLock(lock) && lock.writeLocks === 1 && equals(runtime.fiberId)(lock.fiberId)) {
-    const result = makeReadLock(lock.fiberId, lock.readLocks);
-    unsafeSet(self.state, result, runtime.journal);
-    return succeed(result.writeLocksHeld(runtime.fiberId));
-  }
-  if (isWriteLock(lock) && equals(runtime.fiberId)(lock.fiberId)) {
-    const result = new WriteLock(lock.readLocks, lock.writeLocks - 1, runtime.fiberId);
-    unsafeSet(self.state, result, runtime.journal);
-    return succeed(result.writeLocksHeld(runtime.fiberId));
-  }
-  throw new Error(`Defect: Fiber ${threadName(runtime.fiberId)} releasing write lock it does not hold`);
-});
-
-/** @internal */
-const withLock$1 = /*#__PURE__*/dual(2, (effect, self) => withWriteLock$1(effect, self));
-
-/** @internal */
-const withReadLock$1 = /*#__PURE__*/dual(2, (effect, self) => uninterruptibleMask(restore => zipRight(restore(commit(acquireRead$1(self))), ensuring(effect, commit(releaseRead$1(self))))));
-
-/** @internal */
-const withWriteLock$1 = /*#__PURE__*/dual(2, (effect, self) => uninterruptibleMask(restore => zipRight(restore(commit(acquireWrite$1(self))), ensuring(effect, commit(releaseWrite$1(self))))));
-
-/** @internal */
-const writeLock$1 = self => acquireRelease(commit(acquireWrite$1(self)), () => commit(releaseWrite$1(self)));
-
-/** @internal */
-const writeLocked$1 = self => map(get(self.state), state => state.writeLocks > 0);
-
-/** @internal */
-const writeLocks$1 = self => map(get(self.state), state => state.writeLocks);
-
-/**
- * @since 1.0.0
- */
-/**
- * @since 1.0.0
- * @category symbols
- */
-const TReentrantLockTypeId = TReentrantLockTypeId$1;
-
-/**
- * @since 1.0.0
- * @category symbols
- */
-
-/**
- * A `TReentrantLock` is a reentrant read/write lock. Multiple readers may all
- * concurrently acquire read locks. Only one writer is allowed to acquire a
- * write lock at any given time. Read locks may be upgraded into write locks. A
- * fiber that has a write lock may acquire other write locks or read locks.
- *
- * The two primary methods of this structure are `readLock`, which acquires a
- * read lock in a scoped context, and `writeLock`, which acquires a write lock
- * in a scoped context.
- *
- * Although located in the STM package, there is no need for locks within STM
- * transactions. However, this lock can be quite useful in effectful code, to
- * provide consistent read/write access to mutable state; and being in STM
- * allows this structure to be composed into more complicated concurrent
- * structures that are consumed from effectful code.
- *
- * @since 1.0.0
- * @category models
- */
-
-/**
- * @internal
- * @since 1.0.0
- */
-
-/**
- * @since 1.0.0
- */
-
-/**
- * Acquires a read lock. The transaction will suspend until no other fiber is
- * holding a write lock. Succeeds with the number of read locks held by this
- * fiber.
- *
- * @since 1.0.0
- * @category mutations
- */
-const acquireRead = acquireRead$1;
-
-/**
- * Acquires a write lock. The transaction will suspend until no other fibers
- * are holding read or write locks. Succeeds with the number of write locks
- * held by this fiber.
- *
- * @since 1.0.0
- * @category mutations
- */
-const acquireWrite = acquireWrite$1;
-
-/**
- * Retrieves the number of acquired read locks for this fiber.
- *
- * @since 1.0.0
- * @category mutations
- */
-const fiberReadLocks = fiberReadLocks$1;
-
-/**
- * Retrieves the number of acquired write locks for this fiber.
- *
- * @since 1.0.0
- * @category mutations
- */
-const fiberWriteLocks = fiberWriteLocks$1;
-
-/**
- * Just a convenience method for applications that only need reentrant locks,
- * without needing a distinction between readers / writers.
- *
- * See `TReentrantLock.writeLock`.
- *
- * @since 1.0.0
- * @category mutations
- */
-const lock = lock$1;
-
-/**
- * Determines if any fiber has a read or write lock.
- *
- * @since 1.0.0
- * @category mutations
- */
-const locked = locked$1;
-
-/**
- * Makes a new reentrant read/write lock.
- *
- * @since 1.0.0
- * @category constructors
- */
-const make = make$1;
-
-/**
- * Obtains a read lock in a scoped context.
- *
- * @since 1.0.0
- * @category mutations
- */
-const readLock = readLock$1;
-
-/**
- * Retrieves the total number of acquired read locks.
- *
- * @since 1.0.0
- * @category mutations
- */
-const readLocks = readLocks$1;
-
-/**
- * Determines if any fiber has a read lock.
- *
- * @since 1.0.0
- * @category mutations
- */
-const readLocked = readLocked$1;
-
-/**
- * Releases a read lock held by this fiber. Succeeds with the outstanding
- * number of read locks held by this fiber.
- *
- * @since 1.0.0
- * @category mutations
- */
-const releaseRead = releaseRead$1;
-
-/**
- * Releases a write lock held by this fiber. Succeeds with the outstanding
- * number of write locks held by this fiber.
- *
- * @since 1.0.0
- * @category mutations
- */
-const releaseWrite = releaseWrite$1;
-
-/**
- * Runs the specified workflow with a lock.
- *
- * @since 1.0.0
- * @category mutations
- */
-const withLock = withLock$1;
-
-/**
- * Runs the specified workflow with a read lock.
- *
- * @since 1.0.0
- * @category mutations
- */
-const withReadLock = withReadLock$1;
-
-/**
- * Runs the specified workflow with a write lock.
- *
- * @since 1.0.0
- * @category mutations
- */
-const withWriteLock = withWriteLock$1;
-
-/**
- * Obtains a write lock in a scoped context.
- *
- * @since 1.0.0
- * @category mutations
- */
-const writeLock = writeLock$1;
-
-/**
- * Determines if a write lock is held by some fiber.
- *
- * @since 1.0.0
- * @category mutations
- */
-const writeLocked = writeLocked$1;
-
-/**
- * Computes the number of write locks held by fibers.
- *
- * @since 1.0.0
- * @category mutations
- */
-const writeLocks = writeLocks$1;
-
-var TReentrantLock = /*#__PURE__*/Object.freeze({
-  __proto__: null,
-  TReentrantLockTypeId: TReentrantLockTypeId,
-  acquireRead: acquireRead,
-  acquireWrite: acquireWrite,
-  fiberReadLocks: fiberReadLocks,
-  fiberWriteLocks: fiberWriteLocks,
-  lock: lock,
-  locked: locked,
-  make: make,
-  readLock: readLock,
-  readLocks: readLocks,
-  readLocked: readLocked,
-  releaseRead: releaseRead,
-  releaseWrite: releaseWrite,
-  withLock: withLock,
-  withReadLock: withReadLock,
-  withWriteLock: withWriteLock,
-  writeLock: writeLock,
-  writeLocked: writeLocked,
-  writeLocks: writeLocks
-});
-
-export { TReentrantLock as T, TReentrantLockTypeId as a, acquireRead as b, acquireWrite as c, fiberWriteLocks as d, locked as e, fiberReadLocks as f, readLocks as g, readLocked as h, releaseRead as i, releaseWrite as j, withReadLock as k, lock as l, make as m, withWriteLock as n, writeLock as o, writeLocked as p, writeLocks as q, readLock as r, withLock as w };

package/dist/TRef-4a45f5af.cjs.dev.js

@@ -1,152 +0,0 @@
-'use strict';
-
-var tRef = require('./tRef-bbbdd134.cjs.dev.js');
-
-/**
- * @since 1.0.0
- */
-/**
- * @since 1.0.0
- * @category symbols
- */
-const TRefTypeId = tRef.TRefTypeId;
-
-/**
- * @since 1.0.0
- * @category symbols
- */
-
-/**
- * A `TRef<A>` is a purely functional description of a mutable reference that can
- * be modified as part of a transactional effect. The fundamental operations of
- * a `TRef` are `set` and `get`. `set` transactionally sets the reference to a
- * new value. `get` gets the current value of the reference.
- *
- * NOTE: While `TRef<A>` provides the transactional equivalent of a mutable
- * reference, the value inside the `TRef` should be immutable.
- *
- * @since 1.0.0
- * @category models
- */
-
-/**
- * @internal
- * @since 1.0.0
- */
-/**
- * @since 1.0.0
- */
-let TRef;
-/**
- * @since 1.0.0
- * @category mutations
- */
-const get = tRef.get;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const getAndSet = tRef.getAndSet;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const getAndUpdate = tRef.getAndUpdate;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const getAndUpdateSome = tRef.getAndUpdateSome;
-
-/**
- * @since 1.0.0
- * @category constructors
- */
-const make = tRef.make;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const modify = tRef.modify;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const modifySome = tRef.modifySome;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const set = tRef.set;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const setAndGet = tRef.setAndGet;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const update = tRef.update;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const updateAndGet = tRef.updateAndGet;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const updateSome = tRef.updateSome;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const updateSomeAndGet = tRef.updateSomeAndGet;
-
-var TRef$1 = /*#__PURE__*/Object.freeze({
-  __proto__: null,
-  TRefTypeId: TRefTypeId,
-  TRef: TRef,
-  get: get,
-  getAndSet: getAndSet,
-  getAndUpdate: getAndUpdate,
-  getAndUpdateSome: getAndUpdateSome,
-  make: make,
-  modify: modify,
-  modifySome: modifySome,
-  set: set,
-  setAndGet: setAndGet,
-  update: update,
-  updateAndGet: updateAndGet,
-  updateSome: updateSome,
-  updateSomeAndGet: updateSomeAndGet
-});
-
-exports.TRef = TRef$1;
-exports.TRef$1 = TRef;
-exports.TRefTypeId = TRefTypeId;
-exports.get = get;
-exports.getAndSet = getAndSet;
-exports.getAndUpdate = getAndUpdate;
-exports.getAndUpdateSome = getAndUpdateSome;
-exports.make = make;
-exports.modify = modify;
-exports.modifySome = modifySome;
-exports.set = set;
-exports.setAndGet = setAndGet;
-exports.update = update;
-exports.updateAndGet = updateAndGet;
-exports.updateSome = updateSome;
-exports.updateSomeAndGet = updateSomeAndGet;

package/dist/TRef-edd5ff88.esm.js

@@ -1,135 +0,0 @@
-import { c as TRefTypeId$1, g as get$1, d as getAndSet$1, e as getAndUpdate$1, f as getAndUpdateSome$1, m as make$1, h as modify$1, i as modifySome$1, s as set$1, j as setAndGet$1, b as update$1, k as updateAndGet$1, l as updateSome$1, n as updateSomeAndGet$1 } from './tRef-b5d0cc28.esm.js';
-
-/**
- * @since 1.0.0
- */
-/**
- * @since 1.0.0
- * @category symbols
- */
-const TRefTypeId = TRefTypeId$1;
-
-/**
- * @since 1.0.0
- * @category symbols
- */
-
-/**
- * A `TRef<A>` is a purely functional description of a mutable reference that can
- * be modified as part of a transactional effect. The fundamental operations of
- * a `TRef` are `set` and `get`. `set` transactionally sets the reference to a
- * new value. `get` gets the current value of the reference.
- *
- * NOTE: While `TRef<A>` provides the transactional equivalent of a mutable
- * reference, the value inside the `TRef` should be immutable.
- *
- * @since 1.0.0
- * @category models
- */
-
-/**
- * @internal
- * @since 1.0.0
- */
-/**
- * @since 1.0.0
- */
-let TRef;
-/**
- * @since 1.0.0
- * @category mutations
- */
-const get = get$1;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const getAndSet = getAndSet$1;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const getAndUpdate = getAndUpdate$1;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const getAndUpdateSome = getAndUpdateSome$1;
-
-/**
- * @since 1.0.0
- * @category constructors
- */
-const make = make$1;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const modify = modify$1;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const modifySome = modifySome$1;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const set = set$1;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const setAndGet = setAndGet$1;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const update = update$1;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const updateAndGet = updateAndGet$1;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const updateSome = updateSome$1;
-
-/**
- * @since 1.0.0
- * @category mutations
- */
-const updateSomeAndGet = updateSomeAndGet$1;
-
-var TRef$1 = /*#__PURE__*/Object.freeze({
-  __proto__: null,
-  TRefTypeId: TRefTypeId,
-  TRef: TRef,
-  get: get,
-  getAndSet: getAndSet,
-  getAndUpdate: getAndUpdate,
-  getAndUpdateSome: getAndUpdateSome,
-  make: make,
-  modify: modify,
-  modifySome: modifySome,
-  set: set,
-  setAndGet: setAndGet,
-  update: update,
-  updateAndGet: updateAndGet,
-  updateSome: updateSome,
-  updateSomeAndGet: updateSomeAndGet
-});
-
-export { TRef$1 as T, TRefTypeId as a, TRef as b, getAndSet as c, getAndUpdate as d, getAndUpdateSome as e, modify as f, get as g, modifySome as h, setAndGet as i, updateAndGet as j, updateSome as k, updateSomeAndGet as l, make as m, set as s, update as u };