@vinicunca/perkakas 1.7.0 → 1.7.1

package/dist/sample.d.ts

@@ -1,11 +1,35 @@
+import { Or, IsEqual, IsNever, NonNegativeInteger, FixedLengthArray, Writable } from 'type-fest';
+import { C as CoercedArray } from './coerced-array-DRz3tqda.js';
 import { I as IterableContainer } from './iterable-container-BTpDVdNc.js';
+import { N as NTuple } from './n-tuple-5jljrt4c.js';
+import { P as PartialArray } from './partial-array-Vnf1fBtl.js';
+import { T as TupleParts } from './tuple-parts-BTivqbtT.js';
+import './perkakas-type-error-8wPb8T2y.js';
 
-type Sampled<T extends IterableContainer, N extends number> = number extends N ? SampledGeneric<T> : undefined extends T[N] ? T : SampledLiteral<T, N>;
-type SampledGeneric<T extends IterableContainer> = T[number] extends never ? T : T extends readonly [infer First, ...infer Rest] ? [First, ...SampledGeneric<Rest>] | SampledGeneric<Rest> : Array<T[number]>;
-type SampledLiteral<T extends IterableContainer, N extends number, Iteration extends Array<unknown> = []> = Iteration['length'] extends N ? [] : T extends readonly [infer First, ...infer Tail] ? [
-    First | Tail[number],
-    ...SampledLiteral<Tail, N, [unknown, ...Iteration]>
-] : T extends readonly [...infer Head, infer Last] ? [...SampledLiteral<Head, N, [unknown, ...Iteration]>, Last] : [T[number], ...SampledLiteral<T, N, [unknown, ...Iteration]>] | SampledLiteral<T, N, [unknown, ...Iteration]>;
+type Sampled<T extends IterableContainer, N extends number> = Or<IsEqual<N, 0>, IsEqual<T['length'], 0>> extends true ? [] : IsNever<NonNegativeInteger<N>> extends true ? SampledPrimitive<T> : IsLongerThan<T, N> extends true ? SampledLiteral<T, N> : Writable<T>;
+/**
+ * When N is not a non-negative integer **literal** we can't use it in our
+ * reconstructing logic so we fallback to a simpler definition of the output of
+ * sample, which is any sub-tuple shape of T, of **any length**.
+ */
+type SampledPrimitive<T extends IterableContainer> = [
+    ...FixedSubTuples<TupleParts<T>['required']>,
+    ...PartialArray<FixedSubTuples<TupleParts<T>['optional']>>,
+    ...CoercedArray<TupleParts<T>['item']>,
+    ...FixedSubTuples<TupleParts<T>['suffix']>
+];
+/**
+ * Knowing N is a non-negative literal integer we can construct all sub-tuples
+ * of T that are exactly N elements long.
+ */
+type SampledLiteral<T extends IterableContainer, N extends number> = Extract<FixedSubTuples<[
+    ...TupleParts<T>['required'],
+    ...(IsNever<TupleParts<T>['item']> extends true ? [] : NTuple<TupleParts<T>['item'], N>),
+    ...TupleParts<T>['suffix']
+]>, FixedLengthArray<unknown, N>> | SubSampled<TupleParts<T>['required'], TupleParts<T>['item'], TupleParts<T>['suffix'], N>;
+type SubSampled<Prefix extends ReadonlyArray<unknown>, Item, Suffix extends ReadonlyArray<unknown>, N extends number> = IsLongerThan<[...Prefix, ...Suffix], N> extends true ? never : [...Prefix, ...Suffix]['length'] extends N ? never : [...Prefix, ...Suffix] | SubSampled<[...Prefix, Item], Item, Suffix, N>;
+type IsLongerThan<T extends ReadonlyArray<unknown>, N extends number> = IsEqual<T[N], undefined> extends true ? false : true;
+type FixedSubTuples<T> = T extends readonly [infer Head, ...infer Rest] ? FixedSubTuples<Rest> | [Head, ...FixedSubTuples<Rest>] : [];
 /**
  * Returns a random subset of size `sampleSize` from `array`.
  *
@@ -27,7 +51,7 @@ type SampledLiteral<T extends IterableContainer, N extends number, Iteration ext
  * @dataFirst
  * @category Array
  */
