@fncts/io 0.0.12 → 0.0.15

package/Stream/definition.d.ts

@@ -26,9 +26,9 @@ export declare type StreamTypeId = typeof StreamTypeId;
 export declare class Stream<R, E, A> {
     readonly channel: Channel<R, unknown, unknown, unknown, E, Conc<A>, unknown>;
     readonly [StreamTypeId]: StreamTypeId;
-    readonly _R: (_: R) => void;
-    readonly _E: () => E;
-    readonly _A: () => A;
+    _R: () => R;
+    _E: () => E;
+    _A: () => A;
     constructor(channel: Channel<R, unknown, unknown, unknown, E, Conc<A>, unknown>);
 }
 /**

package/Stream/internal/Handoff.d.ts

@@ -1,9 +1,9 @@
 import { Ref } from "@fncts/io/Ref";
 import { Future } from "@fncts/io/Future";
 import { UIO } from "@fncts/io/IO/definition";
-import { Maybe } from "@fncts/base/data/Maybe";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
 import { Conc } from "@fncts/base/collection/immutable/Conc";
-import { Cause } from "@fncts/base/data/Cause";
+import { Cause } from "@fncts/base/data/Cause/definition";
 import type { SinkEndReason } from "./SinkEndReason.js";
 /**
  * @tsplus type fncts.io.Stream.Handoff

package/Stream/internal/Pull.d.ts

@@ -1,7 +1,7 @@
 import { IO, UIO, FIO } from "@fncts/io/IO/definition";
-import { Maybe } from "@fncts/base/data/Maybe";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
 import { Conc } from "@fncts/base/collection/immutable/Conc";
-import { Cause } from "@fncts/base/data/Cause";
+import { Cause } from "@fncts/base/data/Cause/definition";
 import type { Queue } from "../../Queue.js";
 import type { Take } from "./Take.js";
 export declare type Pull<R, E, A> = IO<R, Maybe<E>, Conc<A>>;

package/Stream/internal/Take.d.ts

@@ -1,8 +1,8 @@
-import { Exit } from "@fncts/base/data/Exit";
-import { Maybe } from "@fncts/base/data/Maybe";
+import { Exit } from "@fncts/base/data/Exit/definition";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
 import { Conc } from "@fncts/base/collection/immutable/Conc";
 import { FIO, IO, URIO } from "@fncts/io/IO/definition";
-import { Cause } from "@fncts/base/data/Cause";
+import { Cause } from "@fncts/base/data/Cause/definition";
 import type { Pull } from "./Pull.js";
 /**
  * A `Take<E, A>` represents a single `take` from a queue modeling a stream of
@@ -39,7 +39,7 @@ export declare function match_<E, A, Z>(self: Take<E, A>, end: Z, error: (cause:
  * @tsplus fluent fncts.io.Stream.Take matchIO
  * @tsplus location "@fncts/io/Stream/internal/Take"
  */
-export declare function matchIO_<R, R1, R2, E, E1, E2, E3, A, Z>(self: Take<E, A>, end: IO<R, E1, Z>, error: (cause: Cause<E>) => IO<R1, E2, Z>, value: (chunk: Conc<A>) => IO<R2, E3, Z>): IO<R & R1 & R2, E1 | E2 | E3, Z>;
+export declare function matchIO_<R, R1, R2, E, E1, E2, E3, A, Z>(self: Take<E, A>, end: IO<R, E1, Z>, error: (cause: Cause<E>) => IO<R1, E2, Z>, value: (chunk: Conc<A>) => IO<R2, E3, Z>): IO<R | R1 | R2, E1 | E2 | E3, Z>;
 /**
  * Checks if this `take` is done (`Take.end`).
  * @tsplus getter fncts.io.Stream.Take isDone

package/Stream/internal/util.d.ts

@@ -1,3 +1,3 @@
 import { Conc } from "@fncts/base/collection/immutable/Conc";
-import { Either } from "@fncts/base/data/Either";
+import { Either } from "@fncts/base/data/Either/definition";
 export declare function zipChunks<A, B, C>(fa: Conc<A>, fb: Conc<B>, f: (a: A, b: B) => C): readonly [Conc<C>, Either<Conc<A>, Conc<B>>];

package/Supervisor/api.d.ts

@@ -1,9 +1,9 @@
 import { Supervisor } from "@fncts/io/Supervisor/definition";
-import { Environment } from "@fncts/base/data/Environment";
+import { Environment } from "@fncts/base/data/Environment/definition";
 import { IO } from "@fncts/io/IO/definition";
-import { Maybe } from "@fncts/base/data/Maybe";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
 import { Fiber } from "@fncts/io/Fiber/definition";
-import { Exit } from "@fncts/base/data/Exit";
+import { Exit } from "@fncts/base/data/Exit/definition";
 /**
  * @tsplus fluent fncts.io.Supervisor zip
  * @tsplus location "@fncts/io/Supervisor/api"

package/Supervisor/constructors.d.ts

@@ -1,18 +1,18 @@
 import { Supervisor } from "@fncts/io/Supervisor/definition";
 import { Conc } from "@fncts/base/collection/immutable/Conc";
 import { Fiber } from "@fncts/io/Fiber/definition";
-import { Environment } from "@fncts/base/data/Environment";
+import { Environment } from "@fncts/base/data/Environment/definition";
 import { IO, UIO } from "@fncts/io/IO/definition";
-import { Maybe } from "@fncts/base/data/Maybe";
-import { Exit } from "@fncts/base/data/Exit";
-import { HashSet } from "@fncts/base/collection/immutable/HashSet";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
+import { Exit } from "@fncts/base/data/Exit/definition";
+import { HashSet } from "@fncts/base/collection/immutable/HashSet/definition";
 import type { AtomicReference } from "@fncts/base/internal/AtomicReference";
 import { ConstSupervisor } from "./definition.js";
 /**
  * @tsplus static fncts.io.SupervisorOps unsafeTrack
  * @tsplus location "@fncts/io/Supervisor/constructors"
  */
