@fncts/base 0.0.32 → 0.0.33

package/collection/immutable/Queue/api.d.ts

@@ -30,12 +30,12 @@ export declare function tail<A>(self: Queue<A>): Maybe<Queue<A>>;
  * @tsplus pipeable fncts.ImmutableQueue prepend
  * @tsplus location "@fncts/base/collection/immutable/Queue/api"
  */
-export declare function prepend<B>(elem: B): <A>(self: Queue<A>) => Queue<B | A>;
+export declare function prepend<B>(elem: B): <A>(self: Queue<A>) => Queue<A | B>;
 /**
  * @tsplus pipeable fncts.ImmutableQueue enqueue
  * @tsplus location "@fncts/base/collection/immutable/Queue/api"
  */
-export declare function enqueue<B>(elem: B): <A>(self: Queue<A>) => Queue<B | A>;
+export declare function enqueue<B>(elem: B): <A>(self: Queue<A>) => Queue<A | B>;
 /**
  * @tsplus getter fncts.ImmutableQueue unsafeDequeue
  * @tsplus location "@fncts/base/collection/immutable/Queue/api"

package/collection/immutable/Queue.d.ts

@@ -1,4 +1,4 @@
-export * from "./Queue/api.js";
-export * from "./Queue/constructors.js";
-export * from "./Queue/definition.js";
 export * from "./Queue/guards.js";
+export * from "./Queue/definition.js";
+export * from "./Queue/constructors.js";
+export * from "./Queue/api.js";

package/collection/immutable/RoseTree.d.ts

@@ -1,2 +1,2 @@
-export * from "./RoseTree/api.js";
 export * from "./RoseTree/definition.js";
+export * from "./RoseTree/api.js";

package/collection/immutable/SortedMap/api.d.ts

@@ -43,31 +43,31 @@ export declare function forEachGt<K, V>(min: K, visit: (k: K, v: V) => void): (s
  * @tsplus pipeable fncts.SortedMap get
  * @tsplus location "@fncts/base/collection/immutable/SortedMap/api"
  */
-export declare function get<K>(key: K): <V>(self: SortedMap<K, V>) => import("../../../data/Maybe").Maybe<V>;
+export declare function get<K>(key: K): <V>(self: SortedMap<K, V>) => Maybe<V>;
 /**
  * Searches the map and returns the first value in sorted order that is > key, if it exists
  * @tsplus pipeable fncts.SortedMap getGt
  * @tsplus location "@fncts/base/collection/immutable/SortedMap/api"
  */
-export declare function getGt<K>(key: K): <V>(self: SortedMap<K, V>) => import("../../../data/Maybe").Maybe<V>;
+export declare function getGt<K>(key: K): <V>(self: SortedMap<K, V>) => Maybe<V>;
 /**
  * Searches the map and returns the first value in sorted order that is < key, if it exists
  * @tsplus pipeable fncts.SortedMap getLt
  * @tsplus location "@fncts/base/collection/immutable/SortedMap/api"
  */
-export declare function getLt<K>(key: K): <V>(self: SortedMap<K, V>) => import("../../../data/Maybe").Maybe<V>;
+export declare function getLt<K>(key: K): <V>(self: SortedMap<K, V>) => Maybe<V>;
 /**
  * Searches the map and returns the first value in sorted order that is <= key, if it exists
  * @tsplus pipeable fncts.SortedMap getLte
  * @tsplus location "@fncts/base/collection/immutable/SortedMap/api"
  */
-export declare function getLte<K>(key: K): <V>(self: SortedMap<K, V>) => import("../../../data/Maybe").Maybe<V>;
+export declare function getLte<K>(key: K): <V>(self: SortedMap<K, V>) => Maybe<V>;
 /**
  * Searches the map and returns the first value in sorted order that is >= key, if it exists
  * @tsplus pipeable fncts.SortedMap getGte
  * @tsplus location "@fncts/base/collection/immutable/SortedMap/api"
  */
-export declare function getGte<K>(key: K): <V>(self: SortedMap<K, V>) => import("../../../data/Maybe").Maybe<V>;
+export declare function getGte<K>(key: K): <V>(self: SortedMap<K, V>) => Maybe<V>;
 /**
  * Inserts an element into the correct position in the map.
  * This function inserts duplicate keys. For one that combines duplicate key's values,

package/collection/immutable/SortedMap.d.ts

@@ -1,5 +1,5 @@
-export * from "./SortedMap/api.js";
-export * from "./SortedMap/definition.js";
-export * from "./SortedMap/internal.js";
-export * from "./SortedMap/iterator.js";
 export * from "./SortedMap/node.js";
+export * from "./SortedMap/iterator.js";
+export * from "./SortedMap/internal.js";
+export * from "./SortedMap/definition.js";
+export * from "./SortedMap/api.js";

package/collection/immutable/Vector/api.d.ts

@@ -49,7 +49,7 @@ export declare function flatMap<A, B>(f: (a: A) => Vector<B>): (self: Vector<A>)
  * @tsplus pipeable fncts.Vector chunksOf
  * @tsplus location "@fncts/base/collection/immutable/Vector/api"
  */
-export declare function chunksOf(size: number): <A>(self: import("@fncts/base/collection/immutable/Vector/definition").Vector<A>) => import("@fncts/base/collection/immutable/Vector/definition").Vector<import("@fncts/base/collection/immutable/Vector/definition").Vector<A>>;
+export declare function chunksOf(size: number): <A>(self: Vector<A>) => Vector<Vector<A>>;
 /**
  * Concatenates two Vectors.
  * @complexity O(log(n))
@@ -72,14 +72,14 @@ export declare function contains<A>(element: A): (self: Vector<A>) => boolean;
  * @tsplus pipeable fncts.Vector drop
  * @tsplus location "@fncts/base/collection/immutable/Vector/api"
  */
