@fncts/base 0.0.22 → 0.0.24

package/data/Tag/definition.d.ts

@@ -1,5 +1,7 @@
 import { Hashable } from "@fncts/base/data/Hashable";
 import { Equatable } from "@fncts/base/data/Equatable";
+export declare const TagVariance: unique symbol;
+export type TagVariance = typeof TagVariance;
 export declare const TagTypeId: unique symbol;
 export type TagTypeId = typeof TagTypeId;
 /**
@@ -10,8 +12,10 @@ export type TagTypeId = typeof TagTypeId;
  */
 export declare class Tag<in out T> implements Hashable, Equatable {
     readonly id: string;
-    _T: (_: T) => T;
-    readonly _typeId: TagTypeId;
+    readonly [TagTypeId]: TagTypeId;
+    [TagVariance]: {
+        readonly _T: (_: T) => T;
+    };
     constructor(id: string);
     get [Symbol.hash](): number;
     [Symbol.equals](that: unknown): boolean;

package/data/These/definition.d.ts

@@ -10,7 +10,7 @@ export type TheseTypeId = typeof TheseTypeId;
  */
 export declare class Left<E> {
     readonly left: E;
-    readonly _typeId: TheseTypeId;
+    readonly [TheseTypeId]: TheseTypeId;
     readonly _tag = TheseTag.Left;
     constructor(left: E);
 }
@@ -19,7 +19,7 @@ export declare class Left<E> {
  */
 export declare class Right<A> {
     readonly right: A;
-    readonly _typeId: TheseTypeId;
+    readonly [TheseTypeId]: TheseTypeId;
     readonly _tag = TheseTag.Right;
     constructor(right: A);
 }
@@ -29,7 +29,7 @@ export declare class Right<A> {
 export declare class Both<E, A> {
     readonly left: E;
     readonly right: A;
-    readonly _typeId: TheseTypeId;
+    readonly [TheseTypeId]: TheseTypeId;
     readonly _tag = TheseTag.Both;
     constructor(left: E, right: A);
 }

package/data/exceptions/InterruptedException.d.ts

@@ -2,7 +2,7 @@ export declare const InterruptedExceptionTypeId: unique symbol;
 export type InterruptedExceptionTypeId = typeof InterruptedExceptionTypeId;
 export declare class InterruptedException {
     readonly message?: string | undefined;
-    readonly _typeId: InterruptedExceptionTypeId;
+    readonly [InterruptedExceptionTypeId]: InterruptedExceptionTypeId;
     constructor(message?: string | undefined);
 }
 export declare function isInterruptedException(u: unknown): u is InterruptedException;

package/data.d.ts

@@ -5,6 +5,7 @@ export type {} from "./data/Byte.js";
 export type {} from "./data/CaseClass.js";
 export type {} from "./data/Cause.js";
 export type {} from "./data/Const.js";
+export type {} from "./data/DatumEither.js";
 export type {} from "./data/DecodeError.js";
 export type {} from "./data/Decoder.js";
 export type {} from "./data/Duration.js";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fncts/base",
-  "version": "0.0.22",
+  "version": "0.0.24",
   "dependencies": {
     "@fncts/typelevel": "0.0.15",
     "uuid": "^9.0.0"

package/util/predicates.d.ts

@@ -12,7 +12,7 @@ export declare function isObject<A extends Function>(value: A): false;
 export declare function isObject(value: unknown): value is object & Record<PropertyKey, any>;
 export declare function isObject<A>(value: A | Primitive): value is A & Record<PropertyKey, unknown>;
 export declare function hasTypeId<X extends symbol>(value: unknown, typeId: X): value is {
-    readonly _typeId: X;
+    readonly [K in X]: X;
 } & Record<PropertyKey, unknown>;
 export declare function isFunction(value: unknown): value is Function;
 export declare function isBoolean(value: unknown): value is boolean;