-export declare function unsafeTrack(): Supervisor<Conc<Fiber.Runtime<any, any>>>;
+export declare function unsafeTrack(weak: boolean): Supervisor<Conc<Fiber.Runtime<any, any>>>;
 /**
  * @tsplus static fncts.io.SupervisorOps fibersIn
  * @tsplus location "@fncts/io/Supervisor/constructors"
@@ -32,4 +32,4 @@ export declare const none: ConstSupervisor<void>;
  * @tsplus static fncts.io.SupervisorOps track
  * @tsplus location "@fncts/io/Supervisor/constructors"
  */
-export declare const track: UIO<Supervisor<Conc<Fiber.Runtime<any, any>>>>;
+export declare function track(weak: boolean, __tsplusTrace?: string): UIO<Supervisor<Conc<Fiber.Runtime<any, any>>>>;

package/Supervisor/definition.d.ts

@@ -1,8 +1,8 @@
 import { UIO, IO } from "@fncts/io/IO/definition";
-import { Environment } from "@fncts/base/data/Environment";
-import { Maybe } from "@fncts/base/data/Maybe";
+import { Environment } from "@fncts/base/data/Environment/definition";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
 import { Fiber } from "@fncts/io/Fiber/definition";
-import { Exit } from "@fncts/base/data/Exit";
+import { Exit } from "@fncts/base/data/Exit/definition";
 /**
  * @tsplus type fncts.io.Supervisor
  * @tsplus companion fncts.io.SupervisorOps

package/TExit/constructors.d.ts

@@ -1,5 +1,5 @@
 import { TExit } from "@fncts/io/TExit/definition";
-import { FiberId } from "@fncts/base/data/FiberId";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 /**
  * @tsplus static fncts.TExitOps unit
  * @tsplus location "@fncts/io/TExit/constructors"

package/TExit/definition.d.ts

@@ -1,6 +1,6 @@
 import { Hashable } from "@fncts/base/typeclass/Hashable";
 import { Equatable } from "@fncts/base/typeclass/Equatable";
-import { FiberId } from "@fncts/base/data/FiberId";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 /**
  * @tsplus type fncts.TExit
  */

package/TFuture/api.d.ts

@@ -1,29 +1,29 @@
 import { TFuture } from "@fncts/io/TFuture/definition";
-import { Either } from "@fncts/base/data/Either";
+import { Either } from "@fncts/base/data/Either/definition";
 import { USTM, STM } from "@fncts/io/STM/definition";
-import { Maybe } from "@fncts/base/data/Maybe";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
 /**
  * @tsplus fluent fncts.io.TFuture done
  * @tsplus location "@fncts/io/TFuture/api"
  */
-export declare function done_<E, A>(self: TFuture<E, A>, v: Either<E, A>): USTM<boolean>;
+export declare function done_<E, A>(self: TFuture<E, A>, v: Either<E, A>, __tsplusTrace?: string): USTM<boolean>;
 /**
  * @tsplus fluent fncts.io.TFuture fail
  * @tsplus location "@fncts/io/TFuture/api"
  */
-export declare function fail_<E, A>(self: TFuture<E, A>, e: E): USTM<boolean>;
+export declare function fail_<E, A>(self: TFuture<E, A>, e: E, __tsplusTrace?: string): USTM<boolean>;
 /**
  * @tsplus getter fncts.io.TFuture poll
  * @tsplus location "@fncts/io/TFuture/api"
  */
-export declare function poll<E, A>(self: TFuture<E, A>): USTM<Maybe<Either<E, A>>>;
+export declare function poll<E, A>(self: TFuture<E, A>, __tsplusTrace?: string): USTM<Maybe<Either<E, A>>>;
 /**
  * @tsplus fluent fncts.io.TFuture succeed
  * @tsplus location "@fncts/io/TFuture/api"
  */
-export declare function succeed_<E, A>(self: TFuture<E, A>, a: A): USTM<boolean>;
+export declare function succeed_<E, A>(self: TFuture<E, A>, a: A, __tsplusTrace?: string): USTM<boolean>;
 /**
  * @tsplus getter fncts.io.TFuture await
  * @tsplus location "@fncts/io/TFuture/api"
  */
-export declare function wait<E, A>(self: TFuture<E, A>): STM<unknown, E, A>;
+export declare function wait<E, A>(self: TFuture<E, A>, __tsplusTrace?: string): STM<never, E, A>;

package/TFuture/constructors.d.ts

@@ -1,16 +1,16 @@
 import { USTM } from "@fncts/io/STM/definition";
 import { TFuture } from "@fncts/io/TFuture/definition";
-import { Maybe } from "@fncts/base/data/Maybe";
-import { Either } from "@fncts/base/data/Either";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
+import { Either } from "@fncts/base/data/Either/definition";
 import { UIO } from "@fncts/io/IO/definition";
 /**
  * @tsplus static fncts.io.TFutureOps make
  * @tsplus static fncts.io.TFutureOps __call
  * @tsplus location "@fncts/io/TFuture/constructors"
  */
