@fncts/base 0.0.15 → 0.0.18

package/collection/immutable/HashSet/definition.d.ts

@@ -55,7 +55,7 @@ interface SizeRef {
     value: number;
 }
 export declare function canEditNode<A>(edit: number, node: Node<A>): boolean;
-export declare type Node<A> = EmptyNode<A> | LeafNode<A> | CollisionNode<A> | IndexedNode<A> | ArrayNode<A>;
+export type Node<A> = EmptyNode<A> | LeafNode<A> | CollisionNode<A> | IndexedNode<A> | ArrayNode<A>;
 export declare class EmptyNode<A> {
     readonly _tag = "EmptyNode";
     modify(remove: boolean, edit: number, eq: (x: A, y: A) => boolean, shift: number, hash: number, value: A, size: SizeRef): this | LeafNode<A>;

package/collection/immutable/ImmutableArray/definition.d.ts

@@ -2,7 +2,7 @@ import { HKT } from "@fncts/typelevel/HKT";
 import { Equatable } from "@fncts/base/typeclass/Equatable";
 import { Hashable } from "@fncts/base/typeclass/Hashable";
 export declare const ImmutableArrayTypeId: unique symbol;
-export declare type ImmutableArrayTypeId = typeof ImmutableArrayTypeId;
+export type ImmutableArrayTypeId = typeof ImmutableArrayTypeId;
 export interface ImmutableArrayF extends HKT {
     type: ImmutableArray<this["A"]>;
     variance: {

package/collection/immutable/List/definition.d.ts

@@ -21,7 +21,7 @@ export declare const _Nil: Nil<never>;
 /**
  * @tsplus type fncts.List
  */
-export declare type List<A> = Cons<A> | Nil<A>;
+export type List<A> = Cons<A> | Nil<A>;
 /**
  * @tsplus type fncts.ListOps
  */

package/collection/immutable/RoseTree/definition.d.ts

@@ -3,7 +3,7 @@ import { Hashable } from "@fncts/base/typeclass/Hashable";
 import { Equatable } from "@fncts/base/typeclass/Equatable";
 import { Vector } from "@fncts/base/collection/immutable/Vector";
 export declare const RoseTreeTypeId: unique symbol;
-export declare type RoseTreeTypeId = typeof RoseTreeTypeId;
+export type RoseTreeTypeId = typeof RoseTreeTypeId;
 export interface RoseTreeF extends HKT {
     type: RoseTree<this["A"]>;
     variance: {

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

@@ -2,7 +2,7 @@ export declare const enum Color {
     R = 0,
     B = 1
 }
-export declare type Leaf = null;
+export type Leaf = null;
 export declare class Node<K, V> {
     color: Color;
     left: RBNode<K, V>;
@@ -13,4 +13,4 @@ export declare class Node<K, V> {
     constructor(color: Color, left: RBNode<K, V>, key: K, value: V, right: RBNode<K, V>, count: number);
 }
 export declare const Leaf: null;
-export declare type RBNode<K, V> = Node<K, V> | Leaf;
+export type RBNode<K, V> = Node<K, V> | Leaf;

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

@@ -3,7 +3,7 @@ import { Hashable } from "@fncts/base/typeclass/Hashable";
 import { Equatable } from "@fncts/base/typeclass/Equatable";
 import type { Node } from "@fncts/base/collection/immutable/Vector/internal";
 export declare const VectorTypeId: unique symbol;
-export declare type VectorTypeId = typeof VectorTypeId;
+export type VectorTypeId = typeof VectorTypeId;
 export interface VectorF extends HKT {
     type: Vector<this["A"]>;
     variance: {

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

@@ -40,7 +40,7 @@ export declare const mask = 31;
 /**
  * @internal
  */
-declare type Sizes = number[] | undefined;
+type Sizes = number[] | undefined;
 /** @internal */
 export declare class Node {
     sizes: Sizes;
@@ -176,7 +176,7 @@ export declare function sliceTreeVector<A>(from: number, to: number, tree: Node,
  * @internal
  */
 export declare function zeroOffset(): void;
-declare type FoldCb<Input, State> = (input: Input, state: State, index: number) => boolean;
+type FoldCb<Input, State> = (input: Input, state: State, index: number) => boolean;
 /**
  * This function is a lot like a fold. But the reducer function is
  * supposed to mutate its state instead of returning it. Instead of

package/control/Eval/definition.d.ts

@@ -1,6 +1,6 @@
 import { HKT } from "@fncts/typelevel/HKT";
 export declare const EvalTypeId: unique symbol;
-export declare type EvalTypeId = typeof EvalTypeId;
+export type EvalTypeId = typeof EvalTypeId;
 export interface EvalF extends HKT {
     type: Eval<this["A"]>;
     variance: {
@@ -47,7 +47,7 @@ export declare class Chain<A, B> implements Eval<B> {
     readonly _A: () => B;
     constructor(self: Eval<A>, f: (a: A) => Eval<B>);
 }
-declare type Concrete = Value<any> | Defer<any> | Chain<any, any>;
+type Concrete = Value<any> | Defer<any> | Chain<any, any>;
 /**
  * @tsplus smart:remove
  */

package/control/Z/definition.d.ts

@@ -13,7 +13,7 @@ export interface ZF extends HKT {
     };
 }
 export declare const ZTypeId: unique symbol;
-export declare type ZTypeId = typeof ZTypeId;
+export type ZTypeId = typeof ZTypeId;
 /**
  * `Z<W, S1, S2, R, E, A>` is a purely functional description of a synchronous computation
  * that requires an environment `R` and an initial state `S1` and may either
@@ -131,14 +131,14 @@ export declare class MapLog<W, S1, S2, R, E, A, W1> extends Z<W1, S1, S2, R, E,
     readonly _tag = ZTag.MapLog;
     constructor(ma: Z<W, S1, S2, R, E, A>, modifyLog: (ws: Conc<W>) => Conc<W1>);
 }
-export declare type Concrete = SucceedNow<any> | Fail<any> | Modify<any, any, any> | Chain<any, any, any, any, any, any, any, any, any, any, any> | Match<any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any> | Access<any, any, any, any, any, any, any> | Provide<any, any, any, any, any, any> | Defer<any, any, any, any, any, any> | Succeed<any> | Tell<any> | MapLog<any, any, any, any, any, any, any>;
+export type Concrete = SucceedNow<any> | Fail<any> | Modify<any, any, any> | Chain<any, any, any, any, any, any, any, any, any, any, any> | Match<any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any, any> | Access<any, any, any, any, any, any, any> | Provide<any, any, any, any, any, any> | Defer<any, any, any, any, any, any> | Succeed<any> | Tell<any> | MapLog<any, any, any, any, any, any, any>;
 /**
  * @tsplus static fncts.control.ZOps concrete
  * @tsplus location "@fncts/base/control/Z/definition"
  */
 export declare function concrete(_: Z<any, any, any, any, any, any>): asserts _ is Concrete;
 export declare const ZErrorTypeId: unique symbol;
-export declare type ZErrorTypeId = typeof ZErrorTypeId;
+export type ZErrorTypeId = typeof ZErrorTypeId;
 export declare class ZError<E> {
     readonly cause: Cause<E>;
     readonly _typeId: ZErrorTypeId;

package/data/Branded/definition.d.ts

@@ -1,7 +1,7 @@
 import { Refinement } from "@fncts/base/data/Refinement/definition";
 import { Predicate } from "@fncts/base/data/Predicate/definition";
 import type { Union } from "@fncts/typelevel";
-declare type Brand_<A, K extends string> = Brand<A, K>;
+type Brand_<A, K extends string> = Brand<A, K>;
 export declare namespace Branded {
     const Symbol: unique symbol;
     type Symbol = typeof Symbol;

package/data/Byte.d.ts

@@ -1 +1 @@
-export declare type Byte = number;
+export type Byte = number;

package/data/CaseClass.d.ts

@@ -4,7 +4,7 @@ import { Equatable } from "@fncts/base/typeclass/Equatable";
 import type { Equals } from "@fncts/typelevel/Any";
 import type { True } from "@fncts/typelevel/Boolean";
 export declare const CaseClassTypeId: unique symbol;
-export declare type CaseClassTypeId = typeof CaseClassTypeId;
+export type CaseClassTypeId = typeof CaseClassTypeId;
 export interface CaseArgs {
     readonly [CaseClassTypeId]: ImmutableArray<string>;
 }

package/data/Cause/definition.d.ts

@@ -5,11 +5,11 @@ import { Conc } from "@fncts/base/collection/immutable/Conc";
 import { List } from "@fncts/base/collection/immutable/List/definition";
 import { HashSet } from "@fncts/base/collection/immutable/HashSet/definition";
 export declare const CauseTypeId: unique symbol;
-export declare type CauseTypeId = typeof CauseTypeId;
+export type CauseTypeId = typeof CauseTypeId;
 /**
  * @tsplus type fncts.Cause
  */
-export declare type Cause<E> = Empty | Halt | Interrupt | Fail<E> | Then<E> | Both<E> | Stackless<E>;
+export type Cause<E> = Empty | Halt | Interrupt | Fail<E> | Then<E> | Both<E> | Stackless<E>;
 /**
  * @tsplus type fncts.CauseOps
  */

package/data/Datum/definition.d.ts

@@ -8,7 +8,7 @@ export declare const enum DatumTag {
     Replete = "Replete"
 }
 export declare const DatumTypeId: unique symbol;
-export declare type DatumTypeId = typeof DatumTypeId;
+export type DatumTypeId = typeof DatumTypeId;
 export interface DatumF extends HKT {
     type: Datum<this["A"]>;
     variance: {
@@ -18,7 +18,7 @@ export interface DatumF extends HKT {
 /**
  * @tsplus type fncts.Datum
  */
-export declare type Datum<A> = Initial | Pending | Refresh<A> | Replete<A>;
+export type Datum<A> = Initial | Pending | Refresh<A> | Replete<A>;
 /**
  * @tsplus type fncts.DatumOps
  */

package/data/DatumEither/definition.d.ts

@@ -12,7 +12,7 @@ export interface DatumEitherF extends HKT {
  * @tsplus type fncts.DatumEither
  * @tsplus no-inherit fncts.Datum
  */
-export declare type DatumEither<E, A> = Datum<Either<E, A>>;
+export type DatumEither<E, A> = Datum<Either<E, A>>;
 /**
  * @tsplus type fncts.DatumEitherOps
  */

package/data/DecodeError/definition.d.ts

@@ -2,7 +2,7 @@ import { Eval } from "@fncts/base/control/Eval/definition";
 import { RoseTree } from "@fncts/base/collection/immutable/RoseTree";
 import { Vector } from "@fncts/base/collection/immutable/Vector";
 export declare const DecodeErrorTypeId: unique symbol;
-export declare type DecodeErrorTypeId = typeof DecodeErrorTypeId;
+export type DecodeErrorTypeId = typeof DecodeErrorTypeId;
 export declare abstract class DecodeError {
     readonly _typeId: DecodeErrorTypeId;
     abstract render: Eval<RoseTree<string>>;

package/data/Decoder/definition.d.ts

@@ -2,7 +2,7 @@ import { HKT } from "@fncts/typelevel/HKT";
 import { These } from "@fncts/base/data/These";
 import type { DecodeError } from "@fncts/base/data/DecodeError";
 export declare const DecoderTypeId: unique symbol;
-export declare type DecoderTypeId = typeof DecoderTypeId;
+export type DecoderTypeId = typeof DecoderTypeId;
 export interface DecoderF extends HKT {
     type: Decoder<this["A"]>;
     variance: {

package/data/Duration/definition.d.ts

@@ -1,7 +1,7 @@
 import { Equatable } from "@fncts/base/typeclass/Equatable";
 import { Hashable } from "@fncts/base/typeclass/Hashable";
 export declare const DurationTypeId: unique symbol;
-export declare type DurationTypeId = typeof DurationTypeId;
+export type DurationTypeId = typeof DurationTypeId;
 /**
  * @tsplus type fncts.Duration
  * @tsplus companion fncts.DurationOps

package/data/Either/definition.d.ts

@@ -4,7 +4,7 @@ export declare const enum EitherTag {
     Right = "Right"
 }
 export declare const EitherTypeId: unique symbol;
-export declare type EitherTypeId = typeof EitherTypeId;
+export type EitherTypeId = typeof EitherTypeId;
 export interface EitherF extends HKT {
     type: Either<this["E"], this["A"]>;
     variance: {

package/data/EitherT/definition.d.ts

@@ -3,7 +3,7 @@ import { Either } from "@fncts/base/data/Either/definition";
 /**
  * @tsplus type fncts.EitherT
  */
-export declare type EitherT<F extends HKT, FC, K, Q, W, X, I, S, R, EF, E, A> = HKT.Kind<F, FC, K, Q, W, X, I, S, R, EF, Either<E, A>>;
+export type EitherT<F extends HKT, FC, K, Q, W, X, I, S, R, EF, E, A> = HKT.Kind<F, FC, K, Q, W, X, I, S, R, EF, Either<E, A>>;
 /**
  * @tsplus type fncts.EitherTOps
  */

package/data/Environment/api.d.ts

@@ -12,7 +12,7 @@ export declare function add<R, H extends S, S = H>(self: Environment<R>, service
  * @tsplus location "@fncts/base/data/Environment/api"
  */
 export declare const empty: import("./definition").Environment<never>;
-declare type Tags<R> = R extends infer S ? Tag<S> : never;
+type Tags<R> = R extends infer S ? Tag<S> : never;
 /**
  * @tsplus fluent fncts.Environment get
  * @tsplus location "@fncts/base/data/Environment/api"

package/data/Environment/definition.d.ts

@@ -7,18 +7,17 @@ import { Tag } from "@fncts/base/data/Tag/definition";
  * @tsplus location "@fncts/base/data/Environment/definition"
  */
 export declare const EnvSymbol: unique symbol;
-export declare type EnvSymbol = typeof EnvSymbol;
+export type EnvSymbol = typeof EnvSymbol;
 /**
  * @tsplus type fncts.Environment
  * @tsplus companion fncts.EnvironmentOps
  */
 export declare class Environment<R> implements Hashable, Equatable {
-    readonly map: HashMap<Tag<any>, readonly [unknown, number]>;
-    readonly index: number;
+    readonly map: HashMap<Tag<any>, unknown>;
     cache: HashMap<Tag<any>, unknown>;
     readonly _typeId: EnvSymbol;
     readonly [EnvSymbol]: (_: never) => R;
-    constructor(map: HashMap<Tag<any>, readonly [unknown, number]>, index: number, cache?: HashMap<Tag<any>, unknown>);
+    constructor(map: HashMap<Tag<any>, unknown>, cache?: HashMap<Tag<any>, unknown>);
     get [Symbol.hash](): number;
     [Symbol.equals](that: unknown): boolean;
 }

package/data/ExecutionStrategy.d.ts

@@ -26,7 +26,7 @@ export declare function concurrentBounded(fiberBound: number): ConcurrentBounded
 /**
  * @tsplus type fncts.ExecutionStrategy
  */
-export declare type ExecutionStrategy = Sequential | Concurrent | ConcurrentBounded;
+export type ExecutionStrategy = Sequential | Concurrent | ConcurrentBounded;
 /**
  * @tsplus type fncts.ExecutionStrategyOps
  */

package/data/Exit/definition.d.ts

@@ -2,11 +2,11 @@ import { Cause } from "@fncts/base/data/Cause/definition";
 import { Hashable } from "@fncts/base/typeclass/Hashable";
 import * as P from "../../typeclass.js";
 export declare const ExitTypeId: unique symbol;
-export declare type ExitTypeId = typeof ExitTypeId;
+export type ExitTypeId = typeof ExitTypeId;
 /**
  * @tsplus type fncts.Exit
  */
-export declare type Exit<E, A> = Success<A> | Failure<E>;
+export type Exit<E, A> = Success<A> | Failure<E>;
 /**
  * @tsplus type fncts.ExitOps
  */

package/data/FiberId/definition.d.ts

@@ -3,7 +3,7 @@ import { Equatable } from "@fncts/base/typeclass/Equatable";
 import { TraceElement } from "@fncts/base/data/TraceElement/definition";
 import { HashSet } from "@fncts/base/collection/immutable/HashSet/definition";
 export declare const FiberIdTypeId: unique symbol;
-export declare type FiberIdTypeId = typeof FiberIdTypeId;
+export type FiberIdTypeId = typeof FiberIdTypeId;
 export declare class None implements Hashable, Equatable {
     readonly _typeId: FiberIdTypeId;
     readonly _tag = "None";
@@ -31,14 +31,14 @@ export declare class Composite implements Hashable, Equatable {
 /**
  * @tsplus type fncts.FiberId
  */
-export declare type FiberId = None | Runtime | Composite;
+export type FiberId = None | Runtime | Composite;
 /**
  * @tsplus type fncts.FiberIdOps
  */
 export interface FiberIdOps {
 }
 export declare const FiberId: FiberIdOps;
-declare type RuntimeFiberId = Runtime;
+type RuntimeFiberId = Runtime;
 export declare namespace FiberId {
     type Runtime = RuntimeFiberId;
 }

package/data/Maybe/definition.d.ts

@@ -6,7 +6,7 @@ export declare const enum MaybeTag {
     Nothing = "Nothing"
 }
 export declare const MaybeTypeId: unique symbol;
-export declare type MaybeTypdId = typeof MaybeTypeId;
+export type MaybeTypdId = typeof MaybeTypeId;
 export interface MaybeF extends HKT {
     type: Maybe<this["A"]>;
     variance: {

package/data/Patch/definition.d.ts

@@ -1,7 +1,7 @@
 import { Has } from "@fncts/base/typeclass/Has";
 import { Tag } from "@fncts/base/data/Tag/definition";
 export declare const PatchTypeId: unique symbol;
-export declare type PatchTypeId = typeof PatchTypeId;
+export type PatchTypeId = typeof PatchTypeId;
 /**
  * @tsplus type fncts.Environment.Patch
  * @tsplus companion fncts.Environment.PatchOps
@@ -37,7 +37,7 @@ export declare class UpdateService<Env, Service> extends Patch<Env & Has<Service
     readonly _tag = "UpdateService";
     constructor(update: (_: Service) => Service, tag: Tag<Service>);
 }
-export declare type Concrete = AddService<any, any> | Compose<any, any, any> | Empty<any> | RemoveService<any, any> | UpdateService<any, any>;
+export type Concrete = AddService<any, any> | Compose<any, any, any> | Empty<any> | RemoveService<any, any> | UpdateService<any, any>;
 /**
  * @tsplus macro remove
  */

package/data/Struct/api.d.ts

@@ -1,10 +1,10 @@
 import type { Union } from "@fncts/typelevel";
 import { Struct } from "./definition.js";
-export declare type EnsureLiteral<N> = string extends N ? never : [N] extends [Union.IntersectionOf<N>] ? N : never;
-export declare type TestLiteral<N> = string extends N ? unknown : [N] extends [Union.IntersectionOf<N>] ? N : unknown;
-export declare type EnsureNonexistentProperty<T, N extends string> = Extract<keyof T, N> extends never ? T : never;
-export declare type EnsureLiteralKeys<O> = string extends keyof O ? never : O;
-export declare type EnsureLiteralTuple<A extends ReadonlyArray<unknown>> = unknown extends {
+export type EnsureLiteral<N> = string extends N ? never : [N] extends [Union.IntersectionOf<N>] ? N : never;
+export type TestLiteral<N> = string extends N ? unknown : [N] extends [Union.IntersectionOf<N>] ? N : unknown;
+export type EnsureNonexistentProperty<T, N extends string> = Extract<keyof T, N> extends never ? T : never;
+export type EnsureLiteralKeys<O> = string extends keyof O ? never : O;
+export type EnsureLiteralTuple<A extends ReadonlyArray<unknown>> = unknown extends {
     [K in keyof A]: A[K] extends string ? TestLiteral<A[K]> : unknown;
 }[number] ? never : A;
 /**

package/data/Tag/constructors.d.ts

@@ -1,6 +1,7 @@
 import { Tag } from "@fncts/base/data/Tag/definition";
 /**
  * @tsplus static fncts.TagOps __call
+ * @fncts tag
  * @tsplus location "@fncts/base/data/Tag/constructors"
  */
-export declare function makeTag<T>(): Tag<T>;
+export declare function makeTag<T>(id?: string): Tag<T>;

package/data/Tag/definition.d.ts

@@ -1,7 +1,7 @@
 import { Hashable } from "@fncts/base/typeclass/Hashable";
 import { Equatable } from "@fncts/base/typeclass/Equatable";
 export declare const TagTypeId: unique symbol;
-export declare type TagTypeId = typeof TagTypeId;
+export type TagTypeId = typeof TagTypeId;
 /**
  * Tag Encodes capabilities of reading and writing a service T into a generic environment
  *
@@ -9,10 +9,11 @@ export declare type TagTypeId = typeof TagTypeId;
  * @tsplus companion fncts.TagOps
  */
 export declare class Tag<in out T> implements Hashable, Equatable {
+    readonly id: string;
     _T: (_: T) => T;
     readonly _typeId: TagTypeId;
     private static counter;
-    readonly id: number;
+    constructor(id: string);
     get [Symbol.hash](): number;
     [Symbol.equals](that: unknown): boolean;
 }

package/data/These/definition.d.ts

@@ -4,7 +4,7 @@ export declare const enum TheseTag {
     Both = "Both"
 }
 export declare const TheseTypeId: unique symbol;
-export declare type TheseTypeId = typeof TheseTypeId;
+export type TheseTypeId = typeof TheseTypeId;
 /**
  * @tsplus type fncts.These.Left
  */
@@ -36,7 +36,7 @@ export declare class Both<E, A> {
 /**
  * @tsplus type fncts.These
  */
-export declare type These<E, A> = Left<E> | Right<A> | Both<E, A>;
+export type These<E, A> = Left<E> | Right<A> | Both<E, A>;
 /**
  * @tsplus type fncts.TheseOps
  */

package/data/TraceElement/definition.d.ts

@@ -10,7 +10,7 @@ export interface SourceLocation {
 /**
  * @tsplus type fncts.TraceElement
  */
-export declare type TraceElement = NoLocation | SourceLocation;
+export type TraceElement = NoLocation | SourceLocation;
 /**
  * @tsplus type fncts.TraceElementOps
  */

package/data/Zipped.d.ts

@@ -1,6 +1,6 @@
 export declare const ZippedTypeId: unique symbol;
-export declare type ZippedTypeId = typeof ZippedTypeId;
-export declare type Zipped<A extends Array<any>> = Readonly<A> & {
+export type ZippedTypeId = typeof ZippedTypeId;
+export type Zipped<A extends Array<any>> = Readonly<A> & {
     readonly [ZippedTypeId]: ZippedTypeId;
 };
 export declare namespace Zipped {

package/data/exceptions/InterruptedException.d.ts

@@ -1,5 +1,5 @@
 export declare const InterruptedExceptionTypeId: unique symbol;
-export declare type InterruptedExceptionTypeId = typeof InterruptedExceptionTypeId;
+export type InterruptedExceptionTypeId = typeof InterruptedExceptionTypeId;
 export declare class InterruptedException {
     readonly message?: string | undefined;
     readonly _typeId: InterruptedExceptionTypeId;

package/json/EitherJson.d.ts

@@ -10,7 +10,7 @@ export interface LeftJson<E> {
 /**
  * @tsplus type fncts.EitherJson
  */
-export declare type EitherJson<E, A> = LeftJson<E> | RightJson<A>;
+export type EitherJson<E, A> = LeftJson<E> | RightJson<A>;
 /**
  * @tsplus type fncts.EitherJsonOps
  */

package/json/MaybeJson.d.ts

@@ -9,7 +9,7 @@ export interface JustJson<A> {
 /**
  * @tsplus type fncts.MaybeJson
  */
-export declare type MaybeJson<A> = NothingJson | JustJson<A>;
+export type MaybeJson<A> = NothingJson | JustJson<A>;
 /**
  * @tsplus type fncts.MaybeJsonOps
  */

package/json/TheseJson.d.ts

@@ -12,7 +12,7 @@ export interface BothJson<E, A> {
     readonly left: E;
     readonly right: A;
 }
-export declare type TheseJson<E, A> = LeftJson<E> | RightJson<A> | BothJson<E, A>;
+export type TheseJson<E, A> = LeftJson<E> | RightJson<A> | BothJson<E, A>;
 /**
  * @tsplus type fncts.TheseJsonOps
  */

package/optics/At/definition.d.ts

@@ -5,7 +5,7 @@ import { Lens } from "@fncts/base/optics/Lens";
 export interface At<S, I, A> {
     readonly at: (i: I) => Lens<S, A>;
 }
-export declare type AtMin<S, I, A> = {
+export type AtMin<S, I, A> = {
     readonly get: (i: I) => (s: S) => A;
     readonly set: (i: I) => (s: S, a: A) => S;
 } | At<S, I, A>;

package/optics/Index/definition.d.ts

@@ -5,7 +5,7 @@ import type { Optional } from "@fncts/base/optics/Optional";
 export interface Index<S, I, A> {
     readonly index: (i: I) => Optional<S, A>;
 }
-export declare type IndexMin<S, I, A> = Index<S, I, A>;
+export type IndexMin<S, I, A> = Index<S, I, A>;
 /**
  * @tsplus type fncts.optics.IndexOps
  */

package/package.json

@@ -1,8 +1,9 @@
 {
   "name": "@fncts/base",
-  "version": "0.0.15",
+  "version": "0.0.18",
   "dependencies": {
-    "@fncts/typelevel": "0.0.12"
+    "@fncts/typelevel": "0.0.14",
+    "uuid": "^8.3.2"
   },
   "exports": {
     "./*": {

package/typeclass/Applicative.d.ts

@@ -9,4 +9,4 @@ export interface Applicative<F extends HKT, FC = HKT.None> extends Apply<F, FC>,
 export interface ApplicativeOps {
 }
 export declare const Applicative: ApplicativeOps;
-export declare type CompatibleApplicative<F extends HKT, FC, A> = Applicative<F, FC> & ([A] extends [HKT.Kind<F, any, any, any, any, any, any, any, any, any, any>] ? unknown : ["invalid Applicative instance for", A]);
+export type CompatibleApplicative<F extends HKT, FC, A> = Applicative<F, FC> & ([A] extends [HKT.Kind<F, any, any, any, any, any, any, any, any, any, any>] ? unknown : ["invalid Applicative instance for", A]);

package/typeclass/Apply.d.ts

@@ -48,13 +48,13 @@ export declare function sequenceT<F extends HKT, FC = HKT.None>(F: Apply<F, FC>)
 /**
  * @internal
  */
-declare type InferMixStruct<F extends HKT, FC, P extends HKT.ParamName, T, KS> = HKT.MixStruct<F, P, T, {
+type InferMixStruct<F extends HKT, FC, P extends HKT.ParamName, T, KS> = HKT.MixStruct<F, P, T, {
     [K in keyof KS]: HKT.Infer<F, FC, P, KS[K]>;
 }>;
 /**
  * @internal
  */
-declare type InferMixTuple<F extends HKT, FC, P extends HKT.ParamName, T, KT> = HKT.MixStruct<F, P, T, {
+type InferMixTuple<F extends HKT, FC, P extends HKT.ParamName, T, KT> = HKT.MixStruct<F, P, T, {
     [K in keyof KT & number]: HKT.Infer<F, FC, P, KT[K]>;
 }>;
 export {};

package/typeclass/Equatable/fast-equals.d.ts

@@ -1,4 +1,4 @@
-declare type Cache = {
+type Cache = {
     add: (value: any) => void;
     has: (value: any) => boolean;
 };
@@ -11,7 +11,7 @@ declare type Cache = {
  * @param cache the cache to add to
  */
 export declare function addToCache(value: any, cache: Cache): void;
-export declare type EqualityComparator = (a: any, b: any, meta?: any) => boolean;
+export type EqualityComparator = (a: any, b: any, meta?: any) => boolean;
 /**
  * @function hasPair
  *
@@ -156,7 +156,7 @@ export declare function areArraysEqual(a: any[], b: any[], isEqual: EqualityComp
  * @returns are the maps equal
  */
 export declare function areMapsEqual(a: Map<any, any>, b: Map<any, any>, isEqual: EqualityComparator, meta: any): boolean;
-declare type Dictionary<Type> = {
+type Dictionary<Type> = {
     [key: string]: Type;
     [index: number]: Type;
 };
@@ -197,6 +197,6 @@ export declare function areRegExpsEqual(a: RegExp, b: RegExp): boolean;
  * @returns are the sets equal
  */
 export declare function areSetsEqual(a: Set<any>, b: Set<any>, isEqual: EqualityComparator, meta: any): boolean;
-declare type EqualityComparatorCreator = (fn: EqualityComparator) => EqualityComparator;
+type EqualityComparatorCreator = (fn: EqualityComparator) => EqualityComparator;
 export declare function createComparator(createIsEqual?: EqualityComparatorCreator): (a: any, b: any, meta?: any) => boolean;
 export {};

package/typeclass/Guard/definition.d.ts

@@ -2,7 +2,7 @@ import { Refinement } from "@fncts/base/data/Refinement/definition";
 export interface GuardF extends Guard<any> {
 }
 export declare const GuardTypeId: unique symbol;
-export declare type GuardTypeId = typeof GuardTypeId;
+export type GuardTypeId = typeof GuardTypeId;
 /**
  * @tsplus type fncts.Guard
  * @tsplus companion fncts.GuardOps

package/typeclass/Has.d.ts

@@ -1,5 +1,5 @@
 export declare const HasTypeId: unique symbol;
-export declare type HasTypeId = typeof HasTypeId;
+export type HasTypeId = typeof HasTypeId;
 /**
  * @tsplus type fncts.Has
  */

package/typeclass/HashEq.d.ts

@@ -11,7 +11,7 @@ export interface HashEq<A> extends Hash<A>, Eq<A> {
 export interface HashEqOps {
 }
 export declare const HashEq: HashEqOps;
-export declare type HashEqMin<A> = Hash<A> & Eq<A>;
+export type HashEqMin<A> = Hash<A> & Eq<A>;
 /**
  * @tsplus static fncts.HashEqOps __call
  * @tsplus location "@fncts/base/typeclass/HashEq"

package/typeclass/Monoid.d.ts

@@ -13,7 +13,7 @@ export interface Monoid<A> extends Semigroup<A> {
 export interface MonoidOps {
 }
 export declare const Monoid: MonoidOps;
-export declare type MonoidMin<A> = Semigroup<A> & {
+export type MonoidMin<A> = Semigroup<A> & {
     readonly nat: A;
 };
 /**

package/typeclass/Ordering.d.ts

@@ -1,4 +1,4 @@
-export declare type Ordering = -1 | 0 | 1;
+export type Ordering = -1 | 0 | 1;
 /**
  * @tsplus static fncts.Ordering LT
  * @tsplus location "@fncts/base/typeclass/Ordering"