-export declare function drop(n: number): <A>(self: import("@fncts/base/collection/immutable/Vector/definition").Vector<A>) => import("@fncts/base/collection/immutable/Vector/definition").Vector<A>;
+export declare function drop(n: number): <A>(self: Vector<A>) => Vector<A>;
 /**
  * Returns a new Vector without the last `n` elements.
  * @complexity `O(log(n))`
  * @tsplus pipeable fncts.Vector dropLast
  * @tsplus location "@fncts/base/collection/immutable/Vector/api"
  */
-export declare function dropLast(n: number): <A>(self: import("@fncts/base/collection/immutable/Vector/definition").Vector<A>) => import("@fncts/base/collection/immutable/Vector/definition").Vector<A>;
+export declare function dropLast(n: number): <A>(self: Vector<A>) => Vector<A>;
 /**
  * Returns a new Vector without repeated elements.
  * @complexity `O(n)`
@@ -264,7 +264,7 @@ export declare function forEachWithIndex<A>(f: (i: number, a: A) => void): (self
  * @tsplus pipeable fncts.Vector get
  * @tsplus location "@fncts/base/collection/immutable/Vector/api"
  */
-export declare function get(index: number): <A>(self: import("@fncts/base/collection/immutable/Vector/definition").Vector<A>) => import("../../../data/Maybe").Maybe<A>;
+export declare function get(index: number): <A>(self: Vector<A>) => Maybe<A>;
 /**
  * Returns a Vector of Vectors where each subvector's elements are pairwise
  * equal based on the given comparison function.
@@ -442,7 +442,7 @@ export declare function range(start: number, end: number): Vector<number>;
  * @tsplus pipeable fncts.Vector remove
  * @tsplus location "@fncts/base/collection/immutable/Vector/api"
  */
-export declare function remove(from: number, amount: number): <A>(self: import("@fncts/base/collection/immutable/Vector/definition").Vector<A>) => import("@fncts/base/collection/immutable/Vector/definition").Vector<A>;
+export declare function remove(from: number, amount: number): <A>(self: Vector<A>) => Vector<A>;
 /**
  * Returns a Vector of a given length that contains the specified value
  * in all positions.
@@ -478,7 +478,7 @@ export declare function single<A>(a: A): Vector<A>;
  * @tsplus pipeable fncts.Vector slice
  * @tsplus location "@fncts/base/collection/immutable/Vector/api"
  */
-export declare function slice(from: number, to: number): <A>(self: import("@fncts/base/collection/immutable/Vector/definition").Vector<A>) => import("@fncts/base/collection/immutable/Vector/definition").Vector<A>;
+export declare function slice(from: number, to: number): <A>(self: Vector<A>) => Vector<A>;
 /**
  * @tsplus pipeable fncts.Vector sort
  * @tsplus location "@fncts/base/collection/immutable/Vector/api"
@@ -504,7 +504,7 @@ export declare function sortWith<A>(compare: (a: A, b: A) => Ordering): (self: V
  * @tsplus pipeable fncts.Vector splitAt
  * @tsplus location "@fncts/base/collection/immutable/Vector/api"
  */
-export declare function splitAt(index: number): <A>(self: import("@fncts/base/collection/immutable/Vector/definition").Vector<A>) => [import("@fncts/base/collection/immutable/Vector/definition").Vector<A>, import("@fncts/base/collection/immutable/Vector/definition").Vector<A>];
+export declare function splitAt(index: number): <A>(self: Vector<A>) => [Vector<A>, Vector<A>];
 /**
  * Splits a Vector at the first element in the Vector for which the given
  * predicate returns `true`.
@@ -527,7 +527,7 @@ export declare function tail<A>(self: Vector<A>): Vector<A>;
  * @tsplus pipeable fncts.Vector take
  * @tsplus location "@fncts/base/collection/immutable/Vector/api"
  */
-export declare function take(n: number): <A>(self: import("@fncts/base/collection/immutable/Vector/definition").Vector<A>) => import("@fncts/base/collection/immutable/Vector/definition").Vector<A>;
+export declare function take(n: number): <A>(self: Vector<A>) => Vector<A>;
 /**
  * Takes the first elements in the Vector for which the predicate returns
  * `true`.
@@ -544,7 +544,7 @@ export declare function takeWhile<A>(predicate: Predicate<A>): (self: Vector<A>)
  * @tsplus pipeable fncts.Vector takeLast
  * @tsplus location "@fncts/base/collection/immutable/Vector/api"
  */
-export declare function takeLast(n: number): <A>(self: import("@fncts/base/collection/immutable/Vector/definition").Vector<A>) => import("@fncts/base/collection/immutable/Vector/definition").Vector<A>;
+export declare function takeLast(n: number): <A>(self: Vector<A>) => Vector<A>;
 /**
  * Takes the last elements in the Vector for which the predicate returns
  * `true`.
@@ -617,7 +617,7 @@ export declare function unsafeFindLast<A>(predicate: Predicate<A>): (self: Vecto
  * @tsplus pipeable-index fncts.Vector
  * @tsplus location "@fncts/base/collection/immutable/Vector/api"
  */