-declare function sample<T extends IterableContainer, N extends number = number>(data: T, sampleSize: N): Sampled<T, N>;
+declare function sample<const T extends IterableContainer, N extends number = number>(data: T, sampleSize: N): Sampled<T, N>;
 /**
  * Returns a random subset of size `sampleSize` from `array`.
  *
@@ -48,6 +72,6 @@ declare function sample<T extends IterableContainer, N extends number = number>(
  * @dataLast
  * @category Array
  */
-declare function sample<T extends IterableContainer, N extends number = number>(sampleSize: N): (data: T) => Sampled<T, N>;
+declare function sample<const T extends IterableContainer, N extends number = number>(sampleSize: N): (data: T) => Sampled<T, N>;
 
 export { sample };

package/dist/sample.js

@@ -1 +1 @@
-import{a}from"./chunk-XEAAXO7F.js";import"./chunk-J6WPJH72.js";import"./chunk-KGPDVVVV.js";import"./chunk-EK7ODJWE.js";export{a as sample};
+import{a}from"./chunk-4Y6VRHEP.js";import"./chunk-J6WPJH72.js";import"./chunk-KGPDVVVV.js";import"./chunk-EK7ODJWE.js";export{a as sample};

package/dist/string-to-path.d.cts

@@ -1,13 +1,12 @@
 import { IsStringLiteral, IsNumericLiteral } from 'type-fest';
-import { I as If } from './if-D4QIikQ1.cjs';
 
