@fncts/base 0.0.36 → 0.0.38

package/data/Identity/api.d.ts

@@ -4,7 +4,7 @@ import { Zipped } from "@fncts/base/data/Zipped";
  * @tsplus pipeable fncts.Identity ap
  * @tsplus location "@fncts/base/data/Identity/api"
  */
-export declare function ap<A>(fa: Identity<A>): <B>(fab: import("./definition").Identity<(a: A) => B>) => Identity<B>;
+export declare function ap<A>(fa: Identity<A>): <B>(fab: Identity<(a: A) => B>) => Identity<B>;
 /**
  * @tsplus pipeable fncts.Identity map
  * @tsplus location "@fncts/base/data/Identity/api"

package/data/Identity.d.ts

@@ -1,3 +1,3 @@
-export * from "./Identity/instances.js";
-export * from "./Identity/definition.js";
 export * from "./Identity/api.js";
+export * from "./Identity/definition.js";
+export * from "./Identity/instances.js";

package/data/Maybe/api.d.ts

@@ -10,7 +10,7 @@ import type { Nullable } from "@fncts/base/types";
  * @tsplus pipeable fncts.Maybe ap
  * @tsplus location "@fncts/base/data/Maybe/api"
  */
-export declare function ap<A>(fa: Maybe<A>): <B>(self: import("./definition.js").Maybe<(a: A) => B>) => Maybe<B>;
+export declare function ap<A>(fa: Maybe<A>): <B>(self: Maybe<(a: A) => B>) => Maybe<B>;
 /**
  * Applies `f` to the value contained in `Maybe` if it is `Just` and returns the result,
  * otherwise returns `Nothing`.

package/data/Maybe.d.ts

@@ -1,5 +1,5 @@
-export * from "./Maybe/instances.js";
-export * from "./Maybe/destructors.js";
-export * from "./Maybe/definition.js";
-export * from "./Maybe/constructors.js";
 export * from "./Maybe/api.js";
+export * from "./Maybe/constructors.js";
+export * from "./Maybe/definition.js";
+export * from "./Maybe/destructors.js";
+export * from "./Maybe/instances.js";

package/data/Ord/api.d.ts

@@ -11,6 +11,6 @@ export declare function all<A>(collection: Iterable<Ord<A>>): Ord<ReadonlyArray<
 export declare function tuple<T extends ReadonlyArray<Ord<any>>>(...elements: T): Ord<Readonly<{
     [I in keyof T]: [T[I]] extends [Ord<infer A>] ? A : never;
 }>>;
-export * from "./api/min.js";
-export * from "./api/max.js";
 export * from "./api/contramap.js";
+export * from "./api/max.js";
+export * from "./api/min.js";

package/data/Ord.d.ts

@@ -1,3 +1,3 @@
-export * from "./Ord/instances.js";
-export * from "./Ord/definition.js";
 export * from "./Ord/api.js";
+export * from "./Ord/definition.js";
+export * from "./Ord/instances.js";

package/data/Predicate/api.d.ts

@@ -1,5 +1,6 @@
 import { Predicate } from "@fncts/base/data/Predicate/definition";
 /**
+ * @tsplus pipeable fncts.Predicate and
  * @tsplus pipeable-operator fncts.Predicate &&
  * @tsplus location "@fncts/base/data/Predicate/api"
  */

package/data/Predicate/match.d.ts

@@ -0,0 +1 @@
+export {};

package/data/Predicate.d.ts

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

package/data/Refinement.d.ts

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

package/data/Struct/api.d.ts

@@ -17,7 +17,7 @@ export declare function makeStruct<A>(a: A): Struct<A>;
  * @tsplus pipeable fncts.Struct set
  * @tsplus location "@fncts/base/data/Struct/api"
  */
-export declare function set<N extends string, B>(key: EnsureLiteral<N>, value: B): <A>(self: Struct<A>) => Struct<{ [P in N | Exclude<keyof A, N>]: P extends Exclude<keyof A, N> ? A[P] : B; }>;
+export declare function set<N extends string, B>(key: EnsureLiteral<N>, value: B): <A>(self: Struct<A>) => Struct<{ [P in Exclude<keyof A, N> | N]: P extends Exclude<keyof A, N> ? A[P] : B; }>;
 /**
  * @tsplus pipeable fncts.Struct hmap
  * @tsplus location "@fncts/base/data/Struct/api"
@@ -29,7 +29,7 @@ export declare function hmap<A extends {}, F extends {
  * @tsplus pipeable fncts.Struct modify
  * @tsplus location "@fncts/base/data/Struct/api"
  */