-export declare function unsafeGet(index: number): <A>(self: import("@fncts/base/collection/immutable/Vector/definition").Vector<A>) => A | undefined;
+export declare function unsafeGet(index: number): <A>(self: Vector<A>) => A | undefined;
 /**
  * Returns the first element of the Vector. If the Vector is empty the
  * function returns undefined.

package/collection/immutable/Vector.d.ts

@@ -1,2 +1,2 @@
-export * from "./Vector/api.js";
 export * from "./Vector/definition.js";
+export * from "./Vector/api.js";

package/collection/immutable.d.ts

@@ -1,11 +1,11 @@
-export type {} from "./immutable/Conc.js";
-export type {} from "./immutable/Dictionary.js";
-export type {} from "./immutable/HashMap.js";
-export type {} from "./immutable/HashSet.js";
-export type {} from "./immutable/ImmutableArray.js";
-export type {} from "./immutable/ImmutableNonEmptyArray.js";
-export type {} from "./immutable/List.js";
-export type {} from "./immutable/Queue.js";
-export type {} from "./immutable/RoseTree.js";
-export type {} from "./immutable/SortedMap.js";
 export type {} from "./immutable/Vector.js";
+export type {} from "./immutable/SortedMap.js";
+export type {} from "./immutable/RoseTree.js";
+export type {} from "./immutable/Queue.js";
+export type {} from "./immutable/List.js";
+export type {} from "./immutable/ImmutableNonEmptyArray.js";
+export type {} from "./immutable/ImmutableArray.js";
+export type {} from "./immutable/HashSet.js";
+export type {} from "./immutable/HashMap.js";
+export type {} from "./immutable/Dictionary.js";
+export type {} from "./immutable/Conc.js";

package/collection/mutable.d.ts

@@ -1,6 +1,6 @@
-export type {} from "./mutable/ArrayDeque.js";
-export type {} from "./mutable/HashMap.js";
-export type {} from "./mutable/HashSet.js";
 export type {} from "./mutable/internal.js";
-export type {} from "./mutable/ListBuffer.js";
 export type {} from "./mutable/Queue.js";
+export type {} from "./mutable/ListBuffer.js";
+export type {} from "./mutable/HashSet.js";
+export type {} from "./mutable/HashMap.js";
+export type {} from "./mutable/ArrayDeque.js";

package/collection/weak.d.ts

@@ -1,2 +1,2 @@
-export type {} from "./weak/IterableWeakMap.js";
 export type {} from "./weak/IterableWeakSet.js";
+export type {} from "./weak/IterableWeakMap.js";

package/collection.d.ts

@@ -1,5 +1,5 @@
-export type {} from "./collection/compat.js";
+export type {} from "./collection/weak.js";
+export type {} from "./collection/mutable.js";
 export type {} from "./collection/immutable.js";
+export type {} from "./collection/compat.js";
 export type {} from "./collection/Iterable.js";
-export type {} from "./collection/mutable.js";
-export type {} from "./collection/weak.js";

package/control/Eval/api.d.ts

@@ -30,12 +30,12 @@ export declare function zipWith<A, B, C>(fb: Eval<B>, f: (a: A, b: B) => C): (se
  * @tsplus pipeable fncts.control.Eval zip
  * @tsplus location "@fncts/base/control/Eval/api"
  */
-export declare function zip<B>(fb: Eval<B>): <A>(self: import("@fncts/base/control/Eval/definition").Eval<A>) => import("@fncts/base/control/Eval/definition").Eval<import("../../data/Zipped.js").Zipped.Make<A, B>>;
+export declare function zip<B>(fb: Eval<B>): <A>(self: Eval<A>) => Eval<Zipped.Make<A, B>>;
 /**
  * @tsplus pipeable fncts.control.Eval ap
  * @tsplus location "@fncts/base/control/Eval/api"
  */
