effect 2.2.5 → 2.3.0

package/dist/dts/TReentrantLock.d.ts

@@ -55,7 +55,7 @@ export declare namespace TReentrantLock {
  * @since 2.0.0
  * @category mutations
  */
-export declare const acquireRead: (self: TReentrantLock) => STM.STM<never, never, number>;
+export declare const acquireRead: (self: TReentrantLock) => STM.STM<number>;
 /**
  * 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
@@ -64,21 +64,21 @@ export declare const acquireRead: (self: TReentrantLock) => STM.STM<never, never
  * @since 2.0.0
  * @category mutations
  */
-export declare const acquireWrite: (self: TReentrantLock) => STM.STM<never, never, number>;
+export declare const acquireWrite: (self: TReentrantLock) => STM.STM<number>;
 /**
  * Retrieves the number of acquired read locks for this fiber.
  *
  * @since 2.0.0
  * @category mutations
  */
-export declare const fiberReadLocks: (self: TReentrantLock) => STM.STM<never, never, number>;
+export declare const fiberReadLocks: (self: TReentrantLock) => STM.STM<number>;
 /**
  * Retrieves the number of acquired write locks for this fiber.
  *
  * @since 2.0.0
  * @category mutations
  */
-export declare const fiberWriteLocks: (self: TReentrantLock) => STM.STM<never, never, number>;
+export declare const fiberWriteLocks: (self: TReentrantLock) => STM.STM<number>;
 /**
  * Just a convenience method for applications that only need reentrant locks,
  * without needing a distinction between readers / writers.
@@ -88,42 +88,42 @@ export declare const fiberWriteLocks: (self: TReentrantLock) => STM.STM<never, n
  * @since 2.0.0
  * @category mutations
  */
-export declare const lock: (self: TReentrantLock) => Effect.Effect<Scope.Scope, never, number>;
+export declare const lock: (self: TReentrantLock) => Effect.Effect<number, never, Scope.Scope>;
 /**
  * Determines if any fiber has a read or write lock.
  *
  * @since 2.0.0
  * @category mutations
  */
-export declare const locked: (self: TReentrantLock) => STM.STM<never, never, boolean>;
+export declare const locked: (self: TReentrantLock) => STM.STM<boolean>;
 /**
  * Makes a new reentrant read/write lock.
  *
  * @since 2.0.0
  * @category constructors
  */
-export declare const make: STM.STM<never, never, TReentrantLock>;
+export declare const make: STM.STM<TReentrantLock>;
 /**
  * Obtains a read lock in a scoped context.
  *
  * @since 2.0.0
  * @category mutations
  */
-export declare const readLock: (self: TReentrantLock) => Effect.Effect<Scope.Scope, never, number>;
+export declare const readLock: (self: TReentrantLock) => Effect.Effect<number, never, Scope.Scope>;
 /**
  * Retrieves the total number of acquired read locks.
  *
  * @since 2.0.0
  * @category mutations
  */
-export declare const readLocks: (self: TReentrantLock) => STM.STM<never, never, number>;
+export declare const readLocks: (self: TReentrantLock) => STM.STM<number>;
 /**
  * Determines if any fiber has a read lock.
  *
  * @since 2.0.0
  * @category mutations
  */
-export declare const readLocked: (self: TReentrantLock) => STM.STM<never, never, boolean>;
+export declare const readLocked: (self: TReentrantLock) => STM.STM<boolean>;
 /**
  * Releases a read lock held by this fiber. Succeeds with the outstanding
  * number of read locks held by this fiber.
@@ -131,7 +131,7 @@ export declare const readLocked: (self: TReentrantLock) => STM.STM<never, never,
  * @since 2.0.0
  * @category mutations
  */
-export declare const releaseRead: (self: TReentrantLock) => STM.STM<never, never, number>;
+export declare const releaseRead: (self: TReentrantLock) => STM.STM<number>;
 /**
  * Releases a write lock held by this fiber. Succeeds with the outstanding
  * number of write locks held by this fiber.
@@ -139,7 +139,7 @@ export declare const releaseRead: (self: TReentrantLock) => STM.STM<never, never
  * @since 2.0.0
  * @category mutations
  */
-export declare const releaseWrite: (self: TReentrantLock) => STM.STM<never, never, number>;
+export declare const releaseWrite: (self: TReentrantLock) => STM.STM<number>;
 /**
  * Runs the specified workflow with a lock.
  *
@@ -147,8 +147,8 @@ export declare const releaseWrite: (self: TReentrantLock) => STM.STM<never, neve
  * @category mutations
  */
 export declare const withLock: {
-    (self: TReentrantLock): <R, E, A>(effect: Effect.Effect<R, E, A>) => Effect.Effect<R, E, A>;
-    <R, E, A>(effect: Effect.Effect<R, E, A>, self: TReentrantLock): Effect.Effect<R, E, A>;
+    (self: TReentrantLock): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>;
+    <A, E, R>(effect: Effect.Effect<A, E, R>, self: TReentrantLock): Effect.Effect<A, E, R>;
 };
 /**
  * Runs the specified workflow with a read lock.
@@ -157,8 +157,8 @@ export declare const withLock: {
  * @category mutations
  */
 export declare const withReadLock: {
-    (self: TReentrantLock): <R, E, A>(effect: Effect.Effect<R, E, A>) => Effect.Effect<R, E, A>;
-    <R, E, A>(effect: Effect.Effect<R, E, A>, self: TReentrantLock): Effect.Effect<R, E, A>;
+    (self: TReentrantLock): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>;
+    <A, E, R>(effect: Effect.Effect<A, E, R>, self: TReentrantLock): Effect.Effect<A, E, R>;
 };
 /**
  * Runs the specified workflow with a write lock.
@@ -167,8 +167,8 @@ export declare const withReadLock: {
  * @category mutations
  */
 export declare const withWriteLock: {
-    (self: TReentrantLock): <R, E, A>(effect: Effect.Effect<R, E, A>) => Effect.Effect<R, E, A>;
-    <R, E, A>(effect: Effect.Effect<R, E, A>, self: TReentrantLock): Effect.Effect<R, E, A>;
+    (self: TReentrantLock): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>;
+    <A, E, R>(effect: Effect.Effect<A, E, R>, self: TReentrantLock): Effect.Effect<A, E, R>;
 };
 /**
  * Obtains a write lock in a scoped context.
@@ -176,19 +176,19 @@ export declare const withWriteLock: {
  * @since 2.0.0
  * @category mutations
  */
-export declare const writeLock: (self: TReentrantLock) => Effect.Effect<Scope.Scope, never, number>;
+export declare const writeLock: (self: TReentrantLock) => Effect.Effect<number, never, Scope.Scope>;
 /**
  * Determines if a write lock is held by some fiber.
  *
  * @since 2.0.0
  * @category mutations
  */
-export declare const writeLocked: (self: TReentrantLock) => STM.STM<never, never, boolean>;
+export declare const writeLocked: (self: TReentrantLock) => STM.STM<boolean>;
 /**
  * Computes the number of write locks held by fibers.
  *
  * @since 2.0.0
  * @category mutations
  */
-export declare const writeLocks: (self: TReentrantLock) => STM.STM<never, never, number>;
+export declare const writeLocks: (self: TReentrantLock) => STM.STM<number>;
 //# sourceMappingURL=TReentrantLock.d.ts.map

package/dist/dts/TReentrantLock.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TReentrantLock.d.ts","sourceRoot":"","sources":["../../src/TReentrantLock.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAE1C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAA;AAGpC;;;GAGG;AACH,eAAO,MAAM,oBAAoB,EAAE,OAAO,MAAsC,CAAA;AAEhF;;;GAGG;AACH,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAA;AAE9D;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,cAAe,SAAQ,cAAc,CAAC,KAAK;CAAG;AAU/D;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,cAAc,CAAC;IACtC;;;OAGG;IACH,UAAiB,KAAK;QACpB,QAAQ,CAAC,CAAC,oBAAoB,CAAC,EAAE,oBAAoB,CAAA;KACtD;CACF;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,WAAW,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAwB,CAAA;AAExG;;;;;;;GAOG;AACH,eAAO,MAAM,YAAY,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAyB,CAAA;AAE1G;;;;;GAKG;AACH,eAAO,MAAM,cAAc,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAA2B,CAAA;AAE9G;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAA4B,CAAA;AAEhH;;;;;;;;GAQG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAiB,CAAA;AAEtG;;;;;GAKG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAmB,CAAA;AAE/F;;;;;GAKG;AACH,eAAO,MAAM,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,cAAc,CAAiB,CAAA;AAExE;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAqB,CAAA;AAE9G;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAsB,CAAA;AAEpG;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAuB,CAAA;AAEvG;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAwB,CAAA;AAExG;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAyB,CAAA;AAE1G;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,IAAI,EAAE,cAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3F,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACpE,CAAA;AAErB;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB,CAAC,IAAI,EAAE,cAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3F,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAChE,CAAA;AAEzB;;;;;GAKG;AACH,eAAO,MAAM,aAAa,EAAE;IAC1B,CAAC,IAAI,EAAE,cAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3F,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC/D,CAAA;AAE1B;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAsB,CAAA;AAEhH;;;;;GAKG;AACH,eAAO,MAAM,WAAW,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAwB,CAAA;AAEzG;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAuB,CAAA"}
+{"version":3,"file":"TReentrantLock.d.ts","sourceRoot":"","sources":["../../src/TReentrantLock.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAE1C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAA;AAGpC;;;GAGG;AACH,eAAO,MAAM,oBAAoB,EAAE,OAAO,MAAsC,CAAA;AAEhF;;;GAGG;AACH,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAA;AAE9D;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,cAAe,SAAQ,cAAc,CAAC,KAAK;CAAG;AAU/D;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,cAAc,CAAC;IACtC;;;OAGG;IACH,UAAiB,KAAK;QACpB,QAAQ,CAAC,CAAC,oBAAoB,CAAC,EAAE,oBAAoB,CAAA;KACtD;CACF;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,WAAW,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,MAAM,CAAwB,CAAA;AAE1F;;;;;;;GAOG;AACH,eAAO,MAAM,YAAY,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,MAAM,CAAyB,CAAA;AAE5F;;;;;GAKG;AACH,eAAO,MAAM,cAAc,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,MAAM,CAA2B,CAAA;AAEhG;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,MAAM,CAA4B,CAAA;AAElG;;;;;;;;GAQG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAiB,CAAA;AAEtG;;;;;GAKG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,OAAO,CAAmB,CAAA;AAEjF;;;;;GAKG;AACH,eAAO,MAAM,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,cAAc,CAAiB,CAAA;AAE1D;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAqB,CAAA;AAE9G;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,MAAM,CAAsB,CAAA;AAEtF;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,OAAO,CAAuB,CAAA;AAEzF;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,MAAM,CAAwB,CAAA;AAE1F;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,MAAM,CAAyB,CAAA;AAE5F;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,IAAI,EAAE,cAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3F,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACpE,CAAA;AAErB;;;;;GAKG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB,CAAC,IAAI,EAAE,cAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3F,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAChE,CAAA;AAEzB;;;;;GAKG;AACH,eAAO,MAAM,aAAa,EAAE;IAC1B,CAAC,IAAI,EAAE,cAAc,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3F,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CAC/D,CAAA;AAE1B;;;;;GAKG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAsB,CAAA;AAEhH;;;;;GAKG;AACH,eAAO,MAAM,WAAW,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,OAAO,CAAwB,CAAA;AAE3F;;;;;GAKG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,IAAI,EAAE,cAAc,KAAK,GAAG,CAAC,GAAG,CAAC,MAAM,CAAuB,CAAA"}

package/dist/dts/TRef.d.ts

@@ -30,7 +30,7 @@ export interface TRef<in out A> extends TRef.Variance<A> {
     /**
      * Note: the method is unbound, exposed only for potential extensions.
      */
-    modify<B>(f: (a: A) => readonly [B, A]): STM.STM<never, never, B>;
+    modify<B>(f: (a: A) => readonly [B, A]): STM.STM<B>;
 }
 /**
  * @since 2.0.0
@@ -49,98 +49,98 @@ export declare namespace TRef {
  * @since 2.0.0
  * @category mutations
  */
-export declare const get: <A>(self: TRef<A>) => STM.STM<never, never, A>;
+export declare const get: <A>(self: TRef<A>) => STM.STM<A>;
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const getAndSet: {
-    <A>(value: A): (self: TRef<A>) => STM.STM<never, never, A>;
-    <A>(self: TRef<A>, value: A): STM.STM<never, never, A>;
+    <A>(value: A): (self: TRef<A>) => STM.STM<A>;
+    <A>(self: TRef<A>, value: A): STM.STM<A>;
 };
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const getAndUpdate: {
-    <A>(f: (a: A) => A): (self: TRef<A>) => STM.STM<never, never, A>;
-    <A>(self: TRef<A>, f: (a: A) => A): STM.STM<never, never, A>;
+    <A>(f: (a: A) => A): (self: TRef<A>) => STM.STM<A>;
+    <A>(self: TRef<A>, f: (a: A) => A): STM.STM<A>;
 };
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const getAndUpdateSome: {
-    <A>(f: (a: A) => Option.Option<A>): (self: TRef<A>) => STM.STM<never, never, A>;
-    <A>(self: TRef<A>, f: (a: A) => Option.Option<A>): STM.STM<never, never, A>;
+    <A>(f: (a: A) => Option.Option<A>): (self: TRef<A>) => STM.STM<A>;
+    <A>(self: TRef<A>, f: (a: A) => Option.Option<A>): STM.STM<A>;
 };
 /**
  * @since 2.0.0
  * @category constructors
  */
-export declare const make: <A>(value: A) => STM.STM<never, never, TRef<A>>;
+export declare const make: <A>(value: A) => STM.STM<TRef<A>>;
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const modify: {
-    <A, B>(f: (a: A) => readonly [B, A]): (self: TRef<A>) => STM.STM<never, never, B>;
-    <A, B>(self: TRef<A>, f: (a: A) => readonly [B, A]): STM.STM<never, never, B>;
+    <A, B>(f: (a: A) => readonly [B, A]): (self: TRef<A>) => STM.STM<B>;
+    <A, B>(self: TRef<A>, f: (a: A) => readonly [B, A]): STM.STM<B>;
 };
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const modifySome: {
-    <A, B>(fallback: B, f: (a: A) => Option.Option<readonly [B, A]>): (self: TRef<A>) => STM.STM<never, never, B>;
-    <A, B>(self: TRef<A>, fallback: B, f: (a: A) => Option.Option<readonly [B, A]>): STM.STM<never, never, B>;
+    <A, B>(fallback: B, f: (a: A) => Option.Option<readonly [B, A]>): (self: TRef<A>) => STM.STM<B>;
+    <A, B>(self: TRef<A>, fallback: B, f: (a: A) => Option.Option<readonly [B, A]>): STM.STM<B>;
 };
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const set: {
-    <A>(value: A): (self: TRef<A>) => STM.STM<never, never, void>;
-    <A>(self: TRef<A>, value: A): STM.STM<never, never, void>;
+    <A>(value: A): (self: TRef<A>) => STM.STM<void>;
+    <A>(self: TRef<A>, value: A): STM.STM<void>;
 };
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const setAndGet: {
-    <A>(value: A): (self: TRef<A>) => STM.STM<never, never, A>;
-    <A>(self: TRef<A>, value: A): STM.STM<never, never, A>;
+    <A>(value: A): (self: TRef<A>) => STM.STM<A>;
+    <A>(self: TRef<A>, value: A): STM.STM<A>;
 };
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const update: {
-    <A>(f: (a: A) => A): (self: TRef<A>) => STM.STM<never, never, void>;
-    <A>(self: TRef<A>, f: (a: A) => A): STM.STM<never, never, void>;
+    <A>(f: (a: A) => A): (self: TRef<A>) => STM.STM<void>;
+    <A>(self: TRef<A>, f: (a: A) => A): STM.STM<void>;
 };
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const updateAndGet: {
-    <A>(f: (a: A) => A): (self: TRef<A>) => STM.STM<never, never, A>;
-    <A>(self: TRef<A>, f: (a: A) => A): STM.STM<never, never, A>;
+    <A>(f: (a: A) => A): (self: TRef<A>) => STM.STM<A>;
+    <A>(self: TRef<A>, f: (a: A) => A): STM.STM<A>;
 };
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const updateSome: {
-    <A>(f: (a: A) => Option.Option<A>): (self: TRef<A>) => STM.STM<never, never, void>;
-    <A>(self: TRef<A>, f: (a: A) => Option.Option<A>): STM.STM<never, never, void>;
+    <A>(f: (a: A) => Option.Option<A>): (self: TRef<A>) => STM.STM<void>;
+    <A>(self: TRef<A>, f: (a: A) => Option.Option<A>): STM.STM<void>;
 };
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const updateSomeAndGet: {
-    <A>(f: (a: A) => Option.Option<A>): (self: TRef<A>) => STM.STM<never, never, A>;
-    <A>(self: TRef<A>, f: (a: A) => Option.Option<A>): STM.STM<never, never, A>;
+    <A>(f: (a: A) => Option.Option<A>): (self: TRef<A>) => STM.STM<A>;
+    <A>(self: TRef<A>, f: (a: A) => Option.Option<A>): STM.STM<A>;
 };
 //# sourceMappingURL=TRef.d.ts.map

package/dist/dts/TRef.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TRef.d.ts","sourceRoot":"","sources":["../../src/TRef.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAC1C,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAA;AACpC,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE,OAAO,MAA4B,CAAA;AAE5D;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAA;AAE1C;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtD;;OAEG;IACH,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CAClE;AAYD;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,IAAI,CAAC;IAC5B;;OAEG;IACH,UAAiB,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QAChC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE;YACrB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;SAChC,CAAA;KACF;CACF;AAED;;;GAGG;AACH,eAAO,MAAM,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAgB,CAAA;AAE/E;;;GAGG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAC1D,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CAClC,CAAA;AAEtB;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAChE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CACrC,CAAA;AAEzB;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE;IAC7B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAC/E,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CAChD,CAAA;AAE7B;;;GAGG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAiB,CAAA;AAElF;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IACjF,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CAC5D,CAAA;AAEnB;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAC7G,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CACpF,CAAA;AAEvB;;;GAGG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAC7D,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;CAC3C,CAAA;AAEhB;;;GAGG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAC1D,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CAClC,CAAA;AAEtB;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IACnE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;CAC9C,CAAA;AAEnB;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAChE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CACrC,CAAA;AAEzB;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAClF,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;CACzD,CAAA;AAEvB;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE;IAC7B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;IAC/E,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;CAChD,CAAA"}
+{"version":3,"file":"TRef.d.ts","sourceRoot":"","sources":["../../src/TRef.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAC1C,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAA;AACpC,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAExC;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE,OAAO,MAA4B,CAAA;AAE5D;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAA;AAE1C;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtD;;OAEG;IACH,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;CACpD;AAYD;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,IAAI,CAAC;IAC5B;;OAEG;IACH,UAAiB,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;QAChC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE;YACrB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;SAChC,CAAA;KACF;CACF;AAED;;;GAGG;AACH,eAAO,MAAM,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAgB,CAAA;AAEjE;;;GAGG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAC5C,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;CACpB,CAAA;AAEtB;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAClD,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;CACvB,CAAA;AAEzB;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE;IAC7B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACjE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;CAClC,CAAA;AAE7B;;;GAGG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAiB,CAAA;AAEpE;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACnE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;CAC9C,CAAA;AAEnB;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAC/F,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;CACtE,CAAA;AAEvB;;;GAGG;AACH,eAAO,MAAM,GAAG,EAAE;IAChB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAC/C,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;CAC7B,CAAA;AAEhB;;;GAGG;AACH,eAAO,MAAM,SAAS,EAAE;IACtB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAC5C,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;CACpB,CAAA;AAEtB;;;GAGG;AACH,eAAO,MAAM,MAAM,EAAE;IACnB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACrD,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;CAChC,CAAA;AAEnB;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE;IACzB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IAClD,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;CACvB,CAAA;AAEzB;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACpE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;CAC3C,CAAA;AAEvB;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE;IAC7B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACjE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;CAClC,CAAA"}

package/dist/dts/TSemaphore.d.ts

@@ -36,66 +36,66 @@ export declare namespace TSemaphore {
  * @since 2.0.0
  * @category mutations
  */
-export declare const acquire: (self: TSemaphore) => STM.STM<never, never, void>;
+export declare const acquire: (self: TSemaphore) => STM.STM<void>;
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const acquireN: {
-    (n: number): (self: TSemaphore) => STM.STM<never, never, void>;
-    (self: TSemaphore, n: number): STM.STM<never, never, void>;
+    (n: number): (self: TSemaphore) => STM.STM<void>;
+    (self: TSemaphore, n: number): STM.STM<void>;
 };
 /**
  * @since 2.0.0
  * @category getters
  */
-export declare const available: (self: TSemaphore) => STM.STM<never, never, number>;
+export declare const available: (self: TSemaphore) => STM.STM<number>;
 /**
  * @since 2.0.0
  * @category constructors
  */
-export declare const make: (permits: number) => STM.STM<never, never, TSemaphore>;
+export declare const make: (permits: number) => STM.STM<TSemaphore>;
 /**
  * @since 2.0.0
  * @category mutations
  */
-export declare const release: (self: TSemaphore) => STM.STM<never, never, void>;
+export declare const release: (self: TSemaphore) => STM.STM<void>;
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const releaseN: {
-    (n: number): (self: TSemaphore) => STM.STM<never, never, void>;
-    (self: TSemaphore, n: number): STM.STM<never, never, void>;
+    (n: number): (self: TSemaphore) => STM.STM<void>;
+    (self: TSemaphore, n: number): STM.STM<void>;
 };
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const withPermit: {
-    (semaphore: TSemaphore): <R, E, A>(self: Effect.Effect<R, E, A>) => Effect.Effect<R, E, A>;
-    <R, E, A>(self: Effect.Effect<R, E, A>, semaphore: TSemaphore): Effect.Effect<R, E, A>;
+    (semaphore: TSemaphore): <A, E, R>(self: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>;
+    <A, E, R>(self: Effect.Effect<A, E, R>, semaphore: TSemaphore): Effect.Effect<A, E, R>;
 };
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const withPermits: {
-    (semaphore: TSemaphore, permits: number): <R, E, A>(self: Effect.Effect<R, E, A>) => Effect.Effect<R, E, A>;
-    <R, E, A>(self: Effect.Effect<R, E, A>, semaphore: TSemaphore, permits: number): Effect.Effect<R, E, A>;
+    (semaphore: TSemaphore, permits: number): <A, E, R>(self: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>;
+    <A, E, R>(self: Effect.Effect<A, E, R>, semaphore: TSemaphore, permits: number): Effect.Effect<A, E, R>;
 };
 /**
  * @since 2.0.0
  * @category mutations
  */
-export declare const withPermitScoped: (self: TSemaphore) => Effect.Effect<Scope.Scope, never, void>;
+export declare const withPermitScoped: (self: TSemaphore) => Effect.Effect<void, never, Scope.Scope>;
 /**
  * @since 2.0.0
  * @category mutations
  */
 export declare const withPermitsScoped: {
-    (permits: number): (self: TSemaphore) => Effect.Effect<Scope.Scope, never, void>;
-    (self: TSemaphore, permits: number): Effect.Effect<Scope.Scope, never, void>;
+    (permits: number): (self: TSemaphore) => Effect.Effect<void, never, Scope.Scope>;
+    (self: TSemaphore, permits: number): Effect.Effect<void, never, Scope.Scope>;
 };
 /**
  * @since 2.0.0

package/dist/dts/TSemaphore.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TSemaphore.d.ts","sourceRoot":"","sources":["../../src/TSemaphore.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAE1C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAA;AAGpC;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE,OAAO,MAAkC,CAAA;AAExE;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAA;AAEtD;;;GAGG;AACH,MAAM,WAAW,UAAW,SAAQ,UAAU,CAAC,KAAK;CAAG;AAUvD;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,UAAU,CAAC;IAClC;;;OAGG;IACH,UAAiB,KAAK;QACpB,QAAQ,CAAC,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;KAC9C;CACF;AAED;;;GAGG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAoB,CAAA;AAE1F;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,UAAU,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAC9D,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;CACvC,CAAA;AAErB;;;GAGG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAsB,CAAA;AAEhG;;;GAGG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAiB,CAAA;AAEzF;;;GAGG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAoB,CAAA;AAE1F;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,UAAU,KAAK,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAC9D,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;CACvC,CAAA;AAErB;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,CAAC,SAAS,EAAE,UAAU,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1F,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACjE,CAAA;AAEvB;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE;IACxB,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3G,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACjF,CAAA;AAExB;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAA6B,CAAA;AAExH;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE;IAC9B,CAAC,OAAO,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAChF,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;CAChD,CAAA;AAE9B;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,UAAyC,CAAA"}
+{"version":3,"file":"TSemaphore.d.ts","sourceRoot":"","sources":["../../src/TSemaphore.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAE1C,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,KAAK,GAAG,MAAM,UAAU,CAAA;AAGpC;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE,OAAO,MAAkC,CAAA;AAExE;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAA;AAEtD;;;GAGG;AACH,MAAM,WAAW,UAAW,SAAQ,UAAU,CAAC,KAAK;CAAG;AAUvD;;GAEG;AACH,MAAM,CAAC,OAAO,WAAW,UAAU,CAAC;IAClC;;;OAGG;IACH,UAAiB,KAAK;QACpB,QAAQ,CAAC,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;KAC9C;CACF;AAED;;;GAGG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAoB,CAAA;AAE5E;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,UAAU,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAChD,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;CACzB,CAAA;AAErB;;;GAGG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,GAAG,CAAC,GAAG,CAAC,MAAM,CAAsB,CAAA;AAElF;;;GAGG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,UAAU,CAAiB,CAAA;AAE3E;;;GAGG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAoB,CAAA;AAE5E;;;GAGG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,UAAU,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAChD,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;CACzB,CAAA;AAErB;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE;IACvB,CAAC,SAAS,EAAE,UAAU,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC1F,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACjE,CAAA;AAEvB;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE;IACxB,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3G,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;CACjF,CAAA;AAExB;;;GAGG;AACH,eAAO,MAAM,gBAAgB,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAA6B,CAAA;AAExH;;;GAGG;AACH,eAAO,MAAM,iBAAiB,EAAE;IAC9B,CAAC,OAAO,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IAChF,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;CAChD,CAAA;AAE9B;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,UAAyC,CAAA"}