free-types-core 0.4.6 → 0.6.0

package/dist/free-types.d.ts

@@ -47,3 +47,17 @@ interface $UnaryFunction extends Type<2> {
 interface $Promise extends Type<1> {
     type: Promise<this[0]>;
 }
+declare global {
+    interface Set<T> {
+    }
+    interface ReadonlySet<T> {
+    }
+    interface WeakSet<T> {
+    }
+    interface Map<K, V> {
+    }
+    interface ReadonlyMap<K, V> {
+    }
+    interface WeakMap<K, V> {
+    }
+}

package/dist/unwrap.d.ts

@@ -11,6 +11,15 @@ declare type Interface = {
 } & {
     [Symbol.toStringTag]?: never;
 };
+declare global {
+    interface SymbolConstructor {
+        readonly toStringTag: unique symbol;
+    }
+    interface Symbol {
+        readonly [Symbol.toStringTag]: string;
+    }
+    var Symbol: SymbolConstructor;
+}
 export { unwrap, Unwrapped, Search };
 /** Decompose a type into its constituents */
 declare type unwrap<T, From extends Search = TypesMap> = T extends readonly unknown[] ? unwrapLists<T> : _unwrap<T, From extends Type ? [From] : From>;

package/dist/utils.d.ts

@@ -9,7 +9,9 @@ declare type _Next = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17,
 declare type Subtract<A extends number, B extends number> = number extends A ? number : number extends B ? number : _Subtract<A, B>;
 declare type _Subtract<A extends number, B extends number, _A = Prev<A>, _B = Prev<B>> = B extends 0 ? A : [_A] extends [never] ? never : [_B] extends never ? never : _Subtract<_A & number, _B & number>;
 declare type ArrayKeys = Exclude<keyof [], never>;
-declare type Slice<T extends unknown[], From extends number, To extends number = Required<T>['length'], I extends number = From, R extends unknown[] = []> = I extends To ? R : Slice<T, From, To, Next<I>, IsOptional<T, I> extends true ? [...R, T[I]?] : [...R, T[I]]>;
+declare type Slice<T extends unknown[], From extends number, To extends number = Required<T>['length'], I extends number = From, R extends unknown[] = []> = number extends To ? SliceOpenEndedTuple<T, From> : SliceTuple<T, From, To, I, R>;
+declare type SliceOpenEndedTuple<T extends unknown[], From extends number> = From extends 0 ? T : T extends [unknown, ...infer R] ? SliceOpenEndedTuple<R, Prev<From>> : never;
+declare type SliceTuple<T extends unknown[], From extends number, To extends number = Required<T>['length'], I extends number = From, R extends unknown[] = []> = I extends To ? R : Slice<T, From, To, Next<I>, IsOptional<T, I> extends true ? [...R, T[I]?] : [...R, T[I]]>;
 declare type IsOptional<T extends unknown[], I extends number> = [
     {
         [K in T['length'] as K]: K extends I ? never : unknown;

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "free-types-core",
-    "version": "0.4.6",
+    "version": "0.6.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",