-export declare function modify<A, N extends keyof A, B>(key: N, f: (a: A[N]) => B): (self: Struct<A>) => Struct<{ readonly [P in N | Exclude<keyof A, N>]: P extends Exclude<keyof A, N> ? A[P] : B; }>;
+export declare function modify<A, N extends keyof A, B>(key: N, f: (a: A[N]) => B): (self: Struct<A>) => Struct<{ readonly [P in Exclude<keyof A, N> | N]: P extends Exclude<keyof A, N> ? A[P] : B; }>;
 /**
  * @tsplus pipeable fncts.Struct pick
  * @tsplus location "@fncts/base/data/Struct/api"

package/data/Struct.d.ts

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

package/data/Tag.d.ts

@@ -1,2 +1,2 @@
-export * from "./Tag/definition.js";
 export * from "./Tag/constructors.js";
+export * from "./Tag/definition.js";

package/data/These/api.d.ts

@@ -46,7 +46,7 @@ export declare function zip<E, B>(that: These<E, B>, /** @tsplus auto */ S: P.Se
  * @tsplus pipeable fncts.These ap
  * @tsplus location "@fncts/base/data/These/api"
  */
-export declare function ap<E, A>(that: These<E, A>, /** @tsplus auto */ S: P.Semigroup<E>): <B>(self: import("@fncts/base/data/These/definition").These<E, (a: A) => B>) => These<E, B>;
+export declare function ap<E, A>(that: These<E, A>, /** @tsplus auto */ S: P.Semigroup<E>): <B>(self: These<E, (a: A) => B>) => These<E, B>;
 /**
  * @tsplus pipeable fncts.These flatMap
  * @tsplus location "@fncts/base/data/These/api"

package/data/These.d.ts

@@ -1,5 +1,5 @@
-export * from "./These/instances.js";
-export * from "./These/destructors.js";
-export * from "./These/definition.js";
-export * from "./These/constructors.js";
 export * from "./These/api.js";
+export * from "./These/constructors.js";
+export * from "./These/definition.js";
+export * from "./These/destructors.js";
+export * from "./These/instances.js";

package/data/Trace.d.ts

@@ -1,3 +1,3 @@
-export * from "./Trace/definition.js";
-export * from "./Trace/constructors.js";
 export * from "./Trace/api.js";
+export * from "./Trace/constructors.js";
+export * from "./Trace/definition.js";

package/data/bigint.d.ts

@@ -1,2 +1,2 @@
-export * from "./bigint/instances.js";
 export * from "./bigint/definition.js";
+export * from "./bigint/instances.js";

package/data/boolean.d.ts

@@ -1,2 +1,2 @@
-export * from "./boolean/instances.js";
 export * from "./boolean/definition.js";
+export * from "./boolean/instances.js";

package/data/exceptions.d.ts

@@ -1,9 +1,9 @@
-export * from "./exceptions/RuntimeError.js";
-export * from "./exceptions/NoSuchElementError.js";
-export * from "./exceptions/InvalidCapacityError.js";
-export * from "./exceptions/InterruptedException.js";
-export * from "./exceptions/IndexOutOfBoundsError.js";
-export * from "./exceptions/IllegalStateError.js";
+export * from "./exceptions/ArrayIndexOutOfBoundsError.js";
 export * from "./exceptions/IllegalArgumentError.js";
+export * from "./exceptions/IllegalStateError.js";
+export * from "./exceptions/IndexOutOfBoundsError.js";
+export * from "./exceptions/InterruptedException.js";
+export * from "./exceptions/InvalidCapacityError.js";
 export * from "./exceptions/IOError.js";
-export * from "./exceptions/ArrayIndexOutOfBoundsError.js";
+export * from "./exceptions/NoSuchElementError.js";
+export * from "./exceptions/RuntimeError.js";

package/data/function/api.d.ts

@@ -2,7 +2,7 @@
  * @tsplus pipeable fncts.Function compose
  * @tsplus location "@fncts/base/data/function/api"
  */
