effect 2.0.0-next.42 → 2.0.0-next.43

package/dist/TReentrantLock-86796969.cjs.prod.js

@@ -1,456 +0,0 @@
-'use strict';
-
-var Effect_dist_effectEffect = require('./Effect-9ed81037.cjs.prod.js');
-var Equal_dist_effectEqual = require('./Equal-ce9977a8.cjs.prod.js');
-var FiberId_dist_effectFiberId = require('./FiberId-b79e8047.cjs.prod.js');
-var Function_dist_effectFunction = require('./Function-2e6b0cda.cjs.prod.js');
-var HashMap_dist_effectHashMap = require('./HashMap-12668911.cjs.prod.js');
-var core = require('./core-3a3a9567.cjs.prod.js');
-var tRef = require('./tRef-0bbb1e7e.cjs.prod.js');
-var Option_dist_effectOption = require('./Option-02025c86.cjs.prod.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 Option_dist_effectOption.getOrElse(HashMap_dist_effectHashMap.get(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 Equal_dist_effectEqual.equals(fiberId)(this.fiberId) ? this.readLocks : 0;
-  }
-  writeLocksHeld(fiberId) {
-    return Equal_dist_effectEqual.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__*/HashMap_dist_effectHashMap.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(HashMap_dist_effectHashMap.make([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 HashMap_dist_effectHashMap.isEmpty(readLock.readers) || HashMap_dist_effectHashMap.size(readLock.readers) === 1 && HashMap_dist_effectHashMap.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(HashMap_dist_effectHashMap.remove(readLock.readers, fiberId));
-  }
-  return new ReadLock(HashMap_dist_effectHashMap.set(readLock.readers, fiberId, newTotal));
-};
-const adjustRead = (self, delta) => core.withSTMRuntime(runtime => {
-  const lock = tRef.unsafeGet(self.state, runtime.journal);
-  if (isReadLock(lock)) {
-    const result = adjustReadLock(lock, runtime.fiberId, delta);
-    tRef.unsafeSet(self.state, result, runtime.journal);
-    return core.succeed(result.readLocksHeld(runtime.fiberId));
-  }
-  if (isWriteLock(lock) && Equal_dist_effectEqual.equals(runtime.fiberId)(lock.fiberId)) {
-    const newTotal = lock.readLocks + delta;
-    if (newTotal < 0) {
-      throw new Error(`Defect: Fiber ${FiberId_dist_effectFiberId.threadName$1(runtime.fiberId)} releasing read locks it does not hold, newTotal: ${newTotal}`);
-    }
-    tRef.unsafeSet(self.state, new WriteLock(newTotal, lock.writeLocks, runtime.fiberId), runtime.journal);
-    return core.succeed(newTotal);
-  }
-  return core.retry;
-});
-
-/** @internal */
-const acquireRead$1 = self => adjustRead(self, 1);
-
-/** @internal */
-const acquireWrite$1 = self => core.withSTMRuntime(runtime => {
-  const lock = tRef.unsafeGet(self.state, runtime.journal);
-  if (isReadLock(lock) && noOtherHolder(lock, runtime.fiberId)) {
-    tRef.unsafeSet(self.state, new WriteLock(lock.readLocksHeld(runtime.fiberId), 1, runtime.fiberId), runtime.journal);
-    return core.succeed(1);
-  }
-  if (isWriteLock(lock) && Equal_dist_effectEqual.equals(runtime.fiberId)(lock.fiberId)) {
-    tRef.unsafeSet(self.state, new WriteLock(lock.readLocks, lock.writeLocks + 1, runtime.fiberId), runtime.journal);
-    return core.succeed(lock.writeLocks + 1);
-  }
-  return core.retry;
-});
-
-/** @internal */
-const fiberReadLocks$1 = self => core.effect((journal, fiberId) => tRef.unsafeGet(self.state, journal).readLocksHeld(fiberId));
-
-/** @internal */
-const fiberWriteLocks$1 = self => core.effect((journal, fiberId) => tRef.unsafeGet(self.state, journal).writeLocksHeld(fiberId));
-
-/** @internal */
-const lock$1 = self => writeLock$1(self);
-
-/** @internal */
-const locked$1 = self => core.zipWith(readLocked$1(self), writeLocked$1(self), (x, y) => x || y);
-
-/** @internal */
-const make$1 = /*#__PURE__*/core.map( /*#__PURE__*/tRef.make(emptyReadLock), readLock => new TReentranLockImpl(readLock));
-
-/** @internal */
-const readLock$1 = self => Effect_dist_effectEffect.acquireRelease(core.commit(acquireRead$1(self)), () => core.commit(releaseRead$1(self)));
-
-/** @internal */
-const readLocks$1 = self => core.map(tRef.get(self.state), state => state.readLocks);
-
-/** @internal */
-const readLocked$1 = self => core.map(tRef.get(self.state), state => state.readLocks > 0);
-
-/** @internal */
-const releaseRead$1 = self => adjustRead(self, -1);
-
-/** @internal */
-const releaseWrite$1 = self => core.withSTMRuntime(runtime => {
-  const lock = tRef.unsafeGet(self.state, runtime.journal);
-  if (isWriteLock(lock) && lock.writeLocks === 1 && Equal_dist_effectEqual.equals(runtime.fiberId)(lock.fiberId)) {
-    const result = makeReadLock(lock.fiberId, lock.readLocks);
-    tRef.unsafeSet(self.state, result, runtime.journal);
-    return core.succeed(result.writeLocksHeld(runtime.fiberId));
-  }
-  if (isWriteLock(lock) && Equal_dist_effectEqual.equals(runtime.fiberId)(lock.fiberId)) {
-    const result = new WriteLock(lock.readLocks, lock.writeLocks - 1, runtime.fiberId);
-    tRef.unsafeSet(self.state, result, runtime.journal);
-    return core.succeed(result.writeLocksHeld(runtime.fiberId));
-  }
-  throw new Error(`Defect: Fiber ${FiberId_dist_effectFiberId.threadName$1(runtime.fiberId)} releasing write lock it does not hold`);
-});
-
-/** @internal */
-const withLock$1 = /*#__PURE__*/Function_dist_effectFunction.dual(2, (effect, self) => withWriteLock$1(effect, self));
-
-/** @internal */
-const withReadLock$1 = /*#__PURE__*/Function_dist_effectFunction.dual(2, (effect, self) => Effect_dist_effectEffect.uninterruptibleMask(restore => Effect_dist_effectEffect.zipRight(restore(core.commit(acquireRead$1(self))), Effect_dist_effectEffect.ensuring(effect, core.commit(releaseRead$1(self))))));
-
-/** @internal */
-const withWriteLock$1 = /*#__PURE__*/Function_dist_effectFunction.dual(2, (effect, self) => Effect_dist_effectEffect.uninterruptibleMask(restore => Effect_dist_effectEffect.zipRight(restore(core.commit(acquireWrite$1(self))), Effect_dist_effectEffect.ensuring(effect, core.commit(releaseWrite$1(self))))));
-
-/** @internal */
-const writeLock$1 = self => Effect_dist_effectEffect.acquireRelease(core.commit(acquireWrite$1(self)), () => core.commit(releaseWrite$1(self)));
-
-/** @internal */
-const writeLocked$1 = self => core.map(tRef.get(self.state), state => state.writeLocks > 0);
-
-/** @internal */
-const writeLocks$1 = self => core.map(tRef.get(self.state), state => state.writeLocks);
-
-/**
- * @since 2.0.0
- */
-/**
- * @since 2.0.0
- * @category symbols
- */
-const TReentrantLockTypeId = TReentrantLockTypeId$1;
-
-/**
- * @since 2.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 2.0.0
- * @category models
- */
-
-/**
- * @internal
- * @since 2.0.0
- */
-
-/**
- * @since 2.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 2.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 2.0.0
- * @category mutations
- */
-const acquireWrite = acquireWrite$1;
-
-/**
- * Retrieves the number of acquired read locks for this fiber.
- *
- * @since 2.0.0
- * @category mutations
- */
-const fiberReadLocks = fiberReadLocks$1;
-
-/**
- * Retrieves the number of acquired write locks for this fiber.
- *
- * @since 2.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 2.0.0
- * @category mutations
- */
-const lock = lock$1;
-
-/**
- * Determines if any fiber has a read or write lock.
- *
- * @since 2.0.0
- * @category mutations
- */
-const locked = locked$1;
-
-/**
- * Makes a new reentrant read/write lock.
- *
- * @since 2.0.0
- * @category constructors
- */
-const make = make$1;
-
-/**
- * Obtains a read lock in a scoped context.
- *
- * @since 2.0.0
- * @category mutations
- */
-const readLock = readLock$1;
-
-/**
- * Retrieves the total number of acquired read locks.
- *
- * @since 2.0.0
- * @category mutations
- */
-const readLocks = readLocks$1;
-
-/**
- * Determines if any fiber has a read lock.
- *
- * @since 2.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 2.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 2.0.0
- * @category mutations
- */
-const releaseWrite = releaseWrite$1;
-
-/**
- * Runs the specified workflow with a lock.
- *
- * @since 2.0.0
- * @category mutations
- */
-const withLock = withLock$1;
-
-/**
- * Runs the specified workflow with a read lock.
- *
- * @since 2.0.0
- * @category mutations
- */
-const withReadLock = withReadLock$1;
-
-/**
- * Runs the specified workflow with a write lock.
- *
- * @since 2.0.0
- * @category mutations
- */
-const withWriteLock = withWriteLock$1;
-
-/**
- * Obtains a write lock in a scoped context.
- *
- * @since 2.0.0
- * @category mutations
- */
-const writeLock = writeLock$1;
-
-/**
- * Determines if a write lock is held by some fiber.
- *
- * @since 2.0.0
- * @category mutations
- */
-const writeLocked = writeLocked$1;
-
-/**
- * Computes the number of write locks held by fibers.
- *
- * @since 2.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
-});
-
-exports.TReentrantLock = TReentrantLock;
-exports.TReentrantLockTypeId = TReentrantLockTypeId;
-exports.acquireRead = acquireRead;
-exports.acquireWrite = acquireWrite;
-exports.fiberReadLocks = fiberReadLocks;
-exports.fiberWriteLocks = fiberWriteLocks;
-exports.lock = lock;
-exports.locked = locked;
-exports.make = make;
-exports.readLock = readLock;
-exports.readLocked = readLocked;
-exports.readLocks = readLocks;
-exports.releaseRead = releaseRead;
-exports.releaseWrite = releaseWrite;
-exports.withLock = withLock;
-exports.withReadLock = withReadLock;
-exports.withWriteLock = withWriteLock;
-exports.writeLock = writeLock;
-exports.writeLocked = writeLocked;
-exports.writeLocks = writeLocks;

package/dist/TRef-7eb2bee7.cjs.prod.js

@@ -1,152 +0,0 @@
-'use strict';
-
-var tRef = require('./tRef-0bbb1e7e.cjs.prod.js');
-
-/**
- * @since 2.0.0
- */
-/**
- * @since 2.0.0
- * @category symbols
- */
-const TRefTypeId = tRef.TRefTypeId;
-
-/**
- * @since 2.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 2.0.0
- * @category models
- */
-
-/**
- * @internal
- * @since 2.0.0
- */
-/**
- * @since 2.0.0
- */
-let TRef;
-/**
- * @since 2.0.0
- * @category mutations
- */
-const get = tRef.get;
-
-/**
- * @since 2.0.0
- * @category mutations
- */
-const getAndSet = tRef.getAndSet;
-
-/**
- * @since 2.0.0
- * @category mutations
- */
-const getAndUpdate = tRef.getAndUpdate;
-
-/**
- * @since 2.0.0
- * @category mutations
- */
-const getAndUpdateSome = tRef.getAndUpdateSome;
-
-/**
- * @since 2.0.0
- * @category constructors
- */
-const make = tRef.make;
-
-/**
- * @since 2.0.0
- * @category mutations
- */
-const modify = tRef.modify;
-
-/**
- * @since 2.0.0
- * @category mutations
- */
-const modifySome = tRef.modifySome;
-
-/**
- * @since 2.0.0
- * @category mutations
- */
-const set = tRef.set;
-
-/**
- * @since 2.0.0
- * @category mutations
- */
-const setAndGet = tRef.setAndGet;
-
-/**
- * @since 2.0.0
- * @category mutations
- */
-const update = tRef.update;
-
-/**
- * @since 2.0.0
- * @category mutations
- */
-const updateAndGet = tRef.updateAndGet;
-
-/**
- * @since 2.0.0
- * @category mutations
- */
-const updateSome = tRef.updateSome;
-
-/**
- * @since 2.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;