-export declare function ap<A>(fa: Eval<A>): <B>(self: import("@fncts/base/control/Eval/definition").Eval<(a: A) => B>) => import("@fncts/base/control/Eval/definition").Eval<B>;
+export declare function ap<A>(fa: Eval<A>): <B>(self: import("@fncts/base/control/Eval/definition").Eval<(a: A) => B>) => Eval<B>;
 /**
  * @tsplus static fncts.control.EvalOps sequenceT
  * @tsplus location "@fncts/base/control/Eval/api"

package/control/Eval.d.ts

@@ -1,5 +1,5 @@
-export * from "./Eval/api.js";
-export * from "./Eval/constructors.js";
-export * from "./Eval/definition.js";
-export * from "./Eval/instance.js";
 export * from "./Eval/run.js";
+export * from "./Eval/instance.js";
+export * from "./Eval/definition.js";
+export * from "./Eval/constructors.js";
+export * from "./Eval/api.js";

package/control/Pure/api.d.ts

@@ -16,60 +16,60 @@ export declare function absolve<W, S1, S2, R, E, E1, A>(fa: Pure<W, S1, S2, R, E
  * @tsplus pipeable fncts.control.Pure ap
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function ap<W, S, A, R1, E1>(fb: Pure<W, S, S, R1, E1, A>): <R, E, B>(self: import("@fncts/base/control/Pure/definition").Pure<W, S, S, R, E, (a: A) => B>) => import("@fncts/base/control/Pure/definition").Pure<W, S, S, R & R1, E1 | E, B>;
+export declare function ap<W, S, A, R1, E1>(fb: Pure<W, S, S, R1, E1, A>): <R, E, B>(self: import("@fncts/base/control/Pure/definition").Pure<W, S, S, R, E, (a: A) => B>) => Pure<W, S, S, R & R1, E | E1, B>;
 /**
  * @tsplus pipeable fncts.control.Pure zipLeft
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function zipLeft<W, S, R1, E1, B>(fb: Pure<W, S, S, R1, E1, B>): <R, E, A>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S, S, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S, S, R & R1, E1 | E, A>;
+export declare function zipLeft<W, S, R1, E1, B>(fb: Pure<W, S, S, R1, E1, B>): <R, E, A>(fa: Pure<W, S, S, R, E, A>) => Pure<W, S, S, R & R1, E | E1, A>;
 /**
  * @tsplus pipeable fncts.control.Pure zipRight
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function zipRight<W, S, R1, E1, B>(fb: Pure<W, S, S, R1, E1, B>): <R, E, A>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S, S, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S, S, R & R1, E1 | E, B>;
+export declare function zipRight<W, S, R1, E1, B>(fb: Pure<W, S, S, R1, E1, B>): <R, E, A>(fa: Pure<W, S, S, R, E, A>) => Pure<W, S, S, R & R1, E | E1, B>;
 /**
  * @tsplus pipeable fncts.control.Pure bimap
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function bimap<E, A, G, B>(f: (e: E) => G, g: (a: A) => B): <W, S1, S2, R>(pab: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, G, B>;
+export declare function bimap<E, A, G, B>(f: (e: E) => G, g: (a: A) => B): <W, S1, S2, R>(pab: Pure<W, S1, S2, R, E, A>) => Pure<W, S1, S2, R, G, B>;
 /**
  * Recovers from all errors.
  * @tsplus pipeable fncts.control.Pure catchAll
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function catchAll<W, S1, E, S3, R1, E1, B>(onFailure: (e: E) => Pure<W, S1, S3, R1, E1, B>): <S2, R, A>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1, S3, R1 | R, E1, B | A>;
+export declare function catchAll<W, S1, E, S3, R1, E1, B>(onFailure: (e: E) => Pure<W, S1, S3, R1, E1, B>): <S2, R, A>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W, S1, S3, R | R1, E1, A | B>;
 /**
  * @tsplus pipeable fncts.control.Pure catchJust
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function catchJust<W, S1, E, S3, R1, E1, B>(f: (e: E) => Maybe<Pure<W, S1, S3, R1, E1, B>>): <S2, R, A>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1, S3 | S2, R1 | R, E | E1, B | A>;
+export declare function catchJust<W, S1, E, S3, R1, E1, B>(f: (e: E) => Maybe<Pure<W, S1, S3, R1, E1, B>>): <S2, R, A>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W, S1, S2 | S3, R | R1, E | E1, A | B>;
 /**
  * @tsplus pipeable fncts.control.Pure flatMap
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function flatMap<S2, A, W1, S3, R1, E1, B>(f: (a: A) => Pure<W1, S2, S3, R1, E1, B>): <W, S1, R, E>(ma: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W1 | W, S1, S3, R1 & R, E1 | E, B>;
+export declare function flatMap<S2, A, W1, S3, R1, E1, B>(f: (a: A) => Pure<W1, S2, S3, R1, E1, B>): <W, S1, R, E>(ma: Pure<W, S1, S2, R, E, A>) => Pure<W | W1, S1, S3, R1 & R, E1 | E, B>;
 /**
  * @tsplus pipeable fncts.control.Pure contramapEnvironment
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function contramapEnvironment<R0, R>(f: (r0: Environment<R0>) => Environment<R>): <W, S1, S2, E, A>(ma: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R0, E, A>;
+export declare function contramapEnvironment<R0, R>(f: (r0: Environment<R0>) => Environment<R>): <W, S1, S2, E, A>(ma: Pure<W, S1, S2, R, E, A>) => Pure<W, S1, S2, R0, E, A>;
 /**
  * Transforms the initial state of this computation` with the specified
  * function.
  * @tsplus pipeable fncts.control.Pure contramapState
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function contramapState<S0, S1>(f: (s: S0) => S1): <W, S2, R, E, A>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S0, S2, R, E, A>;
+export declare function contramapState<S0, S1>(f: (s: S0) => S1): <W, S2, R, E, A>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W, S0, S2, R, E, A>;
 /**
  * @tsplus pipeable fncts.control.Pure cross
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function cross<W, S, R1, E1, B>(fb: Pure<W, S, S, R1, E1, B>): <R, E, A>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S, S, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S, S, R & R1, E1 | E, readonly [A, B]>;
+export declare function cross<W, S, R1, E1, B>(fb: Pure<W, S, S, R1, E1, B>): <R, E, A>(fa: Pure<W, S, S, R, E, A>) => Pure<W, S, S, R & R1, E | E1, readonly [A, B]>;
 /**
  * @tsplus pipeable fncts.control.Pure crossWith
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function crossWith<W, S, A, R1, E1, B, C>(fb: Pure<W, S, S, R1, E1, B>, f: (a: A, b: B) => C): <R, E>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S, S, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S, S, R & R1, E1 | E, C>;
+export declare function crossWith<W, S, A, R1, E1, B, C>(fb: Pure<W, S, S, R1, E1, B>, f: (a: A, b: B) => C): <R, E>(fa: Pure<W, S, S, R, E, A>) => Pure<W, S, S, R & R1, E | E1, C>;
 /**
  * @tsplus static fncts.control.PureOps defer
  * @tsplus location "@fncts/base/control/Pure/api"
@@ -164,29 +164,29 @@ export declare function listen<W, S1, S2, R, E, A>(wa: Pure<W, S1, S2, R, E, A>)
  * @tsplus pipeable fncts.control.Pure listens
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function listens<W, B>(f: (log: Conc<W>) => B): <S1, S2, R, E, A>(wa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, readonly [A, B]>;
+export declare function listens<W, B>(f: (log: Conc<W>) => B): <S1, S2, R, E, A>(wa: Pure<W, S1, S2, R, E, A>) => Pure<W, S1, S2, R, E, readonly [A, B]>;
 /**
  * @tsplus pipeable fncts.control.Pure map
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function map<A, B>(f: (a: A) => B): <W, S1, S2, R, E>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, B>;
+export declare function map<A, B>(f: (a: A) => B): <W, S1, S2, R, E>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W, S1, S2, R, E, B>;
 /**
  * @tsplus pipeable fncts.control.Pure mapError
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function mapError<E, G>(f: (e: E) => G): <W, S1, S2, R, A>(pab: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, G, A>;
+export declare function mapError<E, G>(f: (e: E) => G): <W, S1, S2, R, A>(pab: Pure<W, S1, S2, R, E, A>) => Pure<W, S1, S2, R, G, A>;
 /**
  * Modifies the current log with the specified function
  * @tsplus pipeable fncts.control.Pure mapLog
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function mapLog<W, W1>(f: (ws: Conc<W>) => Conc<W1>): <S1, S2, R, E, A>(wa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W1, S1, S2, R, E, A>;
+export declare function mapLog<W, W1>(f: (ws: Conc<W>) => Conc<W1>): <S1, S2, R, E, A>(wa: Pure<W, S1, S2, R, E, A>) => Pure<W1, S1, S2, R, E, A>;
 /**
  * Modifies the current state with the specified function
  * @tsplus pipeable fncts.control.Pure mapState
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function mapState<S2, S3>(f: (s: S2) => S3): <W, S1, R, E, A>(ma: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1, S3, R, E, A>;
+export declare function mapState<S2, S3>(f: (s: S2) => S3): <W, S1, R, E, A>(ma: Pure<W, S1, S2, R, E, A>) => Pure<W, S1, S3, R, E, A>;
 /**
  * Folds over the failed or successful results of this computation to yield
  * a computation that does not fail, but succeeds with the value of the left
@@ -194,24 +194,24 @@ export declare function mapState<S2, S3>(f: (s: S2) => S3): <W, S1, R, E, A>(ma:
  * @tsplus pipeable fncts.control.Pure match
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function match<E, A, B, C>(onFailure: (e: E) => B, onSuccess: (a: A) => C): <W, S1, S2, R>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, never, B | C>;
+export declare function match<E, A, B, C>(onFailure: (e: E) => B, onSuccess: (a: A) => C): <W, S1, S2, R>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W, S1, S2, R, never, B | C>;
 /**
  * Recovers from errors by accepting one computation to execute for the case
  * of an error, and one computation to execute for the case of success.
  * @tsplus pipeable fncts.control.Pure matchPure
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function matchPure<S5, S2, E, A, W1, S3, R1, E1, B, W2, S4, R2, E2, C>(onFailure: (e: E) => Pure<W1, S5, S3, R1, E1, B>, onSuccess: (a: A) => Pure<W2, S2, S4, R2, E2, C>): <W, S1, R>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W1 | W2 | W, S1 & S5, S3 | S4, R1 | R2 | R, E1 | E2, B | C>;
+export declare function matchPure<S5, S2, E, A, W1, S3, R1, E1, B, W2, S4, R2, E2, C>(onFailure: (e: E) => Pure<W1, S5, S3, R1, E1, B>, onSuccess: (a: A) => Pure<W2, S2, S4, R2, E2, C>): <W, S1, R>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W | W1 | W2, S1 & S5, S3 | S4, R | R1 | R2, E1 | E2, B | C>;
 /**
  * @tsplus pipeable fncts.control.Pure matchCausePure
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function matchCausePure<S2, E, A, W1, S0, S3, R1, E1, B, W2, S4, R2, E2, C>(onFailure: (e: Cause<E>) => Pure<W1, S0, S3, R1, E1, B>, onSuccess: (a: A) => Pure<W2, S2, S4, R2, E2, C>): <W, S1, R>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W1 | W2 | W, S0 & S1, S3 | S4, R1 | R2 | R, E1 | E2, B | C>;
+export declare function matchCausePure<S2, E, A, W1, S0, S3, R1, E1, B, W2, S4, R2, E2, C>(onFailure: (e: Cause<E>) => Pure<W1, S0, S3, R1, E1, B>, onSuccess: (a: A) => Pure<W2, S2, S4, R2, E2, C>): <W, S1, R>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W | W1 | W2, S0 & S1, S3 | S4, R | R1 | R2, E1 | E2, B | C>;
 /**
  * @tsplus pipeable fncts.control.Pure matchLogPure
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function matchLogPure<W, S5, S2, E, A, W1, S3, R1, E1, B, W2, S4, R2, E2, C>(onFailure: (ws: Conc<W>, e: E) => Pure<W1, S5, S3, R1, E1, B>, onSuccess: (ws: Conc<W>, a: A) => Pure<W2, S2, S4, R2, E2, C>): <S1, R>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W | W1 | W2, S1 & S5, S3 | S4, R1 | R2 | R, E1 | E2, B | C>;
+export declare function matchLogPure<W, S5, S2, E, A, W1, S3, R1, E1, B, W2, S4, R2, E2, C>(onFailure: (ws: Conc<W>, e: E) => Pure<W1, S5, S3, R1, E1, B>, onSuccess: (ws: Conc<W>, a: A) => Pure<W2, S2, S4, R2, E2, C>): <S1, R>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W | W1 | W2, S1 & S5, S3 | S4, R | R1 | R2, E1 | E2, B | C>;
 /**
  * Recovers from errors by accepting one computation to execute for the case
  * of an error, and one computation to execute for the case of success. More powerful
@@ -221,7 +221,7 @@ export declare function matchLogPure<W, S5, S2, E, A, W1, S3, R1, E1, B, W2, S4,
  * @tsplus pipeable fncts.control.Pure matchLogCausePure
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function matchLogCausePure<W, S2, E, A, W1, S0, S3, R1, E1, B, W2, S4, R2, E2, C>(onFailure: (ws: Conc<W>, e: Cause<E>) => Pure<W1, S0, S3, R1, E1, B>, onSuccess: (ws: Conc<W>, a: A) => Pure<W2, S2, S4, R2, E2, C>): <S1, R>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W1 | W2, S0 & S1, S3 | S4, R & R1 & R2, E1 | E2, B | C>;
+export declare function matchLogCausePure<W, S2, E, A, W1, S0, S3, R1, E1, B, W2, S4, R2, E2, C>(onFailure: (ws: Conc<W>, e: Cause<E>) => Pure<W1, S0, S3, R1, E1, B>, onSuccess: (ws: Conc<W>, a: A) => Pure<W2, S2, S4, R2, E2, C>): <S1, R>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W1 | W2, S0 & S1, S3 | S4, R & R1 & R2, E1 | E2, B | C>;
 /**
  * Constructs a computation from the specified modify function
  * @tsplus static fncts.control.PureOps modify
@@ -238,19 +238,19 @@ export declare function modifyEither<S1, S2, E, A>(f: (s: S1) => Either<E, reado
  * @tsplus pipeable fncts.control.Pure orElse
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function orElse<S1, W1, S3, R1, E1, A1>(fb: Lazy<Pure<W1, S1, S3, R1, E1, A1>>): <W, S2, R, E, A>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W1 | W, S1, S3 | S2, R1 | R, E1 | E, A1 | A>;
+export declare function orElse<S1, W1, S3, R1, E1, A1>(fb: Lazy<Pure<W1, S1, S3, R1, E1, A1>>): <W, S2, R, E, A>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W | W1, S1, S2 | S3, R | R1, E | E1, A | A1>;
 /**
  * Executes this computation and returns its value, if it succeeds, but
  * otherwise executes the specified computation.
  * @tsplus pipeable fncts.control.Pure orElseEither
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function orElseEither<W, S3, S4, R1, E1, A1>(that: Lazy<Pure<W, S3, S4, R1, E1, A1>>): <S1, S2, R, E, A>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1 & S3, S4 | S2, R1 | R, E1, import("../../data/Either.js").Either<A, A1>>;
+export declare function orElseEither<W, S3, S4, R1, E1, A1>(that: Lazy<Pure<W, S3, S4, R1, E1, A1>>): <S1, S2, R, E, A>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W, S1 & S3, S2 | S4, R | R1, E1, Either<A, A1>>;
 /**
  * @tsplus pipeable fncts.control.Pure provideEnvironment
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function provideEnvironment<R>(r: Environment<R>): <W, S1, S2, E, A>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, never, E, A>;
+export declare function provideEnvironment<R>(r: Environment<R>): <W, S1, S2, E, A>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W, S1, S2, never, E, A>;
 /**
  * Constructs a computation that sets the state to the specified value.
  * @tsplus static fncts.control.PureOps put
@@ -263,14 +263,14 @@ export declare function put<S>(s: S): Pure<never, unknown, S, never, never, void
  * @tsplus pipeable fncts.control.Pure repeatN
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function repeatN(n: number): <W, S1, S2 extends S1, R, E, A>(ma: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>;
+export declare function repeatN(n: number): <W, S1, S2 extends S1, R, E, A>(ma: Pure<W, S1, S2, R, E, A>) => Pure<W, S1, S2, R, E, A>;
 /**
  * Repeats this computation until its value satisfies the specified predicate
  * (or until the first failure) passing the updated state to each successive repetition.
  * @tsplus pipeable fncts.control.Pure repeatUntil
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function repeatUntil<A>(p: Predicate<A>): <W, S1, S2 extends S1, R, E>(ma: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>;
+export declare function repeatUntil<A>(p: Predicate<A>): <W, S1, S2 extends S1, R, E>(ma: Pure<W, S1, S2, R, E, A>) => Pure<W, S1, S2, R, E, A>;
 /**
  * @tsplus static fncts.control.PureOps succeed
  * @tsplus location "@fncts/base/control/Pure/api"
@@ -285,7 +285,7 @@ export declare function succeedNow<A, W = never, S1 = unknown, S2 = never>(a: A,
  * @tsplus pipeable fncts.control.Pure tap
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function tap<S2, A, W1, S3, R1, E1, B>(f: (a: A) => Pure<W1, S2, S3, R1, E1, B>): <W, S1, R, E>(ma: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W1 | W, S1, S3, R1 & R, E1 | E, A>;
+export declare function tap<S2, A, W1, S3, R1, E1, B>(f: (a: A) => Pure<W1, S2, S3, R1, E1, B>): <W, S1, R, E>(ma: Pure<W, S1, S2, R, E, A>) => Pure<W | W1, S1, S3, R1 & R, E1 | E, A>;
 /**
  * @tsplus static fncts.control.PureOps tell
  * @tsplus location "@fncts/base/control/Pure/api"
@@ -301,7 +301,7 @@ export declare function tellAll<W>(ws: Conc<W>): Pure<W, unknown, never, never,
  * @tsplus pipeable fncts.control.Pure transform
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function transform<S2, A, S3, B>(f: (s: S2, a: A) => readonly [B, S3]): <W, S1, R, E>(ma: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W, S1, S3, R, E, B>;
+export declare function transform<S2, A, S3, B>(f: (s: S2, a: A) => readonly [B, S3]): <W, S1, R, E>(ma: Pure<W, S1, S2, R, E, A>) => Pure<W, S1, S3, R, E, B>;
 /**
  * @tsplus static fncts.control.PureOps unit
  * @tsplus location "@fncts/base/control/Pure/api"
@@ -317,29 +317,29 @@ export declare function update<S1, S2>(f: (s: S1) => S2): Pure<never, S1, S2, ne
  * @tsplus pipeable fncts.control.Pure write
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function write<W1>(w: W1): <W, S1, S2, R, E, A>(ma: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W1 | W, S1, S2, R, E, A>;
+export declare function write<W1>(w: W1): <W, S1, S2, R, E, A>(ma: Pure<W, S1, S2, R, E, A>) => Pure<W | W1, S1, S2, R, E, A>;
 /**
  * @tsplus pipeable fncts.control.Pure writeAll
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function writeAll<W1>(log: Conc<W1>): <W, S1, S2, R, E, A>(ma: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W1 | W, S1, S2, R, E, A>;
+export declare function writeAll<W1>(log: Conc<W1>): <W, S1, S2, R, E, A>(ma: Pure<W, S1, S2, R, E, A>) => Pure<W | W1, S1, S2, R, E, A>;
 /**
  * @tsplus pipeable fncts.control.Pure zip
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function zip<S2, W1, S3, Q, D, B>(fb: Pure<W1, S2, S3, Q, D, B>): <W, S1, R, E, A>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W1 | W, S1, S3, Q & R, D | E, import("../../data/Zipped.js").Zipped.Make<A, B>>;
+export declare function zip<S2, W1, S3, Q, D, B>(fb: Pure<W1, S2, S3, Q, D, B>): <W, S1, R, E, A>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W | W1, S1, S3, Q & R, D | E, Zipped.Make<A, B>>;
 /**
  * @tsplus pipeable fncts.control.Pure zipFirst
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function zipFirst<S2, W1, S3, Q, D, B>(fb: Pure<W1, S2, S3, Q, D, B>): <W, S1, R, E, A>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W1 | W, S1, S3, Q & R, D | E, A>;
+export declare function zipFirst<S2, W1, S3, Q, D, B>(fb: Pure<W1, S2, S3, Q, D, B>): <W, S1, R, E, A>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W | W1, S1, S3, Q & R, D | E, A>;
 /**
  * @tsplus pipeable fncts.control.Pure zipSecond
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function zipSecond<S2, W1, S3, Q, D, B>(fb: Pure<W1, S2, S3, Q, D, B>): <W, S1, R, E, A>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W1 | W, S1, S3, Q & R, D | E, B>;
+export declare function zipSecond<S2, W1, S3, Q, D, B>(fb: Pure<W1, S2, S3, Q, D, B>): <W, S1, R, E, A>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W | W1, S1, S3, Q & R, D | E, B>;
 /**
  * @tsplus pipeable fncts.control.Pure zipWith
  * @tsplus location "@fncts/base/control/Pure/api"
  */
