@planet-matrix/mobius-model 0.3.0 → 0.5.0

package/src/type/string.ts

@@ -0,0 +1,1004 @@
+// oxlint-disable ban-types
+
+// ============================================================================
+// Primitives
+// ============================================================================
+
+export type StringAutoCompletable = string & {}
+/**
+ * @see {@link https://x.com/mattpocockuk/status/1822917991232569660}
+ */
+export type StringWithAutoCompleteOptions<Options extends string> = Options | StringAutoCompletable
+
+/**
+ * Define the uppercase letter type.
+ *
+ * @example
+ * ```
+ * // Expect: 'A' | 'B' | ... | 'Z'
+ * type Example1 = UppercaseLetter
+ * ```
+ */
+export type UppercaseLetter = 'A' | 'B' | 'C' | 'D' | 'E' | 'F' | 'G' | 'H' | 'I' | 'J' | 'K' | 'L' | 'M' | 'N' | 'O' | 'P' | 'Q' | 'R' | 'S' | 'T' | 'U' | 'V' | 'W' | 'X' | 'Y' | 'Z'
+
+/**
+ * Define the lowercase letter type.
+ *
+ * @example
+ * ```
+ * // Expect: 'a' | 'b' | ... | 'z'
+ * type Example1 = LowercaseLetter
+ * ```
+ */
+export type LowercaseLetter = 'a' | 'b' | 'c' | 'd' | 'e' | 'f' | 'g' | 'h' | 'i' | 'j' | 'k' | 'l' | 'm' | 'n' | 'o' | 'p' | 'q' | 'r' | 's' | 't' | 'u' | 'v' | 'w' | 'x' | 'y' | 'z'
+
+/**
+ * Define the digit character type.
+ *
+ * @example
+ * ```
+ * // Expect: '0' | '1' | ... | '9'
+ * type Example1 = DigitCharacter
+ * ```
+ */
+export type DigitCharacter = '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
+
+/**
+ * Define the alphanumeric character type.
+ *
+ * @example
+ * ```
+ * // Expect: 'a' | 'b' | ... | 'z' | 'A' | 'B' | ... | 'Z' | '0' | '1' | ... | '9'
+ * type Example1 = Alphanumeric
+ * ```
+ */
+export type AlphanumericCharacter = UppercaseLetter | LowercaseLetter | DigitCharacter
+
+// ============================================================================
+// Validation
+// ============================================================================
+
+/**
+ * Check if a string only contains digits.
+ *
+ * @example
+ * ```
+ * // Expect: true
+ * type Example1 = IsNumber<'123'>
+ * // Expect: false
+ * type Example2 = IsNumber<'12a'>
+ * ```
+ */
+export type StringIsNumber<S extends string> =
+  S extends ''
+  ? false
+  : (
+    S extends `${infer First}${infer Rest}`
+    ? (
+      First extends '0' | '1' | '2' | '3' | '4' | '5' | '6' | '7' | '8' | '9'
+      ? (Rest extends '' ? true : StringIsNumber<Rest>)
+      : false
+    )
+    : false
+  )
+
+/**
+ * Check if a string is all lowercase.
+ *
+ * @example
+ * ```
+ * // Expect: true
+ * type Example1 = StringIsLowerCase<'hello'>
+ * // Expect: false
+ * type Example2 = StringIsLowerCase<'Hello'>
+ * ```
+ */
+export type StringIsLowerCase<S extends string> = S extends Lowercase<S> ? true : false
+
+/**
+ * Check if a string is all uppercase.
+ *
+ * @example
+ * ```
+ * // Expect: true
+ * type Example1 = StringIsUpperCase<'HELLO'>
+ * // Expect: false
+ * type Example2 = StringIsUpperCase<'Hello'>
+ * ```
+ */
+export type StringIsUpperCase<S extends string> = S extends Uppercase<S> ? true : false
+
+/**
+ * Check if a string only contains alphabetic characters.
+ *
+ * @example
+ * ```
+ * // Expect: true
+ * type Example1 = StringIsAlpha<'hello'>
+ * // Expect: false
+ * type Example2 = StringIsAlpha<'hello123'>
+ * ```
+ */
+export type StringIsAlpha<S extends string> =
+  S extends ''
+  ? false
+  : (
+    S extends `${infer First}${infer Rest}`
+    ? (
+      First extends Uppercase<First>
+      ? (
+        First extends Lowercase<First>
+        ? false
+        : (Rest extends '' ? true : StringIsAlpha<Rest>)
+      )
+      : (Rest extends '' ? true : StringIsAlpha<Rest>)
+    )
+    : false
+  )
+
+/**
+ * Check if a string only contains whitespace characters.
+ *
+ * @example
+ * ```
+ * // Expect: true
+ * type Example1 = StringIsWhitespace<'   '>
+ * // Expect: false
+ * type Example2 = StringIsWhitespace<' a '>
+ * ```
+ */
+export type StringIsWhitespace<S extends string> =
+  S extends ''
+  ? true
+  : (
+    S extends `${infer First}${infer Rest}`
+    ? (
+      First extends ' ' | '\n' | '\t' | '\r'
+      ? StringIsWhitespace<Rest>
+      : false
+    )
+    : false
+  )
+
+/**
+ * Check if a string is empty.
+ *
+ * @example
+ * ```
+ * // Expect: true
+ * type Example1 = StringIsEmpty<''>
+ * ```
+ */
+export type StringIsEmpty<S extends string> = S extends '' ? true : false
+
+// ============================================================================
+// Comparison
+// ============================================================================
+
+/**
+ * Check if two strings are equal.
+ *
+ * @example
+ * ```
+ * // Expect: true
+ * type Example1 = StringIsEqual<'hello', 'hello'>
+ * // Expect: false
+ * type Example2 = StringIsEqual<'hello', 'world'>
+ * ```
+ */
+export type StringIsEqual<S1 extends string, S2 extends string> =
+  S1 extends S2 ? (S2 extends S1 ? true : false) : false
+
+/**
+ * Check if a string starts with a prefix.
+ *
+ * @example
+ * ```
+ * // Expect: true
+ * type Example1 = StringStartsWith<'hello world', 'hello'>
+ * ```
+ */
+export type StringStartsWith<S extends string, Prefix extends string> = S extends `${Prefix}${string}` ? true : false
+
+/**
+ * Check if a string ends with a suffix.
+ *
+ * @example
+ * ```
+ * // Expect: true
+ * type Example1 = StringEndsWith<'hello world', 'world'>
+ * ```
+ */
+export type StringEndsWith<S extends string, Suffix extends string> = S extends `${string}${Suffix}` ? true : false
+
+/**
+ * Check if a string includes a substring.
+ *
+ * @example
+ * ```
+ * // Expect: true
+ * type Example1 = StringIncludes<'hello world', 'lo wo'>
+ * ```
+ */
+export type StringIncludes<S extends string, Substring extends string> = S extends `${string}${Substring}${string}`
+  ? true
+  : false
+
+// ============================================================================
+// Query
+// ============================================================================
+
+type InternalStringLength<S extends string, Acc extends readonly unknown[]> = S extends `${string}${infer Rest}`
+  ? InternalStringLength<Rest, [...Acc, unknown]>
+  : Acc['length']
+/**
+ * Get the length of a string literal type.
+ *
+ * @example
+ * ```
+ * // Expect: 5
+ * type Example1 = StringLength<'hello'>
+ * ```
+ */
+export type StringLength<S extends string> = InternalStringLength<S, []>
+
+type InternalStringCount<S extends string, Sub extends string, Count extends readonly unknown[] = []> =
+  S extends `${infer _Start}${Sub}${infer Rest}`
+  ? InternalStringCount<Rest, Sub, [...Count, unknown]>
+  : Count['length']
+/**
+ * Count the number of occurrences of a substring.
+ *
+ * @example
+ * ```
+ * // Expect: 2
+ * type Example1 = StringCount<'hello world', 'l'>
+ * // Expect: 0
+ * type Example2 = StringCount<'hello', 'x'>
+ * ```
+ */
+export type StringCount<S extends string, Sub extends string> =
+  Sub extends '' ? 0 : InternalStringCount<S, Sub>
+
+type InternalStringIndexOf<S extends string, Sub extends string, Index extends readonly unknown[] = []> =
+  S extends `${Sub}${string}`
+  ? Index['length']
+  : (
+    S extends `${string}${infer Rest}`
+    ? InternalStringIndexOf<Rest, Sub, [...Index, unknown]>
+    : -1
+  )
+/**
+ * Find the first occurrence index of a substring.
+ *
+ * @example
+ * ```
+ * // Expect: 2
+ * type Example1 = StringIndexOf<'hello', 'll'>
+ * // Expect: -1
+ * type Example2 = StringIndexOf<'hello', 'x'>
+ * ```
+ */
+export type StringIndexOf<S extends string, Sub extends string> =
+  Sub extends '' ? 0 : InternalStringIndexOf<S, Sub>
+
+type InternalStringCommonPrefix<S1 extends string, S2 extends string, Acc extends string = ''> =
+  S1 extends `${infer First1}${infer Rest1}`
+  ? (
+    S2 extends `${infer First2}${infer Rest2}`
+    ? (
+      First1 extends First2
+      ? InternalStringCommonPrefix<Rest1, Rest2, `${Acc}${First1}`>
+      : Acc
+    )
+    : Acc
+  )
+  : Acc
+/**
+ * Get the common prefix of two strings.
+ *
+ * @example
+ * ```
+ * // Expect: 'hello'
+ * type Example1 = StringCommonPrefix<'helloworld', 'hellothere'>
+ * ```
+ */
+export type StringCommonPrefix<S1 extends string, S2 extends string> = InternalStringCommonPrefix<S1, S2>
+
+// ============================================================================
+// String Generation
+// ============================================================================
+
+type InternalRepeat<
+  S extends string,
+  N extends number,
+  Acc extends string,
+  Count extends readonly unknown[],
+> = Count['length'] extends N ? Acc : InternalRepeat<S, N, `${Acc}${S}`, [...Count, unknown]>
+/**
+ * Repeat a string N times.
+ *
+ * @example
+ * ```
+ * // Expect: 'ababab'
+ * type Example1 = StringRepeat<'ab', 3>
+ * ```
+ */
+export type StringRepeat<
+  S extends string,
+  N extends number
+> = InternalRepeat<S, N, '', []>
+
+// ============================================================================
+// Extraction
+// ============================================================================
+
+/**
+ * Extract the first character of a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'h'
+ * type Example1 = StringFirst<'hello'>
+ * ```
+ */
+export type StringFirst<S extends string> = S extends `${infer First}${string}` ? First : never
+
+/**
+ * Extract the last character of a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'o'
+ * type Example1 = StringLast<'hello'>
+ * ```
+ */
+export type StringLast<S extends string> = S extends `${infer Rest}${infer Last}` ? (Rest extends '' ? Last : StringLast<Rest>) : never
+
+/**
+ * Get the character at a specific index in a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'e'
+ * type Example1 = StringAt<'hello', 1>
+ * ```
+ */
+export type StringAt<S extends string, Index extends number> =
+  StringSplit<S, ''> extends (infer Characters extends string[])
+  ? Characters[Index]
+  : never
+
+// ============================================================================
+// Manipulation
+// ============================================================================
+
+/**
+ * Concatenate an array of strings.
+ *
+ * @example
+ * ```
+ * // Expect: 'helloworld'
+ * type Example1 = StringConcat<['hello', 'world']>
+ * ```
+ */
+export type StringConcat<T extends readonly string[]> =
+  T extends [infer First extends string, ...infer Rest extends string[]]
+  ? `${First}${StringConcat<Rest>}`
+  : ''
+
+/**
+ * Split a string into an array by a separator.
+ *
+ * @example
+ * ```
+ * // Expect: ['a', 'b', 'c']
+ * type Example1 = StringSplit<'a,b,c', ','>
+ * ```
+ */
+export type StringSplit<S extends string, Separator extends string> = S extends `${infer First}${Separator}${infer Rest}`
+  ? [First, ...StringSplit<Rest, Separator>]
+  : (S extends '' ? [] : [S])
+
+type InternalStringSplitToWords<S extends string, Acc extends string[] = [], Current extends string = ''> =
+  S extends `${infer First}${infer Rest}`
+  ? (
+    First extends ' ' | '-' | '_'
+    ? (
+      Current extends ''
+      ? InternalStringSplitToWords<Rest, Acc, ''>
+      : InternalStringSplitToWords<Rest, [...Acc, Current], ''>
+    )
+    : InternalStringSplitToWords<Rest, Acc, `${Current}${First}`>
+  )
+  : (Current extends '' ? Acc : [...Acc, Current])
+/**
+ * Split a string into words (by spaces, hyphens, underscores).
+ *
+ * @example
+ * ```
+ * // Expect: ['hello', 'world', 'test']
+ * type Example1 = StringSplitToWords<'hello-world_test'>
+ * ```
+ */
+export type StringSplitToWords<S extends string> = InternalStringSplitToWords<S>
+
+type InternalStringSplitToChunks<S extends string, Size extends number, Acc extends string[] = [], Current extends string = '', Counter extends readonly unknown[] = []> =
+  Counter['length'] extends Size
+  ? InternalStringSplitToChunks<S, Size, [...Acc, Current], '', []>
+  : (
+    S extends `${infer First}${infer Rest}`
+    ? InternalStringSplitToChunks<Rest, Size, Acc, `${Current}${First}`, [...Counter, unknown]>
+    : (Current extends '' ? Acc : [...Acc, Current])
+  )
+/**
+ * Split a string into chunks of a specific size.
+ *
+ * @example
+ * ```
+ * // Expect: ['he', 'll', 'o']
+ * type Example1 = StringSplitToChunks<'hello', 2>
+ * ```
+ */
+export type StringSplitToChunks<S extends string, Size extends number> = InternalStringSplitToChunks<S, Size>
+
+/**
+ * Join an array of strings with a separator.
+ *
+ * @example
+ * ```
+ * // Expect: 'a-b-c'
+ * type Example1 = StringJoin<['a', 'b', 'c'], '-'>
+ * ```
+ */
+export type StringJoin<T extends readonly string[], Separator extends string> =
+  T extends [infer First extends string, ...infer Rest extends string[]]
+  ? (Rest extends [] ? First : `${First}${Separator}${StringJoin<Rest, Separator>}`)
+  : ''
+
+type InternalReverse<S extends string, Acc extends string = ""> = S extends `${infer First}${infer Rest}`
+  ? InternalReverse<Rest, `${First}${Acc}`>
+  : Acc
+/**
+ * Reverse a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'olleh'
+ * type Example1 = StringReverse<'hello'>
+ * ```
+ */
+export type StringReverse<S extends string> = InternalReverse<S>
+
+type InternalStringDropFirst<S extends string, N extends number, Counter extends readonly unknown[] = []> =
+  Counter['length'] extends N
+  ? S
+  : (S extends `${string}${infer Rest}` ? InternalStringDropFirst<Rest, N, [...Counter, unknown]> : S)
+/**
+ * Drop the first N characters from a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'lo'
+ * type Example1 = StringDropFirst<'hello', 3>
+ * ```
+ */
+export type StringDropFirst<S extends string, N extends number> = InternalStringDropFirst<S, N>
+
+type InternalStringDropLast<S extends string, N extends number, Counter extends readonly unknown[] = []> =
+  Counter['length'] extends N
+  ? S
+  : (S extends `${infer Rest}${string}` ? InternalStringDropLast<Rest, N, [...Counter, unknown]> : S)
+/**
+ * Drop the last N characters from a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'hel'
+ * type Example1 = StringDropLast<'hello', 2>
+ * ```
+ */
+export type StringDropLast<S extends string, N extends number> = InternalStringDropLast<S, N>
+
+type InternalStringTakeFirst<S extends string, N extends number, Acc extends string = '', Counter extends readonly unknown[] = []> =
+  Counter['length'] extends N
+  ? Acc
+  : (S extends `${infer First}${infer Rest}` ? InternalStringTakeFirst<Rest, N, `${Acc}${First}`, [...Counter, unknown]> : Acc)
+/**
+ * Take the first N characters from a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'hel'
+ * type Example1 = StringTakeFirst<'hello', 3>
+ * ```
+ */
+export type StringTakeFirst<S extends string, N extends number> = InternalStringTakeFirst<S, N>
+
+type InternalStringTakeLast<S extends string, N extends number, Counter extends readonly unknown[] = []> =
+  Counter['length'] extends N
+  ? S
+  : (S extends `${string}${infer Rest}` ? InternalStringTakeLast<Rest, N, [...Counter, unknown]> : '')
+/**
+ * Take the last N characters from a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'lo'
+ * type Example1 = StringTakeLast<'hello', 2>
+ * ```
+ */
+export type StringTakeLast<S extends string, N extends number> = InternalStringTakeLast<S, N>
+
+/**
+ * Replace the first occurrence of a substring with another.
+ *
+ * @example
+ * ```
+ * // Expect: 'hello typescript world'
+ * type Example1 = StringReplaceFirst<'hello world world', 'world', 'typescript'>
+ * ```
+ */
+export type StringReplaceFirst<S extends string, From extends string, To extends string> =
+  From extends ''
+  ? S
+  : (
+    S extends `${infer Start}${From}${infer Rest}`
+    ? `${Start}${To}${Rest}`
+    : S
+  )
+
+/**
+ * Replace all occurrences of a substring with another.
+ *
+ * @example
+ * ```
+ * // Expect: 'hello typescript typescript'
+ * type Example1 = StringReplaceAll<'hello world world', 'world', 'typescript'>
+ * ```
+ */
+export type StringReplaceAll<S extends string, From extends string, To extends string> =
+  From extends ''
+  ? S
+  : (
+    S extends `${infer Start}${From}${infer Rest}`
+    ? `${Start}${To}${StringReplaceAll<Rest, From, To>}`
+    : S
+  )
+
+type InternalStringInsert<
+  S extends string,
+  Index extends number,
+  Insert extends string,
+  Counter extends readonly unknown[] = [],
+  Acc extends string = ''
+> =
+  Counter['length'] extends Index
+  ? `${Acc}${Insert}${S}`
+  : (
+    S extends `${infer First}${infer Rest}`
+    ? InternalStringInsert<Rest, Index, Insert, [...Counter, unknown], `${Acc}${First}`>
+    : `${Acc}${Insert}`
+  )
+/**
+ * Insert a string at a specific index.
+ *
+ * @example
+ * ```
+ * // Expect: 'helXYZlo'
+ * type Example1 = StringInsert<'hello', 3, 'XYZ'>
+ * ```
+ */
+export type StringInsert<S extends string, Index extends number, Insert extends string> =
+  InternalStringInsert<S, Index, Insert>
+
+type InternalStringRemove<
+  S extends string,
+  Start extends number,
+  End extends number,
+  Counter extends readonly unknown[] = [],
+  Acc extends string = ''
+> =
+  S extends `${infer First}${infer Rest}`
+  ? (
+    Counter['length'] extends Start
+    ? InternalStringRemoveRange<Rest, End, Start, [...Counter, unknown]>
+    : InternalStringRemove<Rest, Start, End, [...Counter, unknown], `${Acc}${First}`>
+  )
+  : Acc
+type InternalStringRemoveRange<
+  S extends string,
+  End extends number,
+  Start extends number,
+  Counter extends readonly unknown[]
+> =
+  Counter['length'] extends End
+  ? S
+  : (
+    S extends `${string}${infer Rest}`
+    ? InternalStringRemoveRange<Rest, End, Start, [...Counter, unknown]>
+    : ''
+  )
+/**
+ * Remove characters from a string between start and end indices.
+ *
+ * @example
+ * ```
+ * // Expect: 'heo'
+ * type Example1 = StringRemove<'hello', 2, 4>
+ * ```
+ */
+export type StringRemove<S extends string, Start extends number, End extends number> =
+  InternalStringRemove<S, Start, End>
+
+/**
+ * Trim whitespace from both ends of a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'hello'
+ * type Example1 = StringTrim<'  hello  '>
+ * ```
+ */
+export type StringTrim<S extends string> = S extends ` ${infer Rest}` | `\n${infer Rest}` | `\t${infer Rest}`
+  ? StringTrim<Rest>
+  : (
+    S extends `${infer Rest} ` | `${infer Rest}\n` | `${infer Rest}\t`
+    ? StringTrim<Rest>
+    : S
+  )
+
+/**
+ * Trim whitespace from the start of a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'hello'
+ * type Example1 = StringTrimStart<'  hello'>
+ * ```
+ */
+export type StringTrimStart<S extends string> = S extends ` ${infer Rest}` | `\n${infer Rest}` | `\t${infer Rest}`
+  ? StringTrimStart<Rest>
+  : S
+
+/**
+ * Trim whitespace from the end of a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'hello'
+ * type Example1 = StringTrimEnd<'hello  '>
+ * ```
+ */
+export type StringTrimEnd<S extends string> = S extends `${infer Rest} ` | `${infer Rest}\n` | `${infer Rest}\t`
+  ? StringTrimEnd<Rest>
+  : S
+
+type InternalStringPadStart<
+  S extends string,
+  Length extends number,
+  Fill extends string,
+  Acc extends string,
+  Count extends readonly unknown[],
+> = StringLength<Acc> extends Length ? Acc : InternalStringPadStart<S, Length, Fill, `${Fill}${Acc}`, [...Count, unknown]>
+/**
+ * Pad a string on the left to a target length with a fill string.
+ *
+ * @example
+ * ```
+ * // Expect: '005'
+ * type Example1 = StringPadStart<'5', 3, '0'>
+ * ```
+ */
+export type StringPadStart<
+  S extends string,
+  Length extends number,
+  Fill extends string = ' ',
+> = InternalStringPadStart<S, Length, Fill, S, []>
+
+type InternalStringPadEnd<
+  S extends string,
+  Length extends number,
+  Fill extends string,
+  Acc extends string,
+  Count extends readonly unknown[],
+> = StringLength<Acc> extends Length ? Acc : InternalStringPadEnd<S, Length, Fill, `${Acc}${Fill}`, [...Count, unknown]>
+/**
+ * Pad a string on the right to a target length with a fill string.
+ *
+ * @example
+ * ```
+ * // Expect: '500'
+ * type Example1 = StringPadEnd<'5', 3, '0'>
+ * ```
+ */
+export type StringPadEnd<
+  S extends string,
+  Length extends number,
+  Fill extends string = ' ',
+> = InternalStringPadEnd<S, Length, Fill, S, []>
+
+/**
+ * Convert a string to uppercase.
+ *
+ * @example
+ * ```
+ * // Expect: 'HELLO'
+ * type Example1 = StringUppercase<'hello'>
+ * ```
+ */
+export type StringUppercase<S extends string> = Uppercase<S>
+
+/**
+ * Convert a string to lowercase.
+ *
+ * @example
+ * ```
+ * // Expect: 'hello'
+ * type Example1 = StringLowercase<'HELLO'>
+ * ```
+ */
+export type StringLowercase<S extends string> = Lowercase<S>
+
+/**
+ * Capitalize the first letter of a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'Hello'
+ * type Example1 = StringCapitalize<'hello'>
+ * ```
+ */
+export type StringCapitalize<S extends string> = S extends `${infer First}${infer Rest}`
+  ? `${Uppercase<First>}${Rest}`
+  : S
+
+/**
+ * Uncapitalize the first letter of a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'hello'
+ * type Example1 = StringUncapitalize<'Hello'>
+ * ```
+ */
+export type StringUncapitalize<S extends string> = S extends `${infer First}${infer Rest}`
+  ? `${Lowercase<First>}${Rest}`
+  : S
+
+/**
+ * Convert a string to kebab-case.
+ *
+ * @example
+ * ```
+ * // Expect: 'hello-world'
+ * type Example1 = StringKebabCase<'helloWorld'>
+ * // Expect: 'hello-world'
+ * type Example2 = StringKebabCase<'HelloWorld'>
+ * // Expect: 'hello-world--test'
+ * type Example3 = StringKebabCase<'helloWorld-Test'>
+ * // Expect: 'u-r-l-string'
+ * type Example4 = StringKebabCase<'URLString'>
+ * ```
+ */
+export type StringKebabCase<
+  S extends string,
+  First extends boolean = true
+> =
+  S extends `${infer C}${infer Rest}`
+  ? (
+    C extends Lowercase<C>
+    ? `${C}${StringKebabCase<Rest, false>}`
+    : (
+      First extends true
+      ? `${Lowercase<C>}${StringKebabCase<Rest, false>}`
+      : `-${Lowercase<C>}${StringKebabCase<Rest, false>}`
+    )
+  )
+  : ''
+
+/**
+ * Convert a string to camelCase.
+ *
+ * @example
+ * ```
+ * // Expect: 'helloWorld'
+ * type Example1 = StringCamelCase<'hello-world'>
+ * // Expect: 'helloWorld'
+ * type Example2 = StringCamelCase<'hello--world'>
+ * ```
+ */
+export type StringCamelCase<S extends string> = S extends `${infer First}-${infer Rest}`
+  ? `${Lowercase<First>}${StringCapitalize<StringCamelCase<Rest>>}`
+  : (
+    S extends `${infer First}_${infer Rest}`
+    ? `${Lowercase<First>}${StringCapitalize<StringCamelCase<Rest>>}`
+    : Lowercase<S>
+  )
+
+/**
+ * Convert a string to PascalCase.
+ *
+ * @example
+ * ```
+ * // Expect: 'HelloWorld'
+ * type Example1 = StringPascalCase<'hello-world'>
+ * // Expect: 'HelloWorld'
+ * type Example2 = StringPascalCase<'HELLO_WORLD'>
+ * ```
+ */
+export type StringPascalCase<S extends string> = StringCapitalize<StringCamelCase<S>>
+
+/**
+ * Convert a string to snake_case.
+ *
+ * @example
+ * ```
+ * // Expect: 'hello_world'
+ * type Example1 = StringSnakeCase<'helloWorld'>
+ * ```
+ */
+export type StringSnakeCase<
+  S extends string,
+  First extends boolean = true
+> =
+  S extends `${infer C}${infer Rest}`
+  ? (
+    C extends Lowercase<C>
+    ? `${C}${StringSnakeCase<Rest, false>}`
+    : (
+      First extends true
+      ? `${Lowercase<C>}${StringSnakeCase<Rest, false>}`
+      : `_${Lowercase<C>}${StringSnakeCase<Rest, false>}`
+    )
+  )
+  : ''
+
+type InternalStringTitleCase<S extends string, ShouldCapitalize extends boolean = true> =
+  S extends `${infer First}${infer Rest}`
+  ? (
+    First extends ' ' | '-' | '_'
+    ? `${First}${InternalStringTitleCase<Rest, true>}`
+    : (
+      ShouldCapitalize extends true
+      ? `${Uppercase<First>}${InternalStringTitleCase<Rest, false>}`
+      : `${Lowercase<First>}${InternalStringTitleCase<Rest, false>}`
+    )
+  )
+  : ''
+/**
+ * Convert a string to Title Case (capitalize first letter of each word).
+ *
+ * @example
+ * ```
+ * // Expect: 'Hello World'
+ * type Example1 = StringTitleCase<'hello world'>
+ * // Expect: 'Hello-World-Test'
+ * type Example2 = StringTitleCase<'hello-world-test'>
+ * ```
+ */
+export type StringTitleCase<S extends string> = InternalStringTitleCase<S>
+
+/**
+ * Convert a string to CONSTANT_CASE.
+ *
+ * @example
+ * ```
+ * // Expect: 'HELLO_WORLD'
+ * type Example1 = StringConstantCase<'helloWorld'>
+ * // Expect: 'HELLO_WORLD'
+ * type Example2 = StringConstantCase<'hello-world'>
+ * ```
+ */
+export type StringConstantCase<S extends string, First extends boolean = true> =
+  S extends `${infer C}${infer Rest}`
+  ? (
+    C extends '-' | '_' | ' '
+    ? `_${StringConstantCase<Rest, true>}`
+    : (
+      C extends Lowercase<C>
+      ? `${Uppercase<C>}${StringConstantCase<Rest, false>}`
+      : (
+        First extends true
+        ? `${Uppercase<C>}${StringConstantCase<Rest, false>}`
+        : `_${Uppercase<C>}${StringConstantCase<Rest, false>}`
+      )
+    )
+  )
+  : ''
+
+type InternalStringSwapCase<S extends string> =
+  S extends `${infer First}${infer Rest}`
+  ? (
+    First extends Uppercase<First>
+    ? `${Lowercase<First>}${InternalStringSwapCase<Rest>}`
+    : `${Uppercase<First>}${InternalStringSwapCase<Rest>}`
+  )
+  : ''
+/**
+ * Swap the case of each character in a string.
+ *
+ * @example
+ * ```
+ * // Expect: 'HELLO world'
+ * type Example1 = StringSwapCase<'hello WORLD'>
+ * ```
+ */
+export type StringSwapCase<S extends string> = InternalStringSwapCase<S>
+
+type InternalStringEllipsis<S extends string, Max extends number, Counter extends readonly unknown[] = [], Acc extends string = ''> =
+  Counter['length'] extends Max
+  ? `${Acc}...`
+  : (
+    S extends `${infer First}${infer Rest}`
+    ? InternalStringEllipsis<Rest, Max, [...Counter, unknown], `${Acc}${First}`>
+    : Acc
+  )
+/**
+ * Truncate a string with ellipsis if it exceeds maximum length.
+ *
+ * @example
+ * ```
+ * // Expect: 'hel...'
+ * type Example1 = StringEllipsis<'hello world', 3>
+ * ```
+ */
+export type StringEllipsis<S extends string, Max extends number> = InternalStringEllipsis<S, Max>
+
+type InternalStringIndent<S extends string, Spaces extends string> =
+  S extends `${infer Line}\n${infer Rest}`
+  ? `${Spaces}${Line}\n${InternalStringIndent<Rest, Spaces>}`
+  : `${Spaces}${S}`
+/**
+ * Add indentation to each line of a string.
+ *
+ * @example
+ * ```
+ * // Expect: '  hello\n  world'
+ * type Example1 = StringIndent<'hello\nworld', '  '>
+ * ```
+ */
+export type StringIndent<S extends string, Spaces extends string = '  '> = InternalStringIndent<S, Spaces>
+
+// ============================================================================
+// Conversion
+// ============================================================================
+
+/**
+ * Convert a string literal to a number type (limited to small numbers).
+ *
+ * @example
+ * ```
+ * // Expect: number
+ * type Example1 = StringToNumber<'123'>
+ * ```
+ */
+export type StringToNumber<S extends string> =
+  S extends `${infer N extends number}` ? N : never
+
+/**
+ * Convert string 'true' or 'false' to boolean type.
+ *
+ * @example
+ * ```
+ * // Expect: true
+ * type Example1 = StringToBoolean<'true'>
+ * // Expect: false
+ * type Example2 = StringToBoolean<'false'>
+ * ```
+ */
+export type StringToBoolean<S extends string> =
+  S extends 'true' ? true :
+  S extends 'false' ? false :
+  never
+
+/**
+ * Convert a string to an array of characters.
+ *
+ * @example
+ * ```
+ * // Expect: ['h', 'e', 'l', 'l', 'o']
+ * type Example1 = StringToTuple<'hello'>
+ * ```
+ */
+export type StringToTuple<S extends string> = StringSplit<S, ''>