-export declare function make<E, A>(): USTM<TFuture<E, A>>;
+export declare function make<E, A>(__tsplusTrace?: string): USTM<TFuture<E, A>>;
 /**
  * @tsplus static fncts.io.TFutureOps makeCommit
  * @tsplus location "@fncts/io/TFuture/constructors"
  */
-export declare function makeCommit<E, A>(): UIO<TFuture<E, A>>;
+export declare function makeCommit<E, A>(__tsplusTrace?: string): UIO<TFuture<E, A>>;

package/TFuture/definition.d.ts

@@ -1,10 +1,10 @@
 import { HKT } from "@fncts/typelevel/HKT";
 import { Newtype, NewtypeIso } from "@fncts/base/data/Newtype";
-import { Maybe } from "@fncts/base/data/Maybe";
-import { Either } from "@fncts/base/data/Either";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
+import { Either } from "@fncts/base/data/Either/definition";
 import type { UTRef } from "../TRef.js";
 interface TFutureN extends HKT {
-    readonly [HKT.T]: TFuture<HKT._E<this>, HKT._A<this>>;
+    readonly type: TFuture<this["E"], this["A"]>;
 }
 /**
  * @tsplus type fncts.io.TFuture

package/TReentrantLock/api.d.ts

@@ -1,7 +1,6 @@
-import { FiberId } from "@fncts/base/data/FiberId";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 import { USTM } from "@fncts/io/STM/definition";
 import { IO } from "@fncts/io/IO/definition";
-import { Has } from "@fncts/base/typeclass/Has";
 import { Scope } from "@fncts/io/Scope/definition";
 import { ReadLock, TReentrantLock } from "./definition.js";
 /**
@@ -13,85 +12,85 @@ export declare const emptyReadLock: ReadLock;
  * @tsplus static fncts.io.TReentrantLock.ReadLockOps __call
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function makeReadLock(fiberId: FiberId, count: number): ReadLock;
+export declare function makeReadLock(fiberId: FiberId, count: number, __tsplusTrace?: string): ReadLock;
 /**
  * @tsplus static fncts.io.TReentrantLockOps make
  * @tsplus static fncts.io.TReentrantLockOps __call
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function make(): USTM<TReentrantLock>;
+export declare function make(__tsplusTrace?: string): USTM<TReentrantLock>;
 /**
  * @tsplus getter fncts.io.TReentrantLock acquireRead
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function acquireRead(self: TReentrantLock): USTM<number>;
+export declare function acquireRead(self: TReentrantLock, __tsplusTrace?: string): USTM<number>;
 /**
  * @tsplus getter fncts.io.TReentrantLock acquireWrite
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function acquireWrite(self: TReentrantLock): USTM<number>;
+export declare function acquireWrite(self: TReentrantLock, __tsplusTrace?: string): USTM<number>;
 /**
  * @tsplus getter fncts.io.TReentrantLock releaseRead
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function releaseRead(self: TReentrantLock): USTM<number>;
+export declare function releaseRead(self: TReentrantLock, __tsplusTrace?: string): USTM<number>;
 /**
  * @tsplus getter fncts.io.TReentrantLock releaseWrite
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function releaseWrite(self: TReentrantLock): USTM<number>;
+export declare function releaseWrite(self: TReentrantLock, __tsplusTrace?: string): USTM<number>;
 /**
  * @tsplus fluent fncts.io.TReentrantLock withReadLock
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function withReadLock<R, E, A>(self: TReentrantLock, io: IO<R, E, A>): IO<R, E, A>;
+export declare function withReadLock<R, E, A>(self: TReentrantLock, io: IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
 /**
  * @tsplus fluent fncts.io.TReentrantLock withWriteLock
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function withWriteLock<R, E, A>(self: TReentrantLock, io: IO<R, E, A>): IO<R, E, A>;
+export declare function withWriteLock<R, E, A>(self: TReentrantLock, io: IO<R, E, A>, __tsplusTrace?: string): IO<R, E, A>;
 /**
  * @tsplus getter fncts.io.TReentrantLock readLock
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function readLock(self: TReentrantLock, __tsplusTrace?: string): IO<Has<Scope>, never, number>;
+export declare function readLock(self: TReentrantLock, __tsplusTrace?: string): IO<Scope, never, number>;
 /**
  * @tsplus getter fncts.io.TReentrantLock writeLock
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function writeLock(self: TReentrantLock, __tsplusTrace?: string): IO<Has<Scope>, never, number>;
+export declare function writeLock(self: TReentrantLock, __tsplusTrace?: string): IO<Scope, never, number>;
 /**
  * @tsplus getter fncts.io.TReentrantLock readLocked
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function readLocked(self: TReentrantLock): USTM<boolean>;
+export declare function readLocked(self: TReentrantLock, __tsplusTrace?: string): USTM<boolean>;
 /**
  * @tsplus getter fncts.io.TReentrantLock writeLocked
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function writeLocked(self: TReentrantLock): USTM<boolean>;
+export declare function writeLocked(self: TReentrantLock, __tsplusTrace?: string): USTM<boolean>;
 /**
  * @tsplus getter fncts.io.TReentrantLock locked
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function locked(self: TReentrantLock): USTM<boolean>;
+export declare function locked(self: TReentrantLock, __tsplusTrace?: string): USTM<boolean>;
 /**
  * @tsplus getter fncts.io.TReentrantLock fiberReadLocks
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function fiberReadLocks(self: TReentrantLock): USTM<number>;
+export declare function fiberReadLocks(self: TReentrantLock, __tsplusTrace?: string): USTM<number>;
 /**
  * @tsplus getter fncts.io.TReentrantLock fiberWriteLocks
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function fiberWriteLocks(self: TReentrantLock): USTM<number>;
+export declare function fiberWriteLocks(self: TReentrantLock, __tsplusTrace?: string): USTM<number>;
 /**
  * @tsplus getter fncts.io.TReentrantLock writeLocks
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function writeLocks(self: TReentrantLock): USTM<number>;
+export declare function writeLocks(self: TReentrantLock, __tsplusTrace?: string): USTM<number>;
 /**
  * @tsplus getter fncts.io.TReentrantLock readLocks
  * @tsplus location "@fncts/io/TReentrantLock/api"
  */