-export declare function zipWith<S2, A, W1, S3, R1, E1, B, C>(fb: Pure<W1, S2, S3, R1, E1, B>, f: (a: A, b: B) => C): <W, S1, R, E>(fa: import("@fncts/base/control/Pure/definition").Pure<W, S1, S2, R, E, A>) => import("@fncts/base/control/Pure/definition").Pure<W1 | W, S1, S3, R1 & R, E1 | E, C>;
+export declare function zipWith<S2, A, W1, S3, R1, E1, B, C>(fb: Pure<W1, S2, S3, R1, E1, B>, f: (a: A, b: B) => C): <W, S1, R, E>(fa: Pure<W, S1, S2, R, E, A>) => Pure<W | W1, S1, S3, R1 & R, E1 | E, C>;

package/control/Pure/runtime.d.ts

@@ -9,14 +9,14 @@ import { Cause } from "@fncts/base/data/Cause/definition";
  * @tsplus pipeable fncts.control.Pure unsafeRunAll
  * @tsplus location "@fncts/base/control/Pure/runtime"
  */
-export declare function unsafeRunAll<S1>(s: S1): <W, S2, E, A>(ma: import("./definition.js").Pure<W, S1, S2, never, E, A>) => readonly [import("../../collection/immutable/Conc.js").Conc<W>, import("../../data/Exit.js").Exit<E, readonly [S2, A]>];
+export declare function unsafeRunAll<S1>(s: S1): <W, S2, E, A>(ma: Pure<W, S1, S2, never, E, A>) => readonly [Conc<W>, Exit<E, readonly [S2, A]>];
 /**
  * Runs this computation with the specified initial state, returning both
  * the updated state and the result.
  * @tsplus pipeable fncts.control.Pure unsafeRun
  * @tsplus location "@fncts/base/control/Pure/runtime"
  */
