feat(parser): add char ranges

gvergnaud · Apr 15, 2023 · 9035a2e · 9035a2e
1 parent ec8bbb9
commit 9035a2e
Show file tree

Hide file tree

Showing 4 changed files with 114 additions and 29 deletions.
diff --git a/src/internals/parser/Parser.ts b/src/internals/parser/Parser.ts
@@ -10,9 +10,10 @@ import {
   _,
 } from "../core/Core";
 import { Match } from "../match/Match";
+import { CharToNumber } from "../strings/impl/chars";
 import { Strings } from "../strings/Strings";
 import { Tuples } from "../tuples/Tuples";
-
+import { GreaterThanOrEqual, LessThanOrEqual } from "../numbers/impl/compare";
 export namespace Parser {
   /**
    * A parser is a function that takes static parameters and a string input
@@ -498,6 +499,44 @@ export namespace Parser {
       : InputError<this["arg0"]>;
   }
 
+  /**
+   * Parser that matches a single character between the given characters.
+   * @param start - the start of the range
+   * @param end - the end of the range
+   * @returns an Ok type if the parser matches or an error
+   *
+   * @example
+   * ```ts
+   * type T0 = Call<CharRange<"a", "z">, "a">;
+   * //   ^? type T0 = Ok< "a", "" >
+   * type T1 = Call<CharRange<"a", "z">, "z">;
+   * //   ^? type T1 = Ok< "z", "" >
+   * type T2 = Call<CharRange<"a", "z">, "A">;
+   * //   ^? type T2 = Error<{ message: "Expected 'range('a', 'z')' - Received 'A'"; cause: "";}>
+   * ```
+   */
+  export interface CharRange<start extends string, end extends string>
+    extends ParserFn {
+    name: "range";
+    params: [start, end];
+    return: this["arg0"] extends infer Input extends string
+      ? Input extends `${infer Head}${infer Tail}`
+        ? [CharToNumber<start>, CharToNumber<Head>, CharToNumber<end>] extends [
+            infer S extends number,
+            infer H extends number,
+            infer E extends number
+          ]
+          ? [GreaterThanOrEqual<H, S>, LessThanOrEqual<H, E>] extends [
+              true,
+              true
+            ]
+            ? Ok<Head, Tail>
+            : Err<this, Input>
+          : Err<this, Input>
+        : Err<this, Input>
+      : InputError<this["arg0"]>;
+  }
+
   /**
    * Parser that matches a single character that is an alphanumeric character.
    * @returns an Ok type if the parser matches or an error

diff --git a/src/internals/strings/Strings.ts b/src/internals/strings/Strings.ts
@@ -3,7 +3,6 @@ import { Std } from "../std/Std";
 import { Tuples } from "../tuples/Tuples";
 import * as H from "../helpers";
 import * as Impl from "./impl/strings";
-import { Functions } from "../functions/Functions";
 
 export namespace Strings {
   export type Stringifiable =

diff --git a/src/internals/strings/impl/chars.ts b/src/internals/strings/impl/chars.ts
@@ -0,0 +1,73 @@
+// prettier-ignore
+export type ascii = {
+  " ": 32; "!": 33; '"': 34; "#": 35; $: 36; "%": 37; "&": 38; "'": 39;
+  "(": 40; ")": 41; "*": 42; "+": 43; ",": 44; "-": 45; ".": 46; "/": 47; "0": 48; "1": 49;
+  "2": 50; "3": 51; "4": 52; "5": 53; "6": 54; "7": 55; "8": 56; "9": 57; ":": 58; ";": 59;
+  "<": 60; "=": 61; ">": 62; "?": 63; "@": 64; A: 65; B: 66; C: 67; D: 68; E: 69;
+  F: 70; G: 71; H: 72; I: 73; J: 74; K: 75; L: 76; M: 77; N: 78; O: 79;
+  P: 80; Q: 81; R: 82; S: 83; T: 84; U: 85; V: 86; W: 87; X: 88; Y: 89;
+  Z: 90; "[": 91; "\\": 92; "]": 93; "^": 94; _: 95; "`": 96; a: 97; b: 98; c: 99;
+  d: 100; e: 101; f: 102; g: 103; h: 104; i: 105; j: 106; k: 107; l: 108; m: 109;
+  n: 110; o: 111; p: 112; q: 113; r: 114; s: 115; t: 116; u: 117; v: 118; w: 119;
+  x: 120; y: 121; z: 122; "{": 123; "|": 124; "}": 125; "~": 126;
+  é: 130; â: 131; ä: 132; à: 133; å: 134; ç: 135; ê: 136; ë: 137; è: 138; ï: 139;
+  î: 140; ì: 141; Ä: 142; Å: 143; É: 144; æ: 145; Æ: 146; ô: 147; ö: 148; ò: 149;
+  û: 150; ù: 151; ÿ: 152; Ö: 153; Ü: 154; ø: 155; "£": 156; Ø: 157; "×": 158; ƒ: 159;
+  á: 160; í: 161; ó: 162; ú: 163; ñ: 164; Ñ: 165; ª: 166; º: 167; "¿": 168; "®": 169;
+  "½": 171; "¼": 172; "¡": 173; "«": 174; "»": 175; "░": 176; "▒": 177; "▓": 178; "│": 179;
+  "┤": 180; Á: 181; Â: 182; À: 183; "©": 184; "╣": 185; "║": 186; "╗": 187; "╝": 188; "¢": 189;
+  "¥": 190; "┐": 191; "└": 192; "┴": 193; "┬": 194; "├": 195; "─": 196; "┼": 197; ã: 198; Ã: 199;
+  "╚": 200; "╔": 201; "╩": 202; "╦": 203; "╠": 204; "═": 205; "╬": 206; "¤": 207; ð: 208; Ð: 209;
+  Ê: 210; Ë: 211; È: 212; ı: 213; Í: 214; Î: 215; Ï: 216; "┘": 217; "┌": 218; "█": 219;
+  "▄": 220; "¦": 221; Ì: 222; "▀": 223; Ó: 224; ß: 225; Ô: 226; Ò: 227; õ: 228; Õ: 229;
+  µ: 230; þ: 231; Þ: 232; Ú: 233; Û: 234; Ù: 235; ý: 236; Ý: 237; "¯": 238; "´": 239;
+  "¬": 240; "±": 241; "‗": 242; "¾": 243; "¶": 244; "§": 245; "÷": 246; "¸": 247; "°": 248; "¨": 249;
+  "•": 250; "¹": 251; "³": 252; "²": 253; "■": 254;
+};
+
+// prettier-ignore
+export type toNextAscii = [
+  "", "", "", "", "", "","", "", "","", "", "","", "", "","", "", "","", "", "","", "", "","", "", "","", "", "", "",
+  " ", "!", "\"", "#", "$", "%", "&", "'", "(", ")", "*", "+", ",", "-", ".", "/",
+  "0", "1", "2", "3", "4", "5", "6", "7", "8", "9", ":", ";", "<", "=", ">", "?",
+  "@", "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", "[", "\\", "]", "^", "_",
+  "`", "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", "{", "|", "}", "~", "", "", "",
+  "é", "â", "ä", "à", "å", "ç", "ê", "ë", "è", "ï", "î", "ì", "Ä", "Å", "É", "æ",
+  "Æ", "ô", "ö", "ò", "û", "ù", "ÿ", "Ö", "Ü", "ø", "£", "Ø", "×", "ƒ", "á", "í",
+  "ó", "ú", "ñ", "Ñ", "ª", "º", "¿", "®", "", "½", "¼", "¡", "«", "»", "░", "▒",
+  "▓", "│", "┤", "Á", "Â", "À", "©", "", "╣", "║", "╗", "╝", "¢", "¥", "┐", "└",
+  "┴", "┬", "├", "─", "┼", "ã", "Ã", "╚", "╔", "╩", "╦", "╠", "═", "╬", "¤", "ð",
+  "Ð", "Ê", "Ë", "È", "ı", "Í", "Î", "Ï", "┘", "┌", "█", "▄", "¦", "Ì", "▀", "Ó",
+  "ß", "Ô", "Ò", "õ", "Õ", "µ", "þ", "Þ", "Ú", "Û", "Ù", "ý", "Ý", "¯", "´",
+  "¬", "±", "‗", "¾", "¶", "§", "÷", "¸", "°", "¨", "•", "¹", "³", "²", "■"
+];
+
+export type toPrevAscii = ["", "", ...toNextAscii];
+
+export type toAscii = ["", ...toNextAscii];
+
+export type CharToNumber<T extends string> = T extends keyof ascii
+  ? ascii[T]
+  : 0;
+
+export type NumberToChar<T extends number> = T extends keyof toNextAscii
+  ? toAscii[T]
+  : "";
+
+export type CharNext<T extends string> = T extends keyof ascii
+  ? toNextAscii[ascii[T]]
+  : "";
+
+export type CharPrev<T extends string> = T extends keyof ascii
+  ? toPrevAscii[ascii[T]]
+  : "";
+
+export type CharRange<
+  start extends string,
+  end extends string,
+  acc extends string[] = []
+> = start extends end
+  ? [...acc, start]
+  : CharRange<CharNext<start>, end, [...acc, start]>;
diff --git a/src/internals/strings/impl/compare.ts b/src/internals/strings/impl/compare.ts
@@ -2,33 +2,7 @@ import { Call2 } from "../../core/Core";
 import { Numbers } from "../../numbers/Numbers";
 import { StringToTuple } from "./split";
 import { Equal as _Equal } from "../../helpers";
-
-// prettier-ignore
-type ascii = {
-  " ": 32; "!": 33; '"': 34; "#": 35; $: 36; "%": 37; "&": 38; "'": 39;
-  "(": 40; ")": 41; "*": 42; "+": 43; ",": 44; "-": 45; ".": 46; "/": 47; "0": 48; "1": 49;
-  "2": 50; "3": 51; "4": 52; "5": 53; "6": 54; "7": 55; "8": 56; "9": 57; ":": 58; ";": 59;
-  "<": 60; "=": 61; ">": 62; "?": 63; "@": 64; A: 65; B: 66; C: 67; D: 68; E: 69;
-  F: 70; G: 71; H: 72; I: 73; J: 74; K: 75; L: 76; M: 77; N: 78; O: 79;
-  P: 80; Q: 81; R: 82; S: 83; T: 84; U: 85; V: 86; W: 87; X: 88; Y: 89;
-  Z: 90; "[": 91; "\\": 92; "]": 93; "^": 94; _: 95; "`": 96; a: 97; b: 98; c: 99;
-  d: 100; e: 101; f: 102; g: 103; h: 104; i: 105; j: 106; k: 107; l: 108; m: 109;
-  n: 110; o: 111; p: 112; q: 113; r: 114; s: 115; t: 116; u: 117; v: 118; w: 119;
-  x: 120; y: 121; z: 122; "{": 123; "|": 124; "}": 125; "~": 126;
-  é: 130; â: 131; ä: 132; à: 133; å: 134; ç: 135; ê: 136; ë: 137; è: 138; ï: 139;
-  î: 140; ì: 141; Ä: 142; Å: 143; É: 144; æ: 145; Æ: 146; ô: 147; ö: 148; ò: 149;
-  û: 150; ù: 151; ÿ: 152; Ö: 153; Ü: 154; ø: 155; "£": 156; Ø: 157; "×": 158; ƒ: 159;
-  á: 160; í: 161; ó: 162; ú: 163; ñ: 164; Ñ: 165; ª: 166; º: 167; "¿": 168; "®": 169;
-  "½": 171; "¼": 172; "¡": 173; "«": 174; "»": 175; "░": 176; "▒": 177; "▓": 178; "│": 179;
-  "┤": 180; Á: 181; Â: 182; À: 183; "©": 184; "╣": 185; "║": 186; "╗": 187; "╝": 188; "¢": 189;
-  "¥": 190; "┐": 191; "└": 192; "┴": 193; "┬": 194; "├": 195; "─": 196; "┼": 197; ã: 198; Ã: 199;
-  "╚": 200; "╔": 201; "╩": 202; "╦": 203; "╠": 204; "═": 205; "╬": 206; "¤": 207; ð: 208; Ð: 209;
-  Ê: 210; Ë: 211; È: 212; ı: 213; Í: 214; Î: 215; Ï: 216; "┘": 217; "┌": 218; "█": 219;
-  "▄": 220; "¦": 221; Ì: 222; "▀": 223; Ó: 224; ß: 225; Ô: 226; Ò: 227; õ: 228; Õ: 229;
-  µ: 230; þ: 231; Þ: 232; Ú: 233; Û: 234; Ù: 235; ý: 236; Ý: 237; "¯": 238; "´": 239;
-  "¬": 240; "±": 241; "‗": 242; "¾": 243; "¶": 244; "§": 245; "÷": 246; "¸": 247; "°": 248; "¨": 249;
-  "•": 250; "¹": 251; "³": 252; "²": 253; "■": 254;
-};
+import { ascii } from "./chars";
 
 type CharacterCompare<
   Char1 extends string,