feat(nominal-inputs): add SizedStringInput type

Signed-off-by: Andres Correa Casablanca <andreu@kindspells.dev>

Author: castarco

@coderspirit/nominal-inputs/README.md

@@ -39,10 +39,24 @@ function onlyAcceptsIntegers<N extends number>(n: IntegerInput<N>): number {
 }
 
 // Using the function
-onlyAcceptsIntegers(42) // All good :D
+onlyAcceptsIntegers(42)  // All good :D
 onlyAcceptsIntegers(0.5) // Type Error!
 ```
 
+### `SizedStringInput<S>`
+
+```typescript
+import type { SizedStringInput } from '@coderspirit/nominal-inputs'
+
+function onlyAcceptsThreeCharStrings<S extends string>(s: SizedStringInput<S, 3>): void {
+  console.log(s)
+}
+
+onlyAcceptsThreeCharStrings("abc")  // All good :D
+onlyAcceptsThreeCharStrings("ab")   // Type Error!
+onlyAcceptsThreeCharStrings("abcd") // Type Error!
+```
+
 ### Other Input types
 
 - `NegativeInput<N>`

@coderspirit/nominal-inputs/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@coderspirit/nominal-inputs",
-	"version": "1.1.4",
+	"version": "1.2.0",
 	"description": "Extension of @coderspirit/nominal with 'input' types",
 	"main": "./dist/main.cjs",
 	"module": "./dist/main.mjs",

@coderspirit/nominal-inputs/src/main.mts

@@ -1,5 +1,7 @@
 import type { FastProperty } from '@coderspirit/nominal'
 
+import type { StringLength } from './str.mts'
+
 // Basic Types (copied from Type-Fest)
 // -----------------------------------------------------------------------------
 type Numeric = number | bigint
@@ -85,3 +87,8 @@ export type PositiveIntegerInput<N extends Numeric = number> =
 
 export type NegativeIntegerInput<N extends Numeric = number> =
 	NegativeInput<N> & IntegerInput<N>
+
+export type SizedStringInput<
+	T extends string,
+	N extends number,
+> = StringLength<T> extends N ? T : never

@coderspirit/nominal-inputs/src/str.mts

@@ -0,0 +1,55 @@
+/**
+ * Copied from https://gist.github.com/sno2/7dac868ec6d11abb75250ce5e2b36041
+ * @author Carter Snook <cartersnook04@gmail.com> github.com/sno2
+ * @license https://unlicense.org/
+ */
+
+type TCache = [string, 0[]]
+
+type StringLengthUp<
+	T extends string,
+	$Acc extends 0[] = [],
+	$Cache extends TCache[] = [[`$${string}`, [0]]],
+> = $Cache extends [
+	infer C extends TCache,
+	...infer $RestCache extends TCache[],
+]
+	? (
+			`${C[0]}${C[0]}_` extends `$${string}$${infer $After}`
+				? `${C[0]}${$After}` extends `${infer $Before}_`
+					? $Before
+					: never
+				: never
+		) extends infer $DoubleC extends string
+		? `$${T}` extends `${$DoubleC}${infer $Rest}`
+			? StringLengthUp<
+					$Rest,
+					[...$Acc, ...C[1], ...C[1]],
+					[[$DoubleC, [...C[1], ...C[1]]], ...$Cache]
+				>
+			: `$${T}` extends `${C[0]}${infer $Rest}`
+				? StringLengthUp<$Rest, [...$Acc, ...C[1]], $Cache>
+				: StringLengthDown<T, $Acc, $RestCache>
+		: never
+	: $Acc['length']
+
+type StringLengthDown<
+	T extends string,
+	$Acc extends 0[],
+	$Cache extends TCache[],
+> = $Cache extends [
+	infer C extends TCache,
+	...infer $RestCache extends TCache[],
+]
+	? `$${T}` extends `${C[0]}${infer $Rest}`
+		? StringLengthDown<$Rest, [...$Acc, ...C[1]], $Cache>
+		: StringLengthDown<T, $Acc, $RestCache>
+	: $Acc['length']
+
+export type StringLength<S extends string> = S extends ''
+	? 0
+	: string extends S
+		? number
+		: number extends S['length']
+			? StringLengthUp<S>
+			: S['length']