regexp

Author: chengyifan

core.ts

@@ -35,7 +35,7 @@ type _NArrayNumber<L extends number> = _NArray<number, L>;
 type $CastType<X, Y, Default extends Y> = X extends Y ? X : Default;
 
 // 遍历数组
-type _ArrayStuct<T, Head extends T, Tail extends T[]> = [Head, ...Tail];
+type $ArrayStuct<T, Head extends T, Tail extends T[]> = [Head, ...Tail];
 
 type $Bool = 1 | 0; // True & False
 
@@ -74,9 +74,9 @@ type $Join<
   Result extends string = ""
 > = Arr extends []
   ? Result
-  : Arr extends _ArrayStuct<Arr[0], infer Word, []>
+  : Arr extends $ArrayStuct<Arr[0], infer Word, []>
   ? `${Result}${Word}`
-  : Arr extends _ArrayStuct<Arr[0], infer Word, infer Tail>
+  : Arr extends $ArrayStuct<Arr[0], infer Word, infer Tail>
   ? $Join<Tail, Sp, `${Result}${Word}${Sp}`>
   : never;
 
@@ -227,9 +227,14 @@ type $Subtract<
   Y1 extends $Number = Y extends $Number ? Y : $$Number<$CastType<Y, number, 0>>
 > = $Add<X1, $ReverseSign<Y1>>;
 
-type $EQ<X extends $Number, Y extends $Number> = X["value"] extends Y["value"]
-  ? 1
-  : 0;
+type $EQ<
+  X extends $Number | number,
+  Y extends $Number | number,
+  X1 extends $Number = X extends $Number
+    ? X
+    : $$Number<$CastType<X, number, 0>>,
+  Y1 extends $Number = Y extends $Number ? Y : $$Number<$CastType<Y, number, 0>>
+> = X1["value"] extends Y1["value"] ? 1 : 0;
 
 type $GT<
   X extends $Number | number,
@@ -249,6 +254,20 @@ type $LT<
   Y1 extends $Number = Y extends $Number ? Y : $$Number<$CastType<Y, number, 0>>
 > = $LTZ<$CastType<$Subtract<X1, Y1>, $Number, $$Number<0>>>;
 
+type $Max<X extends $Number | number, Y extends $Number | number> = $LT<
+  X,
+  Y
+> extends 1
+  ? Y
+  : X;
+
+type $Min<X extends $Number | number, Y extends $Number | number> = $LT<
+  X,
+  Y
+> extends 1
+  ? X
+  : Y;
+
 // 乘法
 type $Multiply<
   X extends $Number | number,

regexp.ts

@@ -0,0 +1,115 @@
+type $Digital = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9;
+type _Al = "abcdefghijklmnopqrstvuwxyz";
+type _Au = "ABCDEFGHIJKLMNOPQRSTVUWXYZ";
+type _Aa = `${_Al}${_Au}`;
+type $Alphabets_lower = $Split<_Al>[number];
+type $Alphabets_upper = $Split<_Au>[number];
+type $Alphabets = $Alphabets_lower | $Alphabets_upper;
+type $Words = $Digital | $Alphabets | "_";
+
+type $Split<Str extends string, Result extends string[] = []> = Str extends ""
+  ? Result
+  : Str extends `${infer Head}${infer Tail}`
+  ? $Split<Tail, [...Result, Head]>
+  : [];
+
+type $Slice<
+  Str extends string,
+  From extends number,
+  To extends number,
+  I extends number = 0,
+  Arr extends string[] = $Split<Str>,
+  ToBound extends number = $Min<Arr["length"], To>,
+  Result extends [string, string, string] = ["", "", ""]
+> = $LT<I, From> extends 1
+  ? $Slice<
+      Str,
+      From,
+      To,
+      $Add<I, 1>["value"],
+      Arr,
+      ToBound,
+      [`${Result[0]}${Arr[I]}`, Result[1], Result[2]]
+    >
+  : $LT<I, ToBound> extends 1
+  ? $Slice<
+      Str,
+      From,
+      To,
+      $Add<I, 1>["value"],
+      Arr,
+      ToBound,
+      [Result[0], `${Result[1]}${Arr[I]}`, Result[2]]
+    >
+  : $LT<I, Arr["length"]> extends 1
+  ? $Slice<
+      Str,
+      From,
+      To,
+      $Add<I, 1>["value"],
+      Arr,
+      ToBound,
+      [Result[0], Result[1], `${Result[2]}${Arr[I]}`]
+    >
+  : Result;
+
+type $SliceToCharArray<
+  Str extends string,
+  From extends number,
+  To extends number,
+  I extends number = 0,
+  Arr extends string[] = $Split<Str>,
+  ToBound extends number = $Min<Arr["length"], To>,
+  Result extends string[] = []
+> = $LT<I, From> extends 1
+  ? $SliceToCharArray<Str, From, To, $Add<I, 1>["value"], Arr, ToBound, Result>
+  : $LT<I, ToBound> extends 1
+  ? $SliceToCharArray<
+      Str,
+      From,
+      To,
+      $Add<I, 1>["value"],
+      Arr,
+      ToBound,
+      [...Result, Arr[I]]
+    >
+  : $LT<I, Arr["length"]> extends 1
+  ? $SliceToCharArray<Str, From, To, $Add<I, 1>["value"], Arr, ToBound, Result>
+  : Result;
+
+type $Repeat<
+  Str extends string,
+  N extends number,
+  Result extends string = ""
+> = N extends 0
+  ? Result
+  : $Repeat<Str, $Subtract<N, 1>["value"], `${Result}${Str}`>;
+
+type _RepeatRange<
+  Str extends string,
+  M extends number,
+  N extends number,
+  Result extends string[] = []
+> = $LT<M, $Add<N, 1>["value"]> extends 1
+  ? _RepeatRange<Str, $Add<M, 1>["value"], N, [...Result, $Repeat<Str, M>]>
+  : Result;
+
+type $RepeatRange<
+  Str extends string,
+  M extends number,
+  N extends number
+> = $ArrayToUnion<_RepeatRange<Str, M, N>>;
+
+type $ArrayToUnion<T extends any[]> = number extends keyof T
+  ? T[number]
+  : never;
+
+type Color = `#${$RepeatRange<"a" | "b", 3, 6>}`;
+
+const c: Color = "#aba";
+
+type $AlphaRange<From extends number, To extends number> = $ArrayToUnion<
+  $SliceToCharArray<_Aa, From, To>
+>;
+
+type a = $AlphaRange<3, 7>;