tstyche 6.0.0-beta.3 → 6.0.0-beta.4

package/dist/index.cjs

@@ -0,0 +1,20 @@
+'use strict';
+
+function noop() {
+}
+const noopChain = new Proxy(noop, {
+    apply() {
+        return noopChain;
+    },
+    get() {
+        return noopChain;
+    },
+});
+
+exports.describe = noopChain;
+exports.expect = noopChain;
+exports.it = noopChain;
+exports.omit = noop;
+exports.pick = noop;
+exports.test = noopChain;
+exports.when = noopChain;

package/dist/index.d.cts

@@ -0,0 +1,255 @@
+interface Describe {
+    /**
+     * Defines a group of tests.
+     *
+     * @param name - The name of the group.
+     * @param callback - The function to create a scope for a group of tests.
+     */
+    (name: string, callback: () => void | Promise<void>): void;
+    /**
+     * Marks a group of tests as focused.
+     *
+     * @param name - The name of the group.
+     * @param callback - The function to create a scope for a group of tests.
+     */
+    only: (name: string, callback: () => void | Promise<void>) => void;
+    /**
+     * Marks a group of tests as skipped.
+     *
+     * @param name - The name of the group.
+     * @param callback - The function to create a scope for a group of tests.
+     */
+    skip: (name: string, callback: () => void | Promise<void>) => void;
+    /**
+     * Marks a group of tests as yet to be implemented.
+     *
+     * @param name - The name of the group.
+     * @param callback - The function to create a scope for a group of tests.
+     */
+    todo: (name: string, callback?: () => void | Promise<void>) => void;
+}
+interface Test {
+    /**
+     * Defines a single test.
+     *
+     * @param name - The name of the test.
+     * @param callback - The function with a code snippet and assertions.
+     */
+    (name: string, callback: () => void | Promise<void>): void;
+    /**
+     * Marks a test as focused.
+     *
+     * @param name - The name of the test.
+     * @param callback - The function with a code snippet and assertions.
+     */
+    only: (name: string, callback: () => void | Promise<void>) => void;
+    /**
+     * Marks a test as skipped.
+     *
+     * @param name - The name of the test.
+     * @param callback - The function with a code snippet and assertions.
+     */
+    skip: (name: string, callback: () => void | Promise<void>) => void;
+    /**
+     * Marks a test as yet to be implemented.
+     *
+     * @param name - The name of the test.
+     * @param callback - The function with a code snippet and assertions.
+     */
+    todo: (name: string, callback?: () => void | Promise<void>) => void;
+}
+interface Matchers {
+    /**
+     * Checks if the JSX component accepts props of the given type.
+     *
+     * @remarks
+     *
+     * This is a work in progress feature. Generic components are not yet supported.
+     */
+    toAcceptProps: {
+        /**
+         * Checks if the JSX component accepts props of the given type.
+         *
+         * @remarks
+         *
+         * This is a work in progress feature. Generic components are not yet supported.
+         */
+        <Target>(): void;
+        /**
+         * Checks if the JSX component accepts the given props.
+         *
+         * @remarks
+         *
+         * This is a work in progress feature. Generic components are not yet supported.
+         */
+        (target: unknown): void;
+    };
+    /**
+     * Checks if the source type is the same as the target type.
+     */
+    toBe: {
+        /**
+         * Checks if the source type is the same as the target type.
+         */
+        <Target>(): void;
+        /**
+         * Checks if the source type is the same as type of the target expression.
+         */
+        (target: unknown): void;
+    };
+    /**
+     * Checks if the decorator function can be applied.
+     */
+    toBeApplicable: (target: unknown, context: DecoratorContext) => void;
+    /**
+     * Checks if the source type is assignable from the target type.
+     */
+    toBeAssignableFrom: {
+        /**
+         * Checks if the source type is assignable from the target type.
+         */
+        <Target>(): void;
+        /**
+         * Checks if the source type is assignable from type of the target expression.
+         */
+        (target: unknown): void;
+    };
+    /**
+     * Checks if the source type is assignable to the target type.
+     */
+    toBeAssignableTo: {
+        /**
+         * Checks if the source type is assignable to the target type.
+         */
+        <Target>(): void;
+        /**
+         * Checks if the source type is assignable to type of the target expression.
+         */
+        (target: unknown): void;
+    };
+    /**
+     * Checks if the source type is callable with the given arguments.
+     */
+    toBeCallableWith: (...args: Array<unknown>) => void;
+    /**
+     * Checks if the source type is constructable with the given arguments.
+     */
+    toBeConstructableWith: (...args: Array<unknown>) => void;
+    /**
+     * Checks if a property key exists on the source type.
+     */
+    toHaveProperty: (key: string | number | symbol) => void;
+    /**
+     * Checks if the source type raises an error.
+     */
+    toRaiseError: (...target: Array<string | number | RegExp>) => void;
+}
+interface Modifier {
+    /**
+     * Indicates a type-level assertion.
+     */
+    type: Matchers & {
+        /**
+         * Negates the assertion.
+         */
+        not: Matchers;
+    };
+}
+interface Expect {
+    /**
+     * Builds an assertion.
+     *
+     * @template Source - The type which is checked.
+     */
+    <Source>(): Modifier;
+    /**
+     * Builds an assertion.
+     *
+     * @param source - The expression whose type is checked.
+     */
+    (source: unknown): Modifier;
+    /**
+     * Marks an assertion as focused.
+     */
+    only: {
+        /**
+         * Marks an assertion as focused.
+         *
+         * @template Source - The type which is checked.
+         */
+        <Source>(): Modifier;
+        /**
+         * Marks an assertion as focused.
+         *
+         * @param source - The expression whose type is checked.
+         */
+        (source: unknown): Modifier;
+    };
+    /**
+     * Marks an assertion as skipped.
+     */
+    skip: {
+        /**
+         * Marks an assertion as skipped.
+         *
+         * @template Source - The type which is checked.
+         */
+        <Source>(): Modifier;
+        /**
+         * Marks an assertion as skipped.
+         *
+         * @param source - The expression whose type is checked.
+         */
+        (source: unknown): Modifier;
+    };
+}
+/**
+ * Builds an assertion.
+ */
+declare const expect: Expect;
+/**
+ * Reshapes type of the given object by removing the specified keys.
+ */
+declare function omit<T, K extends PropertyKey>(object: T, ...keys: [K, ...Array<K>]): Omit<T, K>;
+/**
+ * Reshapes type of the given object by keeping only the specified keys.
+ */
+declare function pick<T, K extends keyof T>(object: T, ...keys: [K, ...Array<K>]): Pick<T, K>;
+/**
+ * Defines a test group.
+ */
+declare const describe: Describe;
+/**
+ * Defines a single test.
+ */
+declare const it: Test;
+/**
+ * Defines a single test.
+ */
+declare const test: Test;
+interface Actions {
+    /**
+     * Calls the given function with the provided arguments.
+     */
+    isCalledWith: (...args: Array<unknown>) => void;
+}
+interface When {
+    /**
+     * Creates a test plan.
+     *
+     * @template Target - The type upon which an action is performed.
+     */
+    <Target>(): Actions;
+    /**
+     * Creates a test plan.
+     *
+     * @param target - The expression upon which an action is performed.
+     */
+    (target: unknown): Actions;
+}
+/**
+ * Creates a test plan.
+ */
+declare const when: When;
+
+export { describe, expect, it, omit, pick, test, when };