-export declare function readLocks(self: TReentrantLock): USTM<number>;
+export declare function readLocks(self: TReentrantLock, __tsplusTrace?: string): USTM<number>;

package/TReentrantLock/definition.d.ts

@@ -1,6 +1,6 @@
 import { UTRef } from "@fncts/io/TRef/definition";
-import { FiberId } from "@fncts/base/data/FiberId";
-import { HashMap } from "@fncts/base/collection/immutable/HashMap";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
+import { HashMap } from "@fncts/base/collection/immutable/HashMap/definition";
 /**
  * A `TReentrantLock` is a reentrant read/write lock. Multiple readers may all
  * concurrently acquire read locks. Only one writer is allowed to acquire a

package/TRef/api.d.ts

@@ -1,6 +1,6 @@
 import { STM } from "@fncts/io/STM/definition";
-import { Either } from "@fncts/base/data/Either";
-import { Maybe } from "@fncts/base/data/Maybe";
+import { Either } from "@fncts/base/data/Either/definition";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
 import type { Journal } from "../STM/internal/Journal.js";
 import type { TRef } from "../TRef/definition.js";
 /**
@@ -8,78 +8,78 @@ import type { TRef } from "../TRef/definition.js";
  * @tsplus getter fncts.io.TRef get
  * @tsplus location "@fncts/io/TRef/api"
  */
-export declare function get<EA, EB, A, B>(self: TRef<EA, EB, A, B>): STM<unknown, EB, B>;
+export declare function get<EA, EB, A, B>(self: TRef<EA, EB, A, B>, __tsplusTrace?: string): STM<never, EB, B>;
 /**
  * Updates the value of the variable, returning a function of the specified
  * value.
  * @tsplus fluent fncts.io.TRef modify
  * @tsplus location "@fncts/io/TRef/api"
  */
-export declare function modify_<E, A, B>(self: TRef<E, E, A, A>, f: (a: A) => readonly [B, A]): STM<unknown, E, B>;
+export declare function modify_<E, A, B>(self: TRef<E, E, A, A>, f: (a: A) => readonly [B, A], __tsplusTrace?: string): STM<never, E, B>;
 /**
  * Sets the value of the `TRef`.
  * @tsplus fluent fncts.io.TRef set
  * @tsplus location "@fncts/io/TRef/api"
  */
-export declare function set_<EA, EB, A, B>(self: TRef<EA, EB, A, B>, a: A): STM<unknown, EA, void>;
+export declare function set_<EA, EB, A, B>(self: TRef<EA, EB, A, B>, a: A, __tsplusTrace?: string): STM<never, EA, void>;
 /**
  * Unsafely retrieves the value of the `TRef`.
  * @tsplus fluent fncts.io.TRef unsafeGet
  * @tsplus location "@fncts/io/TRef/api"
  */
-export declare function unsafeGet_<EA, EB, A, B>(self: TRef<EA, EB, A, B>, journal: Journal): A;
+export declare function unsafeGet_<EA, EB, A, B>(self: TRef<EA, EB, A, B>, journal: Journal, __tsplusTrace?: string): A;
 /**
  * Updates the value of the variable, returning a function of the specified
  * value.
  * @tsplus fluent fncts.io.TRef modifyJust
  * @tsplus location "@fncts/io/TRef/api"
  */
-export declare function modifyJust_<E, A, B>(self: TRef<E, E, A, A>, b: B, f: (a: A) => Maybe<readonly [B, A]>): STM<unknown, E, B>;
+export declare function modifyJust_<E, A, B>(self: TRef<E, E, A, A>, b: B, f: (a: A) => Maybe<readonly [B, A]>, __tsplusTrace?: string): STM<never, E, B>;
 /**
  * Sets the value of the `TRef` and returns the old value.
  * @tsplus fluent fncts.io.TRef getAndSet
  * @tsplus location "@fncts/io/TRef/api"
  */
-export declare function getAndSet_<E, A>(self: TRef<E, E, A, A>, a: A): STM<unknown, E, A>;
+export declare function getAndSet_<E, A>(self: TRef<E, E, A, A>, a: A, __tsplusTrace?: string): STM<never, E, A>;
 /**
  * Updates the value of the variable and returns the old value.
  * @tsplus fluent fncts.io.TRef getAndUpdate
  * @tsplus location "@fncts/io/TRef/api"
  */
-export declare function getAndUpdate_<E, A>(self: TRef<E, E, A, A>, f: (a: A) => A): STM<unknown, E, A>;
+export declare function getAndUpdate_<E, A>(self: TRef<E, E, A, A>, f: (a: A) => A, __tsplusTrace?: string): STM<never, E, A>;
 /**
  * Updates some values of the variable but leaves others alone, returning the
  * old value.
  * @tsplus fluent fncts.io.TRef getAndUpdateJust
  * @tsplus location "@fncts/io/TRef/api"
  */