-export declare function unsafeRun<S1>(s: S1): <W, S2, A>(ma: import("./definition.js").Pure<W, S1, S2, never, never, A>) => readonly [S2, A];
+export declare function unsafeRun<S1>(s: S1): <W, S2, A>(ma: Pure<W, S1, S2, never, never, A>) => readonly [S2, A];
 /**
  * Runs this computation, returning the result.
  * @tsplus getter fncts.control.Pure unsafeRunResult
@@ -28,21 +28,21 @@ export declare function unsafeRunResult<W, A>(ma: Pure<W, unknown, unknown, neve
  * @tsplus pipeable fncts.control.Pure unsafeRunReader
  * @tsplus location "@fncts/base/control/Pure/runtime"
  */
-export declare function unsafeRunReader<R>(r: Environment<R>): <W, A>(ma: import("./definition.js").Pure<W, unknown, never, R, never, A>) => A;
+export declare function unsafeRunReader<R>(r: Environment<R>): <W, A>(ma: Pure<W, unknown, never, R, never, A>) => A;
 /**
  * Runs this computation with the specified initial state, returning the
  * updated state and discarding the result.
  * @tsplus pipeable fncts.control.Pure unsafeRunState
  * @tsplus location "@fncts/base/control/Pure/runtime"
  */
