Enforce non-empty array invariants with TypeScript types and utilities.
npx skills add https://github.com/senrecep/tsentials --skill tsentials-array
Please help me install this Agent Skill. Skill: tsentials/array Source: https://github.com/senrecep/tsentials/tree/main/.well-known/agent-skills/tsentials-array Command: npx skills add https://github.com/senrecep/tsentials --skill tsentials-array
It solves the problem of unsafe array access by providing a type-safe way to represent arrays that are guaranteed to contain at least one element.
Use the NonEmptyArray helpers to enforce that your function inputs must contain at least one element, and convert from a possibly-empty array with asNonEmptyArray when needed.
High-intent search queries and answers about installing and using this skill.
To guarantee a TypeScript array is non-empty, use a type guard like isNonEmpty to narrow the type or asNonEmptyArray to convert it into a safe Option-like outcome for deterministic access.
The best way to safely get the first or last element is by using a NonEmptyArray type, which enforces that index 0 exists and eliminates the need for undefined checks on head and last operations.
To validate user input lists requiring at least one item, apply runtime narrowing with isNonEmpty to ensure the collection is valid before processing it through deterministic business rules.
Filtering a NonEmptyArray does not preserve the non-empty invariant, as the resulting array may become empty; however, operations like reverse intentionally maintain the non-empty guarantee.
Undefined errors occur because standard TypeScript arrays allow empty states; using a NonEmptyArray representation enforces the invariant that index 0 exists, eliminating these unsafe access errors.
Yes, you can use non-empty array helpers for processing pipelines by applying asNonEmptyArray to convert plain arrays, ensuring every downstream operation safely handles collections requiring at least one item.
Immanuel-AristotleIdentify and fix type-safety issues across a TypeScript codebase.
ccfCompute VaR, CVaR, drawdown, and risk-adjusted returns from pandas return series.
MolcajeteAIImplement TypeScript type guards, generics, branded types, and discriminated unions.
legions-developerEnforce Zod schema validation for typed TypeScript data safety.
