@fncts/io 0.0.12 → 0.0.15

package/Fiber/constructors.d.ts

@@ -1,29 +1,29 @@
-import { Exit } from "@fncts/base/data/Exit";
+import { Exit } from "@fncts/base/data/Exit/definition";
 import { Fiber } from "@fncts/io/Fiber/definition";
-import { Cause } from "@fncts/base/data/Cause";
-import { FiberId } from "@fncts/base/data/FiberId";
+import { Cause } from "@fncts/base/data/Cause/definition";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 /**
  * @tsplus static fncts.io.FiberOps done
  * @tsplus location "@fncts/io/Fiber/constructors"
  */
-export declare function done<E, A>(exit: Exit<E, A>): Fiber<E, A>;
+export declare function done<E, A>(exit: Exit<E, A>, __tsplusTrace?: string): Fiber<E, A>;
 /**
  * @tsplus static fncts.io.FiberOps fail
  * @tsplus location "@fncts/io/Fiber/constructors"
  */
-export declare function fail<E>(e: E): Fiber<E, never>;
+export declare function fail<E>(e: E, __tsplusTrace?: string): Fiber<E, never>;
 /**
  * @tsplus static fncts.io.FiberOps failCause
  * @tsplus location "@fncts/io/Fiber/constructors"
  */
-export declare function failCause<E>(cause: Cause<E>): Fiber<E, never>;
+export declare function failCause<E>(cause: Cause<E>, __tsplusTrace?: string): Fiber<E, never>;
 /**
  * @tsplus static fncts.io.FiberOps interruptAs
  * @tsplus location "@fncts/io/Fiber/constructors"
  */
-export declare function interrupted(id: FiberId): Fiber<never, never>;
+export declare function interrupted(id: FiberId, __tsplusTrace?: string): Fiber<never, never>;
 /**
  * @tsplus static fncts.io.FiberOps succeed
  * @tsplus location "@fncts/io/Fiber/constructors"
  */
-export declare function succeed<A>(a: A): Fiber<never, A>;
+export declare function succeed<A>(a: A, __tsplusTrace?: string): Fiber<never, A>;

package/Fiber/definition.d.ts

@@ -1,7 +1,7 @@
-import { FiberId } from "@fncts/base/data/FiberId";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 import { UIO, IO } from "@fncts/io/IO/definition";
-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 { TraceElement } from "@fncts/base/data/TraceElement/definition";
 import { Trace } from "@fncts/base/data/Trace/definition";