-export declare function unsafeRunState<S1>(s: S1): <W, S2, A>(ma: import("./definition.js").Pure<W, S1, S2, never, never, A>) => S2;
+export declare function unsafeRunState<S1>(s: S1): <W, S2, A>(ma: Pure<W, S1, S2, never, never, A>) => S2;
 /**
  * Runs this computation with the specified initial state, returning the
  * result and discarding the updated state.
  * @tsplus pipeable fncts.control.Pure unsafeRunStateResult
  * @tsplus location "@fncts/base/control/Pure/runtime"
  */
-export declare function unsafeRunStateResult<S1>(s: S1): <W, S2, A>(ma: import("./definition.js").Pure<W, S1, S2, never, never, A>) => A;
+export declare function unsafeRunStateResult<S1>(s: S1): <W, S2, A>(ma: Pure<W, S1, S2, never, never, A>) => A;
 /**
  * Runs this computation returning either the result or error
  * @tsplus getter fncts.control.Pure unsafeRunExit

package/control/Pure.d.ts

@@ -1,4 +1,4 @@
-export * from "./Pure/api.js";
-export * from "./Pure/definition.js";
-export * from "./Pure/instances.js";
 export * from "./Pure/runtime.js";
+export * from "./Pure/instances.js";
+export * from "./Pure/definition.js";
+export * from "./Pure/api.js";

package/control.d.ts

@@ -1,4 +1,5 @@
-export type {} from "./control/CompletablePromise.js";
-export type {} from "./control/Eval.js";
-export type {} from "./control/LazyValue.js";
 export type {} from "./control/Pure.js";
+export type {} from "./control/LazyValue.js";
+export type {} from "./control/InterruptiblePromise.js";
+export type {} from "./control/Eval.js";
+export type {} from "./control/CompletablePromise.js";

package/data/Cause/api.d.ts

@@ -101,7 +101,7 @@ export declare function failureMaybe<E>(self: Cause<E>): Maybe<E>;
  * @tsplus pipeable fncts.Cause filterDefects
  * @tsplus location "@fncts/base/data/Cause/api"
  */