package/dist/tstyche.js

@@ -4756,6 +4756,12 @@ class Structure {
             }
             return false;
         }
+        if ((a.flags | b.flags) & this.#compiler.TypeFlags.TemplateLiteral) {
+            if (a.flags & b.flags & this.#compiler.TypeFlags.TemplateLiteral) {
+                return this.compareTemplateLiteralTypes(a, b);
+            }
+            return false;
+        }
         return false;
     }
     compareIntersections(a, b) {
@@ -5000,14 +5006,24 @@ class Structure {
         }
         return true;
     }
+    compareTemplateLiteralTypes(a, b) {
+        if (a.texts.length !== b.texts.length) {
+            return false;
+        }
+        for (let i = 0; i < a.texts.length; i++) {
+            if (a.texts[i] !== b.texts[i]) {
+                return false;
+            }
+            if (!this.#compareMaybeNullish(a.types[i], b.types[i])) {
+                return false;
+            }
+        }
+        return true;
+    }
     #normalize(type) {
         if (type.flags & this.#compiler.TypeFlags.Freshable && type.freshType === type) {
             return type.regularType;
         }
-        if (type.flags & this.#compiler.TypeFlags.Substitution &&
-            type.constraint.flags & this.#compiler.TypeFlags.Unknown) {
-            return type.baseType;
-        }
         if (type.flags & this.#compiler.TypeFlags.UnionOrIntersection) {
             const candidateType = this.#normalize(type.types[0]);
             if (type.types.every((t) => this.compare(this.#normalize(t), candidateType))) {
@@ -5872,7 +5888,7 @@ class FileRunner {
 class Runner {
     #eventEmitter = new EventEmitter();
     #resolvedConfig;
-    static version = "6.0.0-beta.3";
+    static version = "6.0.0-beta.4";
     constructor(resolvedConfig) {
         this.#resolvedConfig = resolvedConfig;
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tstyche",
-  "version": "6.0.0-beta.3",
+  "version": "6.0.0-beta.4",
   "description": "Everything You Need for Type Testing.",
   "keywords": [
     "typescript",
@@ -21,11 +21,15 @@
   "license": "MIT",
   "type": "module",
   "exports": {
-    ".": "./dist/index.js",
+    ".": {
+      "import": "./dist/index.js",
+      "require": "./dist/index.cjs"
+    },
     "./tstyche": "./dist/tstyche.js",
     "./package.json": "./package.json"
   },
   "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
   "bin": "./dist/bin.js",
   "peerDependencies": {
     "typescript": ">=5.4"