-export declare function compose<B, C>(g: (b: B) => C): <A extends readonly any[]>(f: (...params: A) => B) => (...params: A) => C;
+export declare function compose<B, C>(g: (b: B) => C): <A extends ReadonlyArray<any>>(f: (...params: A) => B) => ((...params: A) => C);
 /**
  * @tsplus static fncts.FunctionOps constVoid
  * @tsplus location "@fncts/base/data/function/api"

package/data/function.d.ts

@@ -1,3 +1,3 @@
-export * from "./function/pipe.js";
-export * from "./function/definition.js";
 export * from "./function/api.js";
+export * from "./function/definition.js";
+export * from "./function/pipe.js";

package/data/number.d.ts

@@ -1,3 +1,3 @@
-export * from "./number/instances.js";
-export * from "./number/definition.js";
 export * from "./number/api.js";
+export * from "./number/definition.js";
+export * from "./number/instances.js";

package/data/object.d.ts

@@ -1,2 +1,2 @@
-export * from "./object/instances.js";
 export * from "./object/definition.js";
+export * from "./object/instances.js";

package/data/string.d.ts

@@ -1,3 +1,3 @@
-export * from "./string/instances.js";
-export * from "./string/definition.js";
 export * from "./string/api.js";
+export * from "./string/definition.js";
+export * from "./string/instances.js";

package/data.d.ts

@@ -33,11 +33,8 @@ export type {} from "./data/Equatable.js";
 export type {} from "./data/Eq.js";
 export type {} from "./data/EnvironmentPatch.js";
 export type {} from "./data/Environment.js";
-export type {} from "./data/Encoder.js";
 export type {} from "./data/Either.js";
 export type {} from "./data/Duration.js";
-export type {} from "./data/Decoder.js";
-export type {} from "./data/DecodeError.js";
 export type {} from "./data/DatumEither.js";
 export type {} from "./data/Date.js";
 export type {} from "./data/Data.js";

package/optics/At.d.ts

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

package/optics/Index.d.ts

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

package/optics/Iso.d.ts

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

package/optics/Lens.d.ts

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

package/optics/Optional.d.ts

@@ -1,4 +1,4 @@
-export * from "./Optional/definition.js";
 export * from "./Optional/api.js";
-export * from "./Optional/api/focus.js";
+export * from "./Optional/definition.js";
 export * from "./Optional/api/compose.js";
+export * from "./Optional/api/focus.js";

package/optics/Prism.d.ts

@@ -1,5 +1,5 @@
 export * from "./Prism/definition.js";
-export * from "./Prism/api/just.js";
-export * from "./Prism/api/fromNullable.js";
-export * from "./Prism/api/focus.js";
 export * from "./Prism/api/compose.js";
+export * from "./Prism/api/focus.js";
+export * from "./Prism/api/fromNullable.js";
+export * from "./Prism/api/just.js";

package/optics/Traversal.d.ts

@@ -1,4 +1,4 @@
 export * from "./Traversal/definition.js";
-export * from "./Traversal/api/fromTraversable.js";
-export * from "./Traversal/api/focus.js";
 export * from "./Traversal/api/compose.js";
+export * from "./Traversal/api/focus.js";
+export * from "./Traversal/api/fromTraversable.js";

package/package.json

@@ -1,9 +1,9 @@
 {
   "name": "@fncts/base",
-  "version": "0.0.36",
+  "version": "0.0.38",
   "dependencies": {
-    "@fncts/typelevel": "0.0.18",
-    "uuid": "^9.0.1"
+    "@fncts/typelevel": "0.0.19",
+    "uuid": "^10.0.0"
   },
   "exports": {
     "./*": {

package/typeclass/Semigroup.d.ts

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

package/typeclass.d.ts

@@ -1,32 +1,32 @@
+export * from "./typeclass/Align.js";
+export * from "./typeclass/Alt.js";
+export * from "./typeclass/Alternative.js";
+export * from "./typeclass/Applicative.js";
+export * from "./typeclass/ApplicativeExcept.js";
+export * from "./typeclass/Apply.js";
 export * from "./typeclass/builtin.js";
-export * from "./typeclass/WitherableWithIndex.js";
-export * from "./typeclass/Witherable.js";
-export * from "./typeclass/TraversableWithIndex.js";
-export * from "./typeclass/Traversable.js";
-export * from "./typeclass/Semimonoidal.js";
-export * from "./typeclass/Semigroup.js";
-export * from "./typeclass/Semialign.js";
-export * from "./typeclass/Pointed.js";
-export * from "./typeclass/Nil.js";
-export * from "./typeclass/Monoid.js";
-export * from "./typeclass/MonadExcept.js";
-export * from "./typeclass/Monad.js";
-export * from "./typeclass/Has.js";
-export * from "./typeclass/FunctorWithIndex.js";
-export * from "./typeclass/Functor.js";
-export * from "./typeclass/FoldableWithIndex.js";
-export * from "./typeclass/Foldable.js";
-export * from "./typeclass/FilterableWithIndex.js";
-export * from "./typeclass/Filterable.js";
-export * from "./typeclass/Fail.js";
-export * from "./typeclass/Closure.js";
 export * from "./typeclass/Chain.js";
-export * from "./typeclass/Apply.js";
-export * from "./typeclass/ApplicativeExcept.js";
-export * from "./typeclass/Applicative.js";
-export * from "./typeclass/Alternative.js";
-export * from "./typeclass/Alt.js";
-export * from "./typeclass/Align.js";
+export * from "./typeclass/Closure.js";
+export * from "./typeclass/Fail.js";
+export * from "./typeclass/Filterable.js";
+export * from "./typeclass/FilterableWithIndex.js";
+export * from "./typeclass/Foldable.js";
+export * from "./typeclass/FoldableWithIndex.js";
+export * from "./typeclass/Functor.js";
+export * from "./typeclass/FunctorWithIndex.js";
+export * from "./typeclass/Has.js";
+export * from "./typeclass/Monad.js";
+export * from "./typeclass/MonadExcept.js";
+export * from "./typeclass/Monoid.js";
+export * from "./typeclass/Nil.js";
+export * from "./typeclass/Pointed.js";
+export * from "./typeclass/Semialign.js";
+export * from "./typeclass/Semigroup.js";
+export * from "./typeclass/Semimonoidal.js";
+export * from "./typeclass/Traversable.js";
+export * from "./typeclass/TraversableWithIndex.js";
+export * from "./typeclass/Witherable.js";
+export * from "./typeclass/WitherableWithIndex.js";
 export { Eq } from "./data/Eq.js";
 export { Equatable } from "./data/Equatable.js";
 export { Guard } from "./data/Guard/definition.js";

package/types.d.ts

@@ -1,2 +1,2 @@
-export * from "./types/utility.js";
 export * from "./types/extractions.js";
+export * from "./types/utility.js";

package/util/pattern.d.ts

@@ -44,13 +44,13 @@ export declare const matchTag_: {
     }, K extends { [k in X["_tag"]]: (_: Extract<X, {
         _tag: k;
     }>) => any; }>(m: X, _: K): ReturnType<K[keyof K]>;
-    <X_1 extends {
+    <X extends {
         _tag: string;
-    }, K_1 extends { [k_1 in X_1["_tag"]]?: ((_: Extract<X_1, {
-        _tag: k_1;
-    }>) => any) | undefined; }, H>(m: X_1, _: K_1, __: (_: Exclude<X_1, {
-        _tag: keyof K_1;
-    }>) => H): H | { [k_2 in keyof K_1]: ReturnType<NonNullable<K_1[k_2]>>; }[keyof K_1];
+    }, K extends { [k in X["_tag"]]?: ((_: Extract<X, {
+        _tag: k;
+    }>) => any) | undefined; }, H>(m: X, _: K, __: (_: Exclude<X, {
+        _tag: keyof K;
+    }>) => H): H | { [k_1 in keyof K]: ReturnType<NonNullable<K[k_1]>>; }[keyof K];
 };
 export declare const matchTag: {
     <X extends {
@@ -58,11 +58,11 @@ export declare const matchTag: {
     }, K extends { [k in X["_tag"]]: (_: Extract<X, {
         _tag: k;
     }>) => any; }>(_: K): (m: X) => ReturnType<K[keyof K]>;
-    <X_1 extends {
+    <X extends {
         _tag: string;
-    }, K_1 extends { [k_1 in X_1["_tag"]]?: ((_: Extract<X_1, {
-        _tag: k_1;
-    }>) => any) | undefined; }, H>(_: K_1, __: (_: Exclude<X_1, {
-        _tag: keyof K_1;
-    }>) => H): (m: X_1) => H | { [k_2 in keyof K_1]: ReturnType<NonNullable<K_1[k_2]>>; }[keyof K_1];
+    }, K extends { [k in X["_tag"]]?: ((_: Extract<X, {
+        _tag: k;
+    }>) => any) | undefined; }, H>(_: K, __: (_: Exclude<X, {
+        _tag: keyof K;
+    }>) => H): (m: X) => H | { [k_1 in keyof K]: ReturnType<NonNullable<K[k_1]>>; }[keyof K];
 };