-export declare function filterDefects(p: Predicate<unknown>): <E>(self: Cause<E>) => import("../Maybe.js").Maybe<Cause<E>>;
+export declare function filterDefects(p: Predicate<unknown>): <E>(self: Cause<E>) => Maybe<Cause<E>>;
 /**
  * Finds the first result matching `f`
  * @tsplus pipeable fncts.Cause find
@@ -274,7 +274,7 @@ export declare function stripFailures<A>(self: Cause<A>): Cause<never>;
  * @tsplus pipeable fncts.Cause stripSomeDefects
  * @tsplus location "@fncts/base/data/Cause/api"
  */
-export declare function stripSomeDefects(p: Predicate<unknown>): <E>(self: Cause<E>) => import("../Maybe.js").Maybe<Cause<E>>;
+export declare function stripSomeDefects(p: Predicate<unknown>): <E>(self: Cause<E>) => Maybe<Cause<E>>;
 /**
  * Converts the specified `Cause<Either<E, A>>` to an `Either<Cause<E>, A>`.
  * @tsplus getter fncts.Cause sequenceCauseEither
@@ -299,6 +299,7 @@ export declare function squashWith<E>(f: (e: E) => unknown): (self: Cause<E>) =>
  * @note If one of the `Cause`s is `Empty`, the non-empty `Cause` is returned
  * @tsplus static fncts.CauseOps sequential
  * @tsplus static fncts.Cause.SequentialOps __call
+ * @tsplus operator fncts.Cause +
  * @tsplus location "@fncts/base/data/Cause/api"
  */
 export declare function sequential<E, E1>(left: Cause<E>, right: Cause<E1>): Cause<E | E1>;

package/data/Cause.d.ts

@@ -1,7 +1,7 @@
-export * from "./Cause/api.js";
 export * from "./Cause/definition.js";
-export * from "./Cause/api/fold.js";
-export * from "./Cause/api/isEmpty.js";
-export * from "./Cause/api/linearize.js";
-export * from "./Cause/api/prettyPrint.js";
+export * from "./Cause/api.js";
 export * from "./Cause/api/unified.js";
+export * from "./Cause/api/prettyPrint.js";
+export * from "./Cause/api/linearize.js";
+export * from "./Cause/api/isEmpty.js";
+export * from "./Cause/api/fold.js";