free-types-core 0.6.0 → 0.7.0

package/dist/Type.d.ts

@@ -10,19 +10,10 @@ interface CreateType<T extends {
     type: unknown;
     constraints: unknown[];
 }> {
+    [k: number]: unknown;
     type: T['type'];
     constraints: T['constraints'];
     arguments: unknown[];
-    0: unknown;
-    1: unknown;
-    2: unknown;
-    3: unknown;
-    4: unknown;
-    5: unknown;
-    6: unknown;
-    7: unknown;
-    8: unknown;
-    9: unknown;
 }
 declare type Slots<T> = T extends Precomputable ? PrecomputedSlots[T & Precomputable] : Tuple<T extends unknown[] ? T['length'] : T extends number ? T : number>;
 declare type Constraints<Input, Slots> = number extends Input ? unknown[] : unknown[] extends Input ? unknown[] : Input extends unknown[] ? Input : Slots;

package/dist/hkt.d.ts

@@ -5,9 +5,15 @@ declare type HKT = {
     HKT: [any, ...any[]];
 };
 /** Expect a free type with contravariant arguments */
-declare type Contra<$T extends Type, $U extends Type> = $U['constraints'] extends $T['constraints'] ? $T['type'] extends $U['type'] ? Type : Type<$T['constraints'], $U['type']> : {
-    'Contravariance issue': {
-        'the input': $U['constraints'];
-        'is not assignable to': $T['constraints'];
+declare type Contra<$T, $U extends Type> = _Contra<$T, $U>['type'];
+interface _Contra<$T, $U extends Type> {
+    type: $U['constraints'] extends this['$T']['constraints'] ? this['$T']['type'] extends $U['type'] ? Type : Type<this['$T']['constraints'], $U['type']> : {
+        [K in 'Contravariance issue']: [
+            'the input',
+            $U['constraints'],
+            'is not assignable to',
+            this['$T']['constraints']
+        ];
     };
-};
+    $T: $T extends Type ? $T : never;
+}

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "free-types-core",
-    "version": "0.6.0",
+    "version": "0.7.0",
     "description": "A type-level library enabling the creation and the manipulation of type constructors which are detached from their type parameters.",
     "keywords:": [
         "higher kinded type",