-type StringToPath<S> = If<IsStringLiteral<S>, StringToPathImpl<S>, Array<string | number>>;
+type StringToPath<S> = IsStringLiteral<S> extends true ? StringToPathImpl<S> : Array<string | number>;
 type StringToPathImpl<S> = S extends `${infer Head}['${infer Quoted}']${infer Tail}` ? [...StringToPath<Head>, Quoted, ...StringToPath<Tail>] : S extends `${infer Head}["${infer DoubleQuoted}"]${infer Tail}` ? [...StringToPath<Head>, DoubleQuoted, ...StringToPath<Tail>] : S extends `${infer Head}[${infer Unquoted}]${infer Tail}` ? [
     ...StringToPath<Head>,
     ...StringToPath<Unquoted>,
     ...StringToPath<Tail>
 ] : S extends `${infer Head}.${infer Tail}` ? [...StringToPath<Head>, ...StringToPath<Tail>] : '' extends S ? [] : S extends `${infer N extends number}` ? [
-    If<IsNumericLiteral<N>, N, S>
+    IsNumericLiteral<N> extends true ? N : S
 ] : [S];
 /**
  * A utility to allow JSONPath-like strings to be used in other utilities which

package/dist/string-to-path.d.ts

@@ -1,13 +1,12 @@
 import { IsStringLiteral, IsNumericLiteral } from 'type-fest';
-import { I as If } from './if-D4QIikQ1.js';
 
-type StringToPath<S> = If<IsStringLiteral<S>, StringToPathImpl<S>, Array<string | number>>;
+type StringToPath<S> = IsStringLiteral<S> extends true ? StringToPathImpl<S> : Array<string | number>;
 type StringToPathImpl<S> = S extends `${infer Head}['${infer Quoted}']${infer Tail}` ? [...StringToPath<Head>, Quoted, ...StringToPath<Tail>] : S extends `${infer Head}["${infer DoubleQuoted}"]${infer Tail}` ? [...StringToPath<Head>, DoubleQuoted, ...StringToPath<Tail>] : S extends `${infer Head}[${infer Unquoted}]${infer Tail}` ? [
     ...StringToPath<Head>,
     ...StringToPath<Unquoted>,
     ...StringToPath<Tail>
 ] : S extends `${infer Head}.${infer Tail}` ? [...StringToPath<Head>, ...StringToPath<Tail>] : '' extends S ? [] : S extends `${infer N extends number}` ? [
-    If<IsNumericLiteral<N>, N, S>
+    IsNumericLiteral<N> extends true ? N : S
 ] : [S];
 /**
  * A utility to allow JSONPath-like strings to be used in other utilities which

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@vinicunca/perkakas",
   "type": "module",
-  "version": "1.7.0",
+  "version": "1.7.1",
   "description": "Utility for JavaScript and Typescript.",
   "author": "praburangki<https://github.com/praburangki>",
   "license": "MIT",
@@ -40,15 +40,15 @@
     "type-fest": "^4.41.0"
   },
   "devDependencies": {
-    "@types/node": "^22.16.5",
-    "@vinicunca/eslint-config": "^3.18.0",
+    "@types/node": "^22.17.0",
+    "@vinicunca/eslint-config": "^3.20.0",
     "@vitest/coverage-v8": "^3.2.4",
-    "bumpp": "^10.2.0",
-    "eslint": "^9.31.0",
+    "bumpp": "^10.2.2",
+    "eslint": "^9.32.0",
     "prettier": "^3.6.2",
     "taze": "^19.1.0",
     "tsup": "^8.5.0",
-    "typescript": "^5.8.3",
+    "typescript": "^5.9.2",
     "vitest": "^3.2.4"
   },
   "scripts": {

package/dist/chunk-2MHE6M7V.cjs

@@ -1 +0,0 @@
-"use strict";Object.defineProperty(exports, "__esModule", {value: true});var _chunkXR72I63Wcjs = require('./chunk-XR72I63W.cjs');function m(...e){return _chunkXR72I63Wcjs.a.call(void 0, o,e)}function o(e,r){if(r<=0)return[];if(r>=e.length)return[...e];let i=Math.min(r,e.length-r),t=new Set;for(;t.size<i;){let n=Math.floor(Math.random()*e.length);t.add(n)}return r===i?[...t].sort((n,a)=>n-a).map(n=>e[n]):e.filter((n,a)=>!t.has(a))}exports.a = m;

package/dist/chunk-NEIICTWC.js

@@ -1 +0,0 @@
-import{a as n}from"./chunk-J6WPJH72.js";function p(...e){return n(t,e)}function t(e,o){return e[o]}export{p as a,t as b};

package/dist/chunk-SOPOELNU.cjs

@@ -1 +0,0 @@
-"use strict";Object.defineProperty(exports, "__esModule", {value: true});var _chunkXR72I63Wcjs = require('./chunk-XR72I63W.cjs');function p(...e){return _chunkXR72I63Wcjs.a.call(void 0, t,e)}function t(e,o){return e[o]}exports.a = p; exports.b = t;

package/dist/chunk-XEAAXO7F.js

@@ -1 +0,0 @@
-import{a as l}from"./chunk-J6WPJH72.js";function m(...e){return l(o,e)}function o(e,r){if(r<=0)return[];if(r>=e.length)return[...e];let i=Math.min(r,e.length-r),t=new Set;for(;t.size<i;){let n=Math.floor(Math.random()*e.length);t.add(n)}return r===i?[...t].sort((n,a)=>n-a).map(n=>e[n]):e.filter((n,a)=>!t.has(a))}export{m as a};

package/dist/if-D4QIikQ1.d.cts

@@ -1,5 +0,0 @@
-import { IsNever } from 'type-fest';
-
-type If<Type extends boolean, IfBranch, ElseBranch> = IsNever<Type> extends true ? ElseBranch : Type extends true ? IfBranch : ElseBranch;
-
-export type { If as I };

package/dist/if-D4QIikQ1.d.ts

@@ -1,5 +0,0 @@
-import { IsNever } from 'type-fest';
-
-type If<Type extends boolean, IfBranch, ElseBranch> = IsNever<Type> extends true ? ElseBranch : Type extends true ? IfBranch : ElseBranch;
-
-export type { If as I };