functype 0.11.2 → 0.14.0

package/dist/{Serializable-CK9upOU0.d.ts → Typeable-CitTP1ay.d.ts}

@@ -1,45 +1,3 @@
-type Type = unknown;
-
-/**
- * Base interface for objects with a type tag
- * @internal
- */
-interface TypeableBase<Tag extends string> {
-    readonly _tag: Tag;
-}
-/**
- * Parameters for creating a Typeable instance
- * @internal
- */
-type TypeableParams<Tag extends string, T> = {
-    _tag: Tag;
-    impl: T;
-};
-/**
- * Utility type to extract the Tag from a Typeable type
- * @typeParam T - The Typeable type to extract the tag from
- * @internal
- */
-type ExtractTag<T> = T extends Typeable<infer Tag, unknown> ? Tag : never;
-type Typeable<Tag extends string, T = object> = T & TypeableBase<Tag>;
-/**
- * Core utility for creating nominal typing in TypeScript by adding a type tag to any object.
- * This allows for creating distinct types that are structurally identical but considered different by TypeScript's type system.
- *
- * @param params - The parameters containing the tag and implementation
- * @returns A Typeable object with the specified tag
- * @typeParam Tag - The string literal type used as the discriminator
- * @typeParam T - The base type to extend with the tag
- */
-declare function Typeable<Tag extends string, T>({ _tag, impl }: TypeableParams<Tag, T>): Typeable<Tag, T>;
-/**
- * Type guard with automatic type inference using the full type
- * @param value - The value to check
- * @param tag - The tag to check for
- * @returns Whether the value is a Typeable with the specified tag
- */
-declare function isTypeable<T>(value: unknown, tag: string): value is T;
-
 /**
  * Foldable type class represents data structures that can be folded to a summary value.
  *
@@ -67,6 +25,8 @@ interface Foldable<A> {
     foldRight<B>(z: B): (op: (a: A, b: B) => B) => B;
 }
 
+type Type = unknown;
+
 /**
  * Pipe interface for functional data structures
  * @typeParam T - The type of value to pipe
@@ -93,4 +53,44 @@ interface Serializable<T> {
     serialize(): SerializationMethods<T>;
 }
 
+/**
+ * Base interface for objects with a type tag
+ * @internal
+ */
+interface TypeableBase<Tag extends string> {
+    readonly _tag: Tag;
+}
+/**
+ * Parameters for creating a Typeable instance
+ * @internal
+ */
+type TypeableParams<Tag extends string, T> = {
+    _tag: Tag;
+    impl: T;
+};
+/**
+ * Utility type to extract the Tag from a Typeable type
+ * @typeParam T - The Typeable type to extract the tag from
+ * @internal
+ */
+type ExtractTag<T> = T extends Typeable<infer Tag, unknown> ? Tag : never;
+type Typeable<Tag extends string, T = object> = T & TypeableBase<Tag>;
+/**
+ * Core utility for creating nominal typing in TypeScript by adding a type tag to any object.
+ * This allows for creating distinct types that are structurally identical but considered different by TypeScript's type system.
+ *
+ * @param params - The parameters containing the tag and implementation
+ * @returns A Typeable object with the specified tag
+ * @typeParam Tag - The string literal type used as the discriminator
+ * @typeParam T - The base type to extend with the tag
+ */
+declare function Typeable<Tag extends string, T>({ _tag, impl }: TypeableParams<Tag, T>): Typeable<Tag, T>;
+/**
+ * Type guard with automatic type inference using the full type
+ * @param value - The value to check
+ * @param tag - The tag to check for
+ * @returns Whether the value is a Typeable with the specified tag
+ */
+declare function isTypeable<T>(value: unknown, tag: string): value is T;
+
 export { type ExtractTag as E, type Foldable as F, type Pipe as P, type Serializable as S, type Type as T, Typeable as a, type SerializationMethods as b, type TypeableParams as c, isTypeable as i };