@@ -69,7 +69,7 @@ export interface RuntimeFiber<E, A> extends FiberCommon<E, A> {
      * effect will be executed instead.
      */
     readonly evalOn: (effect: UIO<any>, orElse: UIO<any>) => UIO<void>;
-    readonly evalOnIO: <R1, E1, B, R2, E2, C>(effect: IO<R1, E1, B>, orElse: IO<R2, E2, C>) => IO<R1 & R2, E1 | E2, B | C>;
+    readonly evalOnIO: <R1, E1, B, R2, E2, C>(effect: IO<R1, E1, B>, orElse: IO<R2, E2, C>) => IO<R1 | R2, E1 | E2, B | C>;
     /**
      * The status of the fiber.
      */

package/FiberRef/api/locallyScoped.d.ts

@@ -1,9 +1,8 @@
 import { FiberRef } from "@fncts/io/FiberRef/definition";
 import { IO } from "@fncts/io/IO/definition";
-import { Has } from "@fncts/base/typeclass/Has";
 import { Scope } from "@fncts/io/Scope/definition";
 /**
  * @tsplus fluent fncts.io.FiberRef locallyScoped
  * @tsplus location "@fncts/io/FiberRef/api/locallyScoped"
  */
-export declare function locallyScoped_<A>(ref: FiberRef<A>, a: A): IO<Has<Scope>, never, void>;
+export declare function locallyScoped_<A>(ref: FiberRef<A>, a: A, __tsplusTrace?: string): IO<Scope, never, void>;

package/FiberRef/api/locallyScopedWith.d.ts

@@ -1,9 +1,8 @@
 import { FiberRef } from "@fncts/io/FiberRef/definition";
 import { IO } from "@fncts/io/IO/definition";
-import { Has } from "@fncts/base/typeclass/Has";
 import { Scope } from "@fncts/io/Scope/definition";
 /**
  * @tsplus fluent fncts.io.FiberRef locallyScopedWith
  * @tsplus location "@fncts/io/FiberRef/api/locallyScopedWith"
  */
-export declare function locallyScopedWith<A>(self: FiberRef<A>, f: (a: A) => A): IO<Has<Scope>, never, void>;
+export declare function locallyScopedWith<A>(self: FiberRef<A>, f: (a: A) => A, __tsplusTrace?: string): IO<Scope, never, void>;

package/FiberRef/api.d.ts

@@ -1,6 +1,6 @@
 import { FiberRef } from "@fncts/io/FiberRef/definition";
 import { UIO, IO } from "@fncts/io/IO/definition";
-import { Maybe } from "@fncts/base/data/Maybe";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
 /**
  * @tsplus fluent fncts.io.FiberRef modify
  * @tsplus location "@fncts/io/FiberRef/api"
@@ -15,27 +15,27 @@ export declare function update_<A>(fiberRef: FiberRef<A>, f: (a: A) => A, __tspl
  * @tsplus fluent fncts.io.FiberRef set
  * @tsplus location "@fncts/io/FiberRef/api"
  */
-export declare function set_<A>(fiberRef: FiberRef<A>, a: A): UIO<void>;
+export declare function set_<A>(fiberRef: FiberRef<A>, a: A, __tsplusTrace?: string): UIO<void>;
 /**
  * @tsplus getter fncts.io.FiberRef get
  * @tsplus location "@fncts/io/FiberRef/api"
  */
-export declare function get<A>(fiberRef: FiberRef<A>): UIO<A>;
+export declare function get<A>(fiberRef: FiberRef<A>, __tsplusTrace?: string): UIO<A>;
 /**
  * @tsplus fluent fncts.io.FiberRef getAndSet
  * @tsplus location "@fncts/io/FiberRef/api"
  */
-export declare function getAndSet_<A>(fiberRef: FiberRef<A>, a: A): UIO<A>;
+export declare function getAndSet_<A>(fiberRef: FiberRef<A>, a: A, __tsplusTrace?: string): UIO<A>;
 /**
  * @tsplus fluent fncts.io.FiberRef getAndUpdate
  * @tsplus location "@fncts/io/FiberRef/api"
  */
-export declare function getAndUpdate_<A>(fiberRef: FiberRef<A>, f: (a: A) => A): UIO<A>;
+export declare function getAndUpdate_<A>(fiberRef: FiberRef<A>, f: (a: A) => A, __tsplusTrace?: string): UIO<A>;
 /**
  * @tsplus fluent fncts.io.FiberRef getAndUpdateJust
  * @tsplus location "@fncts/io/FiberRef/api"
  */
-export declare function getAndUpdateJust_<A>(fiberRef: FiberRef<A>, f: (a: A) => Maybe<A>): UIO<A>;
+export declare function getAndUpdateJust_<A>(fiberRef: FiberRef<A>, f: (a: A) => Maybe<A>, __tsplusTrace?: string): UIO<A>;
 /**
  * Returns an `IO` that runs with `value` bound to the current fiber.
  *
@@ -43,7 +43,7 @@ export declare function getAndUpdateJust_<A>(fiberRef: FiberRef<A>, f: (a: A) =>
  * @tsplus fluent fncts.io.FiberRef locally
  * @tsplus location "@fncts/io/FiberRef/api"
  */
-export declare function locally_<A>(fiberRef: FiberRef<A>, value: A): <R1, E1, B>(use: import("@fncts/io/IO/definition").IO<R1, E1, B>) => import("@fncts/io/IO/definition").IO<R1, E1, B>;
+export declare function locally_<A>(fiberRef: FiberRef<A>, value: A, __tsplusTrace?: string): <R1, E1, B>(use: import("@fncts/io/IO/definition").IO<R1, E1, B>) => import("@fncts/io/IO/definition").IO<R1, E1, B>;
 /**
  * Returns an `IO` that runs with `f` applied to the current fiber.
  *
@@ -51,7 +51,7 @@ export declare function locally_<A>(fiberRef: FiberRef<A>, value: A): <R1, E1, B
  * @tsplus fluent fncts.io.FiberRef locallyWith
  * @tsplus location "@fncts/io/FiberRef/api"
  */
-export declare function locallyWith_<A>(self: FiberRef<A>, f: (a: A) => A): <R1, E1, B>(use: import("@fncts/io/IO/definition").IO<R1, E1, B>) => import("@fncts/io/IO/definition").IO<R1, E1, B>;
+export declare function locallyWith_<A>(self: FiberRef<A>, f: (a: A) => A, __tsplusTrace?: string): <R1, E1, B>(use: import("@fncts/io/IO/definition").IO<R1, E1, B>) => import("@fncts/io/IO/definition").IO<R1, E1, B>;
 /**
  * @tsplus fluent fncts.io.FiberRef getWith
  * @tsplus location "@fncts/io/FiberRef/api"

package/FiberRef/constructors.d.ts

@@ -1,10 +1,9 @@
-import { Lazy } from "@fncts/base/data/function";
+import { Lazy } from "@fncts/base/data/function/definition";
 import { FiberRef } from "@fncts/io/FiberRef/definition";
 import { IO } from "@fncts/io/IO/definition";
-import { Has } from "@fncts/base/typeclass/Has";
 import { Scope } from "@fncts/io/Scope/definition";
 /**
  * @tsplus static fncts.io.FiberRefOps make
  * @tsplus location "@fncts/io/FiberRef/constructors"
  */
-export declare function make<A>(initial: A, fork?: (a: A) => A, join?: (a: A, a1: A) => A): IO<Has<Scope>, never, FiberRef<A>>;
+export declare function make<A>(initial: A, fork?: (a: A) => A, join?: (a: A, a1: A) => A, __tsplusTrace?: string): IO<Scope, never, FiberRef<A>>;

package/FiberRef/unsafe.d.ts

@@ -1,11 +1,12 @@
 import { FiberRef } from "@fncts/io/FiberRef/definition";
-import { Environment } from "@fncts/base/data/Environment";
-import { Maybe } from "@fncts/base/data/Maybe";
-import { FiberScope } from "@fncts/io/FiberScope/definition";
+import { Environment } from "@fncts/base/data/Environment/definition";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
+import { FiberScope } from "@fncts/io/FiberScope";
 import { LogLevel } from "@fncts/io/LogLevel";
-import { List } from "@fncts/base/collection/immutable/List";
-import { HashMap } from "@fncts/base/collection/immutable/HashMap";
+import { List } from "@fncts/base/collection/immutable/List/definition";
+import { HashMap } from "@fncts/base/collection/immutable/HashMap/definition";
 import type { LogSpan } from "../LogSpan.js";
+import type { Scheduler } from "@fncts/io/internal/Scheduler.js";
 import { Patch } from "@fncts/base/data/Patch";
 /**
  * @tsplus static fncts.io.FiberRefOps unsafeMakePatch
@@ -52,3 +53,8 @@ export declare const currentLogSpan: import("./definition.js").FiberRef.WithPatc
  * @tsplus location "@fncts/io/FiberRef/unsafe"
  */
 export declare const currentLogAnnotations: import("./definition.js").FiberRef.WithPatch<import("@fncts/base/collection/immutable/HashMap.js").HashMap<string, string>, (_: import("@fncts/base/collection/immutable/HashMap.js").HashMap<string, string>) => import("@fncts/base/collection/immutable/HashMap.js").HashMap<string, string>>;
+/**
+ * @tsplus static fncts.io.FiberRefOps currentScheduler
+ * @tsplus location "@fncts/io/FiberRef/unsafe"
+ */
+export declare const currentScheduler: import("./definition.js").FiberRef.WithPatch<Scheduler, (_: Scheduler) => Scheduler>;

package/FiberRefs/api.d.ts

@@ -1,8 +1,8 @@
-import { HashSet } from "@fncts/base/collection/immutable/HashSet";
+import { HashSet } from "@fncts/base/collection/immutable/HashSet/definition";
 import { FiberRef } from "@fncts/io/FiberRef/definition";
-import { HashMap } from "@fncts/base/collection/immutable/HashMap";
-import { Cons } from "@fncts/base/collection/immutable/List";
-import { FiberId } from "@fncts/base/data/FiberId";
+import { HashMap } from "@fncts/base/collection/immutable/HashMap/definition";
+import { Cons } from "@fncts/base/collection/immutable/List/definition";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 import { FiberRefs } from "@fncts/io/FiberRefs/definition";
 /**
  * @tsplus getter fncts.io.FiberRefs fiberRefs

package/FiberRefs/definition.d.ts

@@ -1,7 +1,7 @@
-import { HashMap } from "@fncts/base/collection/immutable/HashMap";
+import { HashMap } from "@fncts/base/collection/immutable/HashMap/definition";
 import { FiberRef } from "@fncts/io/FiberRef/definition";
-import { Cons } from "@fncts/base/collection/immutable/List";
-import { FiberId } from "@fncts/base/data/FiberId";
+import { Cons } from "@fncts/base/collection/immutable/List/definition";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 export declare const FiberRefsTypeId: unique symbol;
 export declare type FiberRefsTypeId = typeof FiberRefsTypeId;
 /**

package/FiberRefs/join.d.ts

@@ -1,6 +1,6 @@
 import { FiberRefs } from "@fncts/io/FiberRefs";
-import { FiberId } from "@fncts/base/data/FiberId";
-import { Cons, List } from "@fncts/base/collection/immutable/List";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
+import { Cons, List } from "@fncts/base/collection/immutable/List/definition";
 import { FiberRef } from "@fncts/io/FiberRef/definition";
 /**
  * @tsplus fluent fncts.io.FiberRefs join

package/FiberScope/constructors.d.ts

@@ -1,4 +1,4 @@
-import { FiberScope } from "@fncts/io/FiberScope/definition";
+import { FiberScope } from "@fncts/io/FiberScope";
 import type { FiberContext } from "@fncts/io/Fiber/FiberContext";
 import { Global } from "@fncts/io/FiberScope/definition";
 /**

package/FiberScope/definition.d.ts

@@ -1,4 +1,4 @@
-import { FiberId } from "@fncts/base/data/FiberId";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 import type { FiberContext } from "@fncts/io/Fiber/FiberContext";
 /**
  * A `Scope` represents the scope of a fiber lifetime. The scope of a fiber can

package/FiberState/api.d.ts

@@ -1,4 +1,4 @@
-import { Cause } from "@fncts/base/data/Cause";
+import { Cause } from "@fncts/base/data/Cause/definition";
 import type { FiberState } from "./definition.js";
 /**
  * @tsplus getter fncts.FiberState interruptorsCause

package/FiberState/constructors.d.ts

@@ -1,6 +1,6 @@
-import { Exit } from "@fncts/base/data/Exit";
-import { Cause } from "@fncts/base/data/Cause";
-import { FiberId } from "@fncts/base/data/FiberId";
+import { Exit } from "@fncts/base/data/Exit/definition";
+import { Cause } from "@fncts/base/data/Cause/definition";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 import { UIO } from "@fncts/io/IO/definition";
 import type { Callback, FiberState } from "./definition.js";
 import { CancellerState } from "../CancellerState.js";

package/FiberState/definition.d.ts

@@ -1,6 +1,6 @@
-import { Exit } from "@fncts/base/data/Exit";
-import { Cause } from "@fncts/base/data/Cause";
-import { FiberId } from "@fncts/base/data/FiberId";
+import { Exit } from "@fncts/base/data/Exit/definition";
+import { Cause } from "@fncts/base/data/Cause/definition";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 import { UIO } from "@fncts/io/IO/definition";
 import type { CancellerState } from "../CancellerState.js";
 import { FiberStatus } from "../FiberStatus.js";

package/FiberStatus/constructors.d.ts

@@ -1,4 +1,4 @@
-import { FiberId } from "@fncts/base/data/FiberId";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 import type { FiberStatus } from "./definition.js";
 /**
  * @tsplus static fncts.FiberStatusOps done

package/FiberStatus/definition.d.ts

@@ -1,4 +1,4 @@
-import { FiberId } from "@fncts/base/data/FiberId";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 export declare const enum FiberStatusTag {
     Done = "Done",
     Finishing = "Finishing",

package/Future/api.d.ts

@@ -1,30 +1,30 @@
 import { Future } from "@fncts/io/Future";
-import { Exit } from "@fncts/base/data/Exit";
+import { Exit } from "@fncts/base/data/Exit/definition";
 import { UIO, IO, FIO } from "@fncts/io/IO/definition";
-import { Cause } from "@fncts/base/data/Cause";
-import { FiberId } from "@fncts/base/data/FiberId";
-import { Maybe } from "@fncts/base/data/Maybe";
+import { Cause } from "@fncts/base/data/Cause/definition";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
+import { Maybe } from "@fncts/base/data/Maybe/definition";
 /**
  * Exits the future with the specified exit, which will be propagated to all
  * fibers waiting on the value of the future.
  * @tsplus fluent fncts.io.Future done
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function done_<E, A>(future: Future<E, A>, exit: Exit<E, A>): UIO<boolean>;
+export declare function done_<E, A>(future: Future<E, A>, exit: Exit<E, A>, __tsplusTrace?: string): UIO<boolean>;
 /**
  * Fails the future with the specified error, which will be propagated to all
  * fibers waiting on the value of the future.
  * @tsplus fluent fncts.io.Future fail
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function fail_<E, A>(future: Future<E, A>, e: E): UIO<boolean>;
+export declare function fail_<E, A>(future: Future<E, A>, e: E, __tsplusTrace?: string): UIO<boolean>;
 /**
  * Halts the future with the specified cause, which will be propagated to all
  * fibers waiting on the value of the future.
  * @tsplus fluent fncts.io.Future failCause
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function failCause_<E, A>(future: Future<E, A>, cause: Cause<E>): UIO<boolean>;
+export declare function failCause_<E, A>(future: Future<E, A>, cause: Cause<E>, __tsplusTrace?: string): UIO<boolean>;
 /**
  * Completes the future with the result of the specified effect. If the
  * future has already been completed, the method will produce false.
@@ -34,7 +34,7 @@ export declare function failCause_<E, A>(future: Future<E, A>, cause: Cause<E>):
  * @tsplus fluent fncts.io.Future fulfill
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function fulfill_<R, E, A>(future: Future<E, A>, io: IO<R, E, A>): IO<R, never, boolean>;
+export declare function fulfill_<R, E, A>(future: Future<E, A>, io: IO<R, E, A>, __tsplusTrace?: string): IO<R, never, boolean>;
 /**
  * Completes the future with the specified effect. If the future has
  * already been completed, the method will produce false.
@@ -50,64 +50,64 @@ export declare function fulfill_<R, E, A>(future: Future<E, A>, io: IO<R, E, A>)
  * @tsplus fluent fncts.io.Future fulfillWith
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function fulfillWith_<E, A>(future: Future<E, A>, io: FIO<E, A>): UIO<boolean>;
+export declare function fulfillWith_<E, A>(future: Future<E, A>, io: FIO<E, A>, __tsplusTrace?: string): UIO<boolean>;
 /**
  * Kills the future with the specified error, which will be propagated to all
  * fibers waiting on the value of the future.
  * @tsplus fluent fncts.io.Future halt
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function halt_<E, A>(future: Future<E, A>, defect: unknown): UIO<boolean>;
+export declare function halt_<E, A>(future: Future<E, A>, defect: unknown, __tsplusTrace?: string): UIO<boolean>;
 /**
  * Completes the future with interruption. This will interrupt all fibers
  * waiting on the value of the future as by the fiber calling this method.
  * @tsplus getter fncts.io.Future interrupt
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function interrupt<E, A>(future: Future<E, A>): UIO<boolean>;
+export declare function interrupt<E, A>(future: Future<E, A>, __tsplusTrace?: string): UIO<boolean>;
 /**
  * Completes the future with interruption. This will interrupt all fibers
  * waiting on the value of the future as by the specified fiber.
  * @tsplus fluent fncts.io.Future interruptAs
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function interruptAs_<E, A>(future: Future<E, A>, id: FiberId): UIO<boolean>;
+export declare function interruptAs_<E, A>(future: Future<E, A>, id: FiberId, __tsplusTrace?: string): UIO<boolean>;
 /**
  * Checks for completion of this Future. Produces true if this future has
  * already been completed with a value or an error and false otherwise.
  * @tsplus getter fncts.io.Future isDone
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function isDone<E, A>(future: Future<E, A>): UIO<boolean>;
+export declare function isDone<E, A>(future: Future<E, A>, __tsplusTrace?: string): UIO<boolean>;
 /**
  * Checks for completion of this Future. Returns the result effect if this
  * future has already been completed or a `None` otherwise.
  * @tsplus getter fncts.io.Future poll
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function poll<E, A>(future: Future<E, A>): UIO<Maybe<FIO<E, A>>>;
+export declare function poll<E, A>(future: Future<E, A>, __tsplusTrace?: string): UIO<Maybe<FIO<E, A>>>;
 /**
  * Completes the future with the specified value.
  * @tsplus fluent fncts.io.Future succeed
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function succeed_<A, E>(future: Future<E, A>, a: A): import("@fncts/io/IO").UIO<boolean>;
+export declare function succeed_<A, E>(future: Future<E, A>, a: A, __tsplusTrace?: string): import("@fncts/io/IO").UIO<boolean>;
 /**
  * Retrieves the value of the future, suspending the fiber running the action
  * until the result is available.
  * @tsplus fluent fncts.io.Future unsafeDone
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function unsafeDone_<E, A>(future: Future<E, A>, io: FIO<E, A>): void;
+export declare function unsafeDone_<E, A>(future: Future<E, A>, io: FIO<E, A>, __tsplusTrace?: string): void;
 /**
  * @tsplus fluent fncts.io.Future unsafeSucceed
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function unsafeSucceed_<A>(future: Future<never, A>, a: A): void;
+export declare function unsafeSucceed_<A>(future: Future<never, A>, a: A, __tsplusTrace?: string): void;
 /**
  * Retrieves the value of the future, suspending the fiber running the action
  * until the result is available.
  * @tsplus getter fncts.io.Future await
  * @tsplus location "@fncts/io/Future/api"
  */
-export declare function wait<E, A>(future: Future<E, A>): IO<unknown, E, A>;
+export declare function wait<E, A>(future: Future<E, A>, __tsplusTrace?: string): IO<never, E, A>;

package/Future/constructors.d.ts

@@ -1,18 +1,18 @@
 import { IO } from "@fncts/io/IO/definition";
-import { FiberId } from "@fncts/base/data/FiberId";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
 import { Future } from "@fncts/io/Future/definition";
 /**
  * Makes a new future to be completed by the fiber creating the future.
  * @tsplus static fncts.io.FutureOps make
  * @tsplus location "@fncts/io/Future/constructors"
  */
-export declare function make<E, A>(): IO<unknown, never, Future<E, A>>;
+export declare function make<E, A>(__tsplusTrace?: string): IO<never, never, Future<E, A>>;
 /**
  * Makes a new future to be completed by the fiber with the specified id.
  * @tsplus static fncts.io.FutureOps makeAs
  * @tsplus location "@fncts/io/Future/constructors"
  */
-export declare function makeAs<E, A>(fiberId: FiberId): import("../IO").UIO<Future<E, A>>;
+export declare function makeAs<E, A>(fiberId: FiberId, __tsplusTrace?: string): import("../IO").UIO<Future<E, A>>;
 /**
  * Makes a new future to be completed by the fiber with the specified id.
  * @tsplus static fncts.io.FutureOps unsafeMake

package/Future/definition.d.ts

@@ -1,5 +1,5 @@
-import { FiberId } from "@fncts/base/data/FiberId";
-import { List } from "@fncts/base/collection/immutable/List";
+import { FiberId } from "@fncts/base/data/FiberId/definition";
+import { List } from "@fncts/base/collection/immutable/List/definition";
 import { FIO } from "@fncts/io/IO/definition";
 /**
  * @tsplus type fncts.io.Future

package/Hub/api.d.ts

@@ -1,73 +1,72 @@
 import { PHub, Hub } from "@fncts/io/Hub/definition";
 import { UIO, IO } from "@fncts/io/IO/definition";
 import { Conc } from "@fncts/base/collection/immutable/Conc";
-import { Has } from "@fncts/base/typeclass/Has";
 import { Scope } from "@fncts/io/Scope/definition";
 /**
  * Waits for the hub to be shut down.
  * @tsplus getter fncts.io.Hub awaitShutdown
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function awaitShutdown<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>): UIO<void>;
+export declare function awaitShutdown<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, __tsplusTrace?: string): UIO<void>;
 /**
  * The maximum capacity of the hub.
  * @tsplus getter fncts.io.Hub capacity
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function capacity<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>): number;
+export declare function capacity<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, __tsplusTrace?: string): number;
 /**
  * Transforms messages published to the hub using the specified effectual
  * function.
  * @tsplus fluent fncts.io.Hub contramapIO
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function contramapIO_<RA, RB, RC, EA, EB, EC, A, B, C>(self: PHub<RA, RB, EA, EB, A, B>, f: (c: C) => IO<RC, EC, A>): PHub<RC & RA, RB, EA | EC, EB, C, B>;
+export declare function contramapIO_<RA, RB, RC, EA, EB, EC, A, B, C>(self: PHub<RA, RB, EA, EB, A, B>, f: (c: C) => IO<RC, EC, A>, __tsplusTrace?: string): PHub<RC | RA, RB, EA | EC, EB, C, B>;
 /**
  * Transforms messages published to and taken from the hub using the
  * specified functions.
  * @tsplus fluent fncts.io.Hub dimap
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function dimap_<RA, RB, EA, EB, A, B, C, D>(self: PHub<RA, RB, EA, EB, A, B>, f: (c: C) => A, g: (b: B) => D): PHub<RA, RB, EA, EB, C, D>;
+export declare function dimap_<RA, RB, EA, EB, A, B, C, D>(self: PHub<RA, RB, EA, EB, A, B>, f: (c: C) => A, g: (b: B) => D, __tsplusTrace?: string): PHub<RA, RB, EA, EB, C, D>;
 /**
  * Transforms messages published to and taken from the hub using the
  * specified effectual functions.
  * @tsplus fluent fncts.io.Hub dimapIO
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function dimapIO_<RA, RB, RC, RD, EA, EB, EC, ED, A, B, C, D>(source: PHub<RA, RB, EA, EB, A, B>, f: (c: C) => IO<RC, EC, A>, g: (b: B) => IO<RD, ED, D>): PHub<RC & RA, RD & RB, EA | EC, EB | ED, C, D>;
+export declare function dimapIO_<RA, RB, RC, RD, EA, EB, EC, ED, A, B, C, D>(source: PHub<RA, RB, EA, EB, A, B>, f: (c: C) => IO<RC, EC, A>, g: (b: B) => IO<RD, ED, D>, __tsplusTrace?: string): PHub<RC | RA, RD | RB, EA | EC, EB | ED, C, D>;
 /**
  * Filters messages published to the hub using the specified effectual
  * function.
  * @tsplus fluent fncts.io.Hub filterInputIO
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function filterInputIO_<RA, RA1, RB, EA, EA1, EB, A, B>(source: PHub<RA, RB, EA, EB, A, B>, f: (a: A) => IO<RA1, EA1, boolean>): PHub<RA & RA1, RB, EA | EA1, EB, A, B>;
+export declare function filterInputIO_<RA, RA1, RB, EA, EA1, EB, A, B>(source: PHub<RA, RB, EA, EB, A, B>, f: (a: A) => IO<RA1, EA1, boolean>, __tsplusTrace?: string): PHub<RA | RA1, RB, EA | EA1, EB, A, B>;
 /**
  * Filters messages published to the hub using the specified function.
  * @tsplus fluent fncts.io.Hub filterInput
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function filterInput_<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, f: (a: A) => boolean): import("@fncts/io/Hub/definition").PHub<RA, RB, EA, EB, A, B>;
+export declare function filterInput_<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, f: (a: A) => boolean, __tsplusTrace?: string): import("@fncts/io/Hub/definition").PHub<RA, RB, EA, EB, A, B>;
 /**
  * Filters messages taken from the hub using the specified effectual
  * function.
  * @tsplus fluent fncts.io.Hub filterOutputIO
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function filterOutputIO_<RA, RB, RB1, EA, EB, EB1, A, B>(source: PHub<RA, RB, EA, EB, A, B>, f: (a: B) => IO<RB1, EB1, boolean>): PHub<RA, RB & RB1, EA, EB | EB1, A, B>;
+export declare function filterOutputIO_<RA, RB, RB1, EA, EB, EB1, A, B>(source: PHub<RA, RB, EA, EB, A, B>, f: (a: B) => IO<RB1, EB1, boolean>, __tsplusTrace?: string): PHub<RA, RB | RB1, EA, EB | EB1, A, B>;
 /**
  * Filters messages taken from the hub using the specified function.
  * @tsplus fluent fncts.io.Hub filterOutput
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function filterOutput_<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, f: (b: B) => boolean): PHub<RA, RB, EA, EB, A, B>;
+export declare function filterOutput_<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, f: (b: B) => boolean, __tsplusTrace?: string): PHub<RA, RB, EA, EB, A, B>;
 /**
  * Checks whether the hub is shut down.
  * @tsplus getter fncts.io.Hub isShutdown
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function isShutdown<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>): UIO<boolean>;
+export declare function isShutdown<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, __tsplusTrace?: string): UIO<boolean>;
 /**
  * Creates a bounded hub with the back pressure strategy. The hub will retain
  * messages until they have been taken by all subscribers, applying back
@@ -77,7 +76,7 @@ export declare function isShutdown<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA,
  * @tsplus static fncts.io.HubOps makeBounded
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function makeBounded<A>(requestedCapacity: number): UIO<Hub<A>>;
+export declare function makeBounded<A>(requestedCapacity: number, __tsplusTrace?: string): UIO<Hub<A>>;
 /**
  * Creates a bounded hub with the dropping strategy. The hub will drop new
  * messages if the hub is at capacity.
@@ -86,7 +85,7 @@ export declare function makeBounded<A>(requestedCapacity: number): UIO<Hub<A>>;
  * @tsplus static fncts.io.HubOps makeDropping
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function makeDropping<A>(requestedCapacity: number): UIO<Hub<A>>;
+export declare function makeDropping<A>(requestedCapacity: number, __tsplusTrace?: string): UIO<Hub<A>>;
 /**
  * Creates a bounded hub with the sliding strategy. The hub will add new
  * messages and drop old messages if the hub is at capacity.
@@ -95,46 +94,46 @@ export declare function makeDropping<A>(requestedCapacity: number): UIO<Hub<A>>;
  * @tsplus static fncts.io.HubOps makeSliding
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function makeSliding<A>(requestedCapacity: number): UIO<Hub<A>>;
+export declare function makeSliding<A>(requestedCapacity: number, __tsplusTrace?: string): UIO<Hub<A>>;
 /**
  * Creates an unbounded hub.
  * @tsplus static fncts.io.HubOps makeUnbounded
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function makeUnbounded<A>(): UIO<Hub<A>>;
+export declare function makeUnbounded<A>(__tsplusTrace?: string): UIO<Hub<A>>;
 /**
  * Transforms messages taken from the hub using the specified function.
  * @tsplus fluent fncts.io.Hub map
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function map_<RA, RB, EA, EB, A, B, C>(self: PHub<RA, RB, EA, EB, A, B>, f: (b: B) => C): PHub<RA, RB, EA, EB, A, C>;
+export declare function map_<RA, RB, EA, EB, A, B, C>(self: PHub<RA, RB, EA, EB, A, B>, f: (b: B) => C, __tsplusTrace?: string): PHub<RA, RB, EA, EB, A, C>;
 /**
  * Transforms messages taken from the hub using the specified effectual
  * function.
  * @tsplus fluent fncts.io.Hub mapIO
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function mapIO_<RA, RB, RC, EA, EB, EC, A, B, C>(self: PHub<RA, RB, EA, EB, A, B>, f: (b: B) => IO<RC, EC, C>): PHub<RA, RC & RB, EA, EB | EC, A, C>;
+export declare function mapIO_<RA, RB, RC, EA, EB, EC, A, B, C>(self: PHub<RA, RB, EA, EB, A, B>, f: (b: B) => IO<RC, EC, C>, __tsplusTrace?: string): PHub<RA, RC | RB, EA, EB | EC, A, C>;
 /**
  * Publishes a message to the hub, returning whether the message was
  * published to the hub.
  * @tsplus fluent fncts.io.Hub publish
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function publish_<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, a: A): IO<RA, EA, boolean>;
+export declare function publish_<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, a: A, __tsplusTrace?: string): IO<RA, EA, boolean>;
 /**
  * Publishes all of the specified messages to the hub, returning whether
  * they were published to the hub.
  * @tsplus fluent fncts.io.Hub publishAll
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function publishAll_<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, as: Iterable<A>): IO<RA, EA, boolean>;
+export declare function publishAll_<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, as: Iterable<A>, __tsplusTrace?: string): IO<RA, EA, boolean>;
 /**
  * Shuts down the hub.
  * @tsplus getter fncts.io.Hub shutdown
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function shutdown<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>): UIO<void>;
+export declare function shutdown<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, __tsplusTrace?: string): UIO<void>;
 /**
  * Subscribes to receive messages from the hub. The resulting subscription
  * can be evaluated multiple times within the scope of the managed to take a
@@ -142,19 +141,19 @@ export declare function shutdown<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB
  * @tsplus getter fncts.io.Hub subscribe
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function subscribe<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>): IO<Has<Scope>, never, Hub.Dequeue<RB, EB, B>>;
+export declare function subscribe<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, __tsplusTrace?: string): IO<Scope, never, Hub.Dequeue<RB, EB, B>>;
 /**
  * The current number of messages in the hub.
  * @tsplus getter fncts.io.Hub size
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function size<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>): UIO<number>;
+export declare function size<RA, RB, EA, EB, A, B>(self: PHub<RA, RB, EA, EB, A, B>, __tsplusTrace?: string): UIO<number>;
 /**
  * Views the hub as a queue that can only be written to.
  * @tsplus getter fncts.io.Hub toQueue
  * @tsplus location "@fncts/io/Hub/api"
  */
-export declare function toQueue<RA, RB, EA, EB, A, B>(source: PHub<RA, RB, EA, EB, A, B>): Hub.Enqueue<RA, EA, A>;
+export declare function toQueue<RA, RB, EA, EB, A, B>(source: PHub<RA, RB, EA, EB, A, B>, __tsplusTrace?: string): Hub.Enqueue<RA, EA, A>;
 /**
  * Creates a bounded hub with the back pressure strategy. The hub will retain
  * messages until they have been taken by all subscribers, applying back