-export declare function getAndUpdateJust_<E, A>(self: TRef<E, E, A, A>, f: (a: A) => Maybe<A>): STM<unknown, E, A>;
+export declare function getAndUpdateJust_<E, A>(self: TRef<E, E, A, A>, f: (a: A) => Maybe<A>, __tsplusTrace?: string): STM<never, E, A>;
 /**
  * Updates the value of the variable.
  * @tsplus fluent fncts.io.TRef update
  * @tsplus location "@fncts/io/TRef/api"
  */
-export declare function update_<E, A>(self: TRef<E, E, A, A>, f: (a: A) => A): STM<unknown, E, void>;
+export declare function update_<E, A>(self: TRef<E, E, A, A>, f: (a: A) => A, __tsplusTrace?: string): STM<never, E, void>;
 /**
  * Updates some values of the variable but leaves others alone.
  * @tsplus fluent fncts.io.TRef updateJust
  * @tsplus location "@fncts/io/TRef/api"
  */
-export declare function updateJust_<E, A>(self: TRef<E, E, A, A>, f: (a: A) => Maybe<A>): STM<unknown, E, void>;
+export declare function updateJust_<E, A>(self: TRef<E, E, A, A>, f: (a: A) => Maybe<A>, __tsplusTrace?: string): STM<never, E, void>;
 /**
  * Updates the value of the variable and returns the new value.
  * @tsplus fluent fncts.io.TRef updateAndGet
  * @tsplus location "@fncts/io/TRef/api"
  */
-export declare function updateAndGet_<E, A>(self: TRef<E, E, A, A>, f: (a: A) => A): STM<unknown, E, A>;
+export declare function updateAndGet_<E, A>(self: TRef<E, E, A, A>, f: (a: A) => A, __tsplusTrace?: string): STM<never, E, A>;
 /**
  * Updates some values of the variable but leaves others alone.
  * @tsplus fluent fncts.io.TRef updateJustAndGet
  * @tsplus location "@fncts/io/TRef/api"
  */
-export declare function updateJustAndGet_<E, A>(self: TRef<E, E, A, A>, f: (a: A) => Maybe<A>): STM<unknown, E, A>;
+export declare function updateJustAndGet_<E, A>(self: TRef<E, E, A, A>, f: (a: A) => Maybe<A>, __tsplusTrace?: string): STM<never, E, A>;
 /**
  * @tsplus fluent fncts.io.TRef unsafeSet
  * @tsplus location "@fncts/io/TRef/api"
  */
-export declare function unsafeSet_<EA, EB, A, B>(self: TRef<EA, EB, A, B>, journal: Journal, a: A): void;
+export declare function unsafeSet_<EA, EB, A, B>(self: TRef<EA, EB, A, B>, journal: Journal, a: A, __tsplusTrace?: string): void;

package/TRef/constructors.d.ts

@@ -1,5 +1,5 @@
 import { STM } from "@fncts/io/STM/definition";
-import { Lazy } from "@fncts/base/data/function";
+import { Lazy } from "@fncts/base/data/function/definition";
 import { UIO } from "@fncts/io/IO/definition";
 import type { UTRef } from "./definition.js";
 /**
@@ -7,13 +7,13 @@ import type { UTRef } from "./definition.js";
  * @tsplus static fncts.io.TRefOps makeNow
  * @tsplus location "@fncts/io/TRef/constructors"
  */
-export declare function makeNow<A>(a: A): STM<unknown, never, UTRef<A>>;
+export declare function makeNow<A>(a: A, __tsplusTrace?: string): STM<never, never, UTRef<A>>;
 /**
  * Makes a new `TRef` that is initialized to the specified value.
  * @tsplus static fncts.io.TRefOps make
  * @tsplus location "@fncts/io/TRef/constructors"
  */
-export declare function make<A>(a: Lazy<A>): STM<unknown, never, UTRef<A>>;
+export declare function make<A>(a: Lazy<A>, __tsplusTrace?: string): STM<never, never, UTRef<A>>;
 /**
  * Unsafely makes a new `TRef` that is initialized to the specified value.
  * @tsplus static fncts.io.TRefOps unsafeMake
@@ -25,8 +25,8 @@ export declare function unsafeMake<A>(a: A): UTRef<A>;
  * @tsplus static fncts.io.TRefOps makeCommit
  * @tsplus location "@fncts/io/TRef/constructors"
  */
-export declare function makeCommit<A>(a: Lazy<A>): UIO<UTRef<A>>;
+export declare function makeCommit<A>(a: Lazy<A>, __tsplusTrace?: string): UIO<UTRef<A>>;
 /**
  * Makes a new `TRef` that is initialized to the specified value.
  */
-export declare function makeCommitNow<A>(a: A): UIO<UTRef<A>>;
+export declare function makeCommitNow<A>(a: A, __tsplusTrace?: string): UIO<UTRef<A>>;

package/TRef/definition.d.ts

@@ -1,5 +1,5 @@
-import { Either } from "@fncts/base/data/Either";
-import { HashMap } from "@fncts/base/collection/immutable/HashMap";
+import { Either } from "@fncts/base/data/Either/definition";
+import { HashMap } from "@fncts/base/collection/immutable/HashMap/definition";
 import type { Todo } from "../STM/internal/Journal.js";
 import type { Versioned } from "../STM/internal/Versioned.js";
 import type { AtomicReference } from "@fncts/base/internal/AtomicReference";

package/TSemaphore/api.d.ts

@@ -5,34 +5,34 @@ import { IO } from "@fncts/io/IO/definition";
  * @tsplus getter fncts.io.TSemaphore acquire
  * @tsplus location "@fncts/io/TSemaphore/api"
  */
-export declare function acquire(self: TSemaphore): USTM<void>;
+export declare function acquire(self: TSemaphore, __tsplusTrace?: string): USTM<void>;
 /**
  * @tsplus fluent fncts.io.TSemaphore acquireN
  * @tsplus location "@fncts/io/TSemaphore/api"
  */
-export declare function acquireN_(self: TSemaphore, n: number): USTM<void>;
+export declare function acquireN_(self: TSemaphore, n: number, __tsplusTrace?: string): USTM<void>;
 /**
  * @tsplus getter fncts.io.TSemaphore available
  * @tsplus location "@fncts/io/TSemaphore/api"
  */
-export declare function available(self: TSemaphore): USTM<number>;
+export declare function available(self: TSemaphore, __tsplusTrace?: string): USTM<number>;
 /**
  * @tsplus getter fncts.io.TSemaphore release
  * @tsplus location "@fncts/io/TSemaphore/api"
  */
-export declare function release(self: TSemaphore): USTM<void>;
+export declare function release(self: TSemaphore, __tsplusTrace?: string): USTM<void>;
 /**
  * @tsplus fluent fncts.io.TSemaphore releaseN
  * @tsplus location "@fncts/io/TSemaphore/api"
  */
-export declare function releaseN_(self: TSemaphore, n: number): USTM<void>;
+export declare function releaseN_(self: TSemaphore, n: number, __tsplusTrace?: string): USTM<void>;
 /**
  * @tsplus getter fncts.io.TSemaphore withPermits
  * @tsplus location "@fncts/io/TSemaphore/api"
  */
-export declare function withPermitsSelf(self: TSemaphore): (n: number) => <R, E, A>(io: import("../IO.js").IO<R, E, A>) => import("../IO.js").IO<R, E, A>;
+export declare function withPermits(self: TSemaphore, __tsplusTrace?: string): (n: number) => <R, E, A>(io: import("../IO.js").IO<R, E, A>) => import("../IO.js").IO<R, E, A>;
 /**
  * @tsplus getter fncts.io.TSemaphore withPermit
  * @tsplus location "@fncts/io/TSemaphore/api"
  */
-export declare function withPermitSelf(self: TSemaphore): <R, E, A>(io: import("../IO.js").IO<R, E, A>) => import("../IO.js").IO<R, E, A>;
+export declare function withPermit(self: TSemaphore, __tsplusTrace?: string): <R, E, A>(io: import("../IO.js").IO<R, E, A>) => import("../IO.js").IO<R, E, A>;

package/TSemaphore/constructors.d.ts

@@ -5,7 +5,7 @@ import { TSemaphore } from "@fncts/io/TSemaphore/definition";
  * @tsplus static fncts.io.TSemaphoreOps make
  * @tsplus location "@fncts/io/TSemaphore/constructors"
  */
-export declare function make(permits: number): USTM<TSemaphore>;
+export declare function make(permits: number, __tsplusTrace?: string): USTM<TSemaphore>;
 /**
  * @tsplus static fncts.io.TSemaphoreOps unsafeMake
  * @tsplus location "@fncts/io/TSemaphore/constructors"

package/TSemaphore/definition.d.ts

@@ -2,7 +2,7 @@ import { HKT } from "@fncts/typelevel/HKT";
 import { Newtype, NewtypeIso } from "@fncts/base/data/Newtype";
 import { UTRef } from "@fncts/io/TRef/definition";
 interface TSemaphoreN extends HKT {
-    readonly [HKT.T]: TSemaphore;
+    readonly type: TSemaphore;
 }
 /**
  * @tsplus type fncts.io.TSemaphore

package/_cjs/Cached/api.cjs

@@ -43,7 +43,7 @@ exports.refresh_ = refresh_;
  * @tsplus static fncts.io.CachedOps auto
  */
 function auto(acquire, policy, __tsplusTrace) {
-  return tsplus_module_6.flatMap_(manual_1(acquire), manual => tsplus_module_6.map_(tsplus_module_5.acquireRelease(() => tsplus_module_3.forkDaemon(tsplus_module_2.interruptible(tsplus_module_1.schedule(refresh_1(manual, __tsplusTrace), () => policy, __tsplusTrace), __tsplusTrace), __tsplusTrace), fiber => tsplus_module_4.interrupt(fiber)), () => manual, __tsplusTrace), __tsplusTrace);
+  return tsplus_module_6.flatMap_(manual_1(acquire, __tsplusTrace), manual => tsplus_module_6.map_(tsplus_module_5.acquireRelease(() => tsplus_module_3.forkDaemon(tsplus_module_2.interruptible(tsplus_module_1.schedule(refresh_1(manual, __tsplusTrace), () => policy, __tsplusTrace), __tsplusTrace), __tsplusTrace), fiber => tsplus_module_4.interrupt(fiber, __tsplusTrace), __tsplusTrace), () => manual, __tsplusTrace), __tsplusTrace);
 }
 /**
  * @tsplus getter fncts.io.Cached get
@@ -59,8 +59,8 @@ function get_(self, __tsplusTrace) {
  */
 
 
-function manual_1(acquire) {
-  return tsplus_module_6.flatMap_(tsplus_module_7.environment(fileName_1 + ":34:33"), env => tsplus_module_6.map_(tsplus_module_8.fromAcquire(tsplus_module_6.result(acquire, fileName_1 + ":35:48"), fileName_1 + ":35:40"), ref => new Manual(ref, tsplus_module_7.provideEnvironment_(acquire, env, fileName_1 + ":36:54")), fileName_1 + ":35:18"), fileName_1 + ":34:18");
+function manual_1(acquire, __tsplusTrace) {
+  return tsplus_module_6.flatMap_(tsplus_module_7.environment(__tsplusTrace), env => tsplus_module_6.map_(tsplus_module_8.fromAcquire(tsplus_module_6.result(acquire, __tsplusTrace), __tsplusTrace), ref => new Manual(ref, tsplus_module_7.provideEnvironment_(acquire, env, __tsplusTrace)), __tsplusTrace), __tsplusTrace);
 }
 
 class Manual extends _internal.CachedInternal {
@@ -68,8 +68,8 @@ class Manual extends _internal.CachedInternal {
     super();
     this.ref = ref;
     this.acquire = acquire;
-    this.get = tsplus_module_6.flatMap_(this.ref.get, tsplus_module_6.fromExitNow, fileName_1 + ":44:51");
-    this.refresh = this.ref.set(tsplus_module_6.map_(this.acquire, tsplus_module_9.succeed, fileName_1 + ":45:60"), fileName_1 + ":45:43");
+    this.get = tsplus_module_6.flatMap_(this.ref.get, tsplus_module_6.fromExitNow, fileName_1 + ":45:51");
+    this.refresh = this.ref.set(tsplus_module_6.map_(this.acquire, tsplus_module_9.succeed, fileName_1 + ":46:60"), fileName_1 + ":46:43");
   }
 
 }

package/_cjs/Cached/api.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;AACA;;;;;;;MA4BgBA,MAAM;;MAqBNC,QAAQ;;;AA/CxB;;;AAGM,SAAUC,IAAV,CACJC,OADI,EAEJC,MAFI,EAGJC,aAHI,EAGkB;EAEtB,gCACmBC,SAAcH,OAAd,CADnB,EACQH,MAAM,yBACVO,gEAAkBC,8BAAiBC,2CAJvCJ,aAIuC,GAJvC,MAI+DD,MAAxB,EAJvCC,aAIuC,CAAjB,EAJtBA,aAIsB,CAAlB,EAJJA,aAII,GAAiFK,KAAD,IAAUC,0BAACD,KAAD,CAA1F,CADU,EACiG,MACtGV,MAFK,EAHdK,aAGc,CADd,EAFAA,aAEA;AAKD;AAED;;;;;AAGM,SAAUO,IAAV,CAAgCC,IAAhC,EAA+DR,aAA/D,EAAqF;EACzF;EACA,OAAOQ,IAAI,CAACC,GAAZ;AACD;AAED;;;;;AAGA,kBACEX,OADF,EACiC;EAE/B,gCACgBY,kDADhB,EACQC,GAAG,yBACKC,mDAAsBd,OAAtB,EAA6Be,qBAA7B,GAA6BA,qBAA7B,CADL,EACHC,GAAG,IACF,IAAIC,MAAJ,CAAWD,GAAX,EAAgBJ,6CAA2BC,GAA3B,EAA8BE,qBAA9B,CAAhB,CAFE,EAE8CA,qBAF9C,CADX,EAGyDA,qBAHzD;AAKD;;AAED,MAAME,MAAN,SAAsCC,wBAAtC,CAAqE;EACnEC,YAAqBH,GAArB,EAAqEhB,OAArE,EAA6G;IAC3G;IADmB;IAAgD;IAGrE,WAA4BoB,8BAAKJ,GAAL,CAASL,GAAT,EAAYS,2BAAZ,EAAYL,qBAAZ,CAA5B;IACA,eAA4B,KAAKC,GAAL,CAASK,GAAT,CAAaD,0BAAKpB,OAAL,EAAYsB,uBAAZ,EAAYP,qBAAZ,CAAb,EAA2CA,qBAA3C,CAA5B;EAFC;;AAHkE;AAQrE;;;;;AAGA,mBAA0CL,IAA1C,EAAyER,aAAzE,EAA+F;EAC7F;EACA,OAAOQ,IAAI,CAACa,OAAZ;AACD","names":["manual","refresh_","auto","acquire","policy","__tsplusTrace","manual_1","tsplus_module_5","tsplus_module_2","tsplus_module_1","fiber","tsplus_module_4","get_","self","get","tsplus_module_7","env","tsplus_module_8","fileName_1","ref","Manual","CachedInternal","constructor","tsplus_module_6","set","tsplus_module_9","refresh"],"sourceRoot":"","sources":["../../_src/Cached/api.ts"],"sourcesContent":[null]}
+{"version":3,"file":"api.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;;AACA;;;;;;;MA4BgBA,MAAM;;MAsBNC,QAAQ;;;AAhDxB;;;AAGM,SAAUC,IAAV,CACJC,OADI,EAEJC,MAFI,EAGJC,aAHI,EAGkB;EAEtB,gCACmBC,SAAcH,OAAd,EAHnBE,aAGmB,CADnB,EACQL,MAAM,yBACVO,gEAAkBC,8BAAiBC,2CAJvCJ,aAIuC,GAJvC,MAI+DD,MAAxB,EAJvCC,aAIuC,CAAjB,EAJtBA,aAIsB,CAAlB,EAJJA,aAII,GAAiFK,KAAD,IAAUC,0BAACD,KAAD,EAJ9FL,aAI8F,CAA1F,EAJJA,aAII,CADU,EACiG,MACtGL,MAFK,EAHdK,aAGc,CADd,EAFAA,aAEA;AAKD;AAED;;;;;AAGM,SAAUO,IAAV,CAAgCC,IAAhC,EAA+DR,aAA/D,EAAqF;EACzF;EACA,OAAOQ,IAAI,CAACC,GAAZ;AACD;AAED;;;;;AAGA,kBACEX,OADF,EAEEE,aAFF,EAEwB;EAEtB,gCACgBU,4BAHhBV,aAGgB,CADhB,EACQW,GAAG,yBACKC,mDAAsBd,OAAtB,EAJhBE,aAIgB,GAJhBA,aAIgB,CADL,EACHa,GAAG,IACF,IAAIC,MAAJ,CAAWD,GAAX,EAAgBH,6CAA2BC,GAA3B,EALzBX,aAKyB,CAAhB,CAFE,EAHXA,aAGW,CADX,EAFAA,aAEA;AAKD;;AAED,MAAMc,MAAN,SAAsCC,wBAAtC,CAAqE;EACnEC,YAAqBH,GAArB,EAAqEf,OAArE,EAAwG;IACtG;IADmB;IAAgD;IAGrE,WAA4BmB,8BAAKJ,GAAL,CAASJ,GAAT,EAAYQ,2BAAZ,EAAYC,qBAAZ,CAA5B;IACA,eAA4B,KAAKL,GAAL,CAASM,GAAT,CAAaF,0BAAKnB,OAAL,EAAYsB,uBAAZ,EAAYF,qBAAZ,CAAb,EAA2CA,qBAA3C,CAA5B;EAFC;;AAHkE;AAQrE;;;;;AAGA,mBAA0CV,IAA1C,EAAyER,aAAzE,EAA+F;EAC7F;EACA,OAAOQ,IAAI,CAACa,OAAZ;AACD","names":["manual","refresh_","auto","acquire","policy","__tsplusTrace","manual_1","tsplus_module_5","tsplus_module_2","tsplus_module_1","fiber","tsplus_module_4","get_","self","get","tsplus_module_7","env","tsplus_module_8","ref","Manual","CachedInternal","constructor","tsplus_module_6","fileName_1","set","tsplus_module_9","refresh"],"sourceRoot":"","sources":["../../_src/Cached/api.ts"],"sourcesContent":[null]}

package/_cjs/Channel/api/interruptWhen.cjs

@@ -49,6 +49,6 @@ function interruptWhen_1(self, io) {
 
 
 function interruptWhenFuture_(self, promise) {
-  return interruptWhen_1(self, tsplus_module_5.wait(promise));
+  return interruptWhen_1(self, tsplus_module_5.wait(promise, fileName_1 + ":36:36"));
 }
 //# sourceMappingURL=interruptWhen.cjs.map

package/_cjs/Channel/api/interruptWhen.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"interruptWhen.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;MAWgBA,cAAc;AAT9B;;;;;;;;;;;;AASA,yBACEC,IADF,EAEEC,EAFF,EAEiC;EAE/B,OAAOC,iCACLC,6BAAeF,EAAf,CADK,EAEJG,QAAD,IAAcC,qBAAmBC,4BAAeF,QAAf,EAAuBG,qBAAvB,CAAnB,CAFT,EAGJC,MAAD,IAAYH,qBAAmBC,4BAAeE,MAAf,EAAqBD,qBAArB,CAAnB,CAHP,CAAP;AAKD;AAED;;;;;;;;;;;AASM,SAAUE,oBAAV,CACJT,IADI,EAEJU,OAFI,EAE8B;EAElC,OAAOC,sBAAIC,qBAAeF,OAAf,CAAJ,CAAP;AACD","names":["interruptWhen_","self","io","tsplus_module_4","tsplus_module_1","selfDone","tsplus_module_3","tsplus_module_2","fileName_1","ioDone","interruptWhenFuture_","promise","interruptWhen_1","tsplus_module_5"],"sourceRoot":"","sources":["../../../_src/Channel/api/interruptWhen.ts"],"sourcesContent":[null]}
+{"version":3,"file":"interruptWhen.cjs","mappings":";;;;;;;;;;;;;;;;;;;;;;;MAWgBA,cAAc;AAT9B;;;;;;;;;;;;AASA,yBACEC,IADF,EAEEC,EAFF,EAEiC;EAE/B,OAAOC,iCACLC,6BAAeF,EAAf,CADK,EAEJG,QAAD,IAAcC,qBAAmBC,4BAAeF,QAAf,EAAuBG,qBAAvB,CAAnB,CAFT,EAGJC,MAAD,IAAYH,qBAAmBC,4BAAeE,MAAf,EAAqBD,qBAArB,CAAnB,CAHP,CAAP;AAKD;AAED;;;;;;;;;;;AASM,SAAUE,oBAAV,CACJT,IADI,EAEJU,OAFI,EAE8B;EAElC,OAAOC,sBAAIC,qBAAeF,OAAf,EAAsBH,qBAAtB,CAAJ,CAAP;AACD","names":["interruptWhen_","self","io","tsplus_module_4","tsplus_module_1","selfDone","tsplus_module_3","tsplus_module_2","fileName_1","ioDone","interruptWhenFuture_","promise","interruptWhen_1","tsplus_module_5"],"sourceRoot":"","sources":["../../../_src/Channel/api/interruptWhen.ts"],"sourcesContent":[null]}