perf: Reworked ascii/digit parsing to speed up things
This commit is contained in:
		@@ -727,54 +727,52 @@ fn parse_unreserved(str: String) -> Result(#(String, String), Nil) {
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
// sub-delims    = "!" / "$" / "&" / "'" / "(" / ")"
 | 
					// sub-delims    = "!" / "$" / "&" / "'" / "(" / ")"
 | 
				
			||||||
//               / "*" / "+" / "," / ";" / "="
 | 
					//               / "*" / "+" / "," / ";" / "="
 | 
				
			||||||
fn parse_sub_delim(str: String) {
 | 
					//                 %21 / %24 / %26 / %27 / %28 / %29
 | 
				
			||||||
  case str {
 | 
					//               / %2A / %2B / %2C / %3B / %3D
 | 
				
			||||||
    "!" as l <> rest
 | 
					fn parse_sub_delim(str: String) -> Result(#(String, String), Nil) {
 | 
				
			||||||
    | "$" as l <> rest
 | 
					  case string.pop_grapheme(str) {
 | 
				
			||||||
    | "&" as l <> rest
 | 
					    Ok(#(char, tail)) -> {
 | 
				
			||||||
    | "'" as l <> rest
 | 
					      let assert [codepoint] = string.to_utf_codepoints(char)
 | 
				
			||||||
    | "(" as l <> rest
 | 
					      case string.utf_codepoint_to_int(codepoint) {
 | 
				
			||||||
    | ")" as l <> rest
 | 
					        i if i >= 0x26 && i <= 0x2C -> Ok(#(char, tail))
 | 
				
			||||||
    | "*" as l <> rest
 | 
					        i if i == 0x21 -> Ok(#(char, tail))
 | 
				
			||||||
    | "+" as l <> rest
 | 
					        i if i == 0x24 -> Ok(#(char, tail))
 | 
				
			||||||
    | "," as l <> rest
 | 
					        i if i == 0x3B -> Ok(#(char, tail))
 | 
				
			||||||
    | ";" as l <> rest
 | 
					        i if i == 0x3D -> Ok(#(char, tail))
 | 
				
			||||||
    | "=" as l <> rest -> Ok(#(l, rest))
 | 
					 | 
				
			||||||
        _ -> Error(Nil)
 | 
					        _ -> Error(Nil)
 | 
				
			||||||
      }
 | 
					      }
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 | 
					    Error(_) -> Error(Nil)
 | 
				
			||||||
 | 
					  }
 | 
				
			||||||
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
// DIGIT    = %x30–39
 | 
					// DIGIT    = %x30–39
 | 
				
			||||||
fn parse_digit(str: String) -> Result(#(String, String), Nil) {
 | 
					fn parse_digit(str: String) -> Result(#(String, String), Nil) {
 | 
				
			||||||
  case str {
 | 
					  case string.pop_grapheme(str) {
 | 
				
			||||||
    "0" as l <> rest
 | 
					    Ok(#(char, tail)) -> {
 | 
				
			||||||
    | "1" as l <> rest
 | 
					      let assert [codepoint] = string.to_utf_codepoints(char)
 | 
				
			||||||
    | "2" as l <> rest
 | 
					      case string.utf_codepoint_to_int(codepoint) {
 | 
				
			||||||
    | "3" as l <> rest
 | 
					        i if i >= 0x30 && i <= 0x39 -> Ok(#(char, tail))
 | 
				
			||||||
    | "4" as l <> rest
 | 
					 | 
				
			||||||
    | "5" as l <> rest
 | 
					 | 
				
			||||||
    | "6" as l <> rest
 | 
					 | 
				
			||||||
    | "7" as l <> rest
 | 
					 | 
				
			||||||
    | "8" as l <> rest
 | 
					 | 
				
			||||||
    | "9" as l <> rest -> Ok(#(l, rest))
 | 
					 | 
				
			||||||
        _ -> Error(Nil)
 | 
					        _ -> Error(Nil)
 | 
				
			||||||
      }
 | 
					      }
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 | 
					    Error(_) -> Error(Nil)
 | 
				
			||||||
 | 
					  }
 | 
				
			||||||
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					// DIGIT (non-zero)    = %x31–39
 | 
				
			||||||
fn parse_digit_nz(str: String) -> Result(#(String, String), Nil) {
 | 
					fn parse_digit_nz(str: String) -> Result(#(String, String), Nil) {
 | 
				
			||||||
  case str {
 | 
					  case string.pop_grapheme(str) {
 | 
				
			||||||
    "1" as l <> rest
 | 
					    Ok(#(char, tail)) -> {
 | 
				
			||||||
    | "2" as l <> rest
 | 
					      let assert [codepoint] = string.to_utf_codepoints(char)
 | 
				
			||||||
    | "3" as l <> rest
 | 
					      case string.utf_codepoint_to_int(codepoint) {
 | 
				
			||||||
    | "4" as l <> rest
 | 
					        i if i >= 0x31 && i <= 0x39 -> Ok(#(char, tail))
 | 
				
			||||||
    | "5" as l <> rest
 | 
					 | 
				
			||||||
    | "6" as l <> rest
 | 
					 | 
				
			||||||
    | "7" as l <> rest
 | 
					 | 
				
			||||||
    | "8" as l <> rest
 | 
					 | 
				
			||||||
    | "9" as l <> rest -> Ok(#(l, rest))
 | 
					 | 
				
			||||||
        _ -> Error(Nil)
 | 
					        _ -> Error(Nil)
 | 
				
			||||||
      }
 | 
					      }
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 | 
					    Error(_) -> Error(Nil)
 | 
				
			||||||
 | 
					  }
 | 
				
			||||||
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
fn parse_digits(str: String, digits: String) {
 | 
					fn parse_digits(str: String, digits: String) {
 | 
				
			||||||
  case parse_digit(str) {
 | 
					  case parse_digit(str) {
 | 
				
			||||||
@@ -787,62 +785,18 @@ fn parse_digits(str: String, digits: String) {
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
// ALPHA    = %x41–5A | %x61–7A
 | 
					// ALPHA    = %x41–5A | %x61–7A
 | 
				
			||||||
fn parse_alpha(str: String) -> Result(#(String, String), Nil) {
 | 
					fn parse_alpha(str: String) -> Result(#(String, String), Nil) {
 | 
				
			||||||
  case str {
 | 
					  case string.pop_grapheme(str) {
 | 
				
			||||||
    "a" as l <> rest
 | 
					    Ok(#(char, tail)) -> {
 | 
				
			||||||
    | "b" as l <> rest
 | 
					      let assert [codepoint] = string.to_utf_codepoints(char)
 | 
				
			||||||
    | "c" as l <> rest
 | 
					      case string.utf_codepoint_to_int(codepoint) {
 | 
				
			||||||
    | "d" as l <> rest
 | 
					        i if i >= 0x41 && i <= 0x5A -> Ok(#(char, tail))
 | 
				
			||||||
    | "e" as l <> rest
 | 
					        i if i >= 0x61 && i <= 0x7A -> Ok(#(char, tail))
 | 
				
			||||||
    | "f" as l <> rest
 | 
					 | 
				
			||||||
    | "g" as l <> rest
 | 
					 | 
				
			||||||
    | "h" as l <> rest
 | 
					 | 
				
			||||||
    | "i" as l <> rest
 | 
					 | 
				
			||||||
    | "j" as l <> rest
 | 
					 | 
				
			||||||
    | "k" as l <> rest
 | 
					 | 
				
			||||||
    | "l" as l <> rest
 | 
					 | 
				
			||||||
    | "m" as l <> rest
 | 
					 | 
				
			||||||
    | "n" as l <> rest
 | 
					 | 
				
			||||||
    | "o" as l <> rest
 | 
					 | 
				
			||||||
    | "p" as l <> rest
 | 
					 | 
				
			||||||
    | "q" as l <> rest
 | 
					 | 
				
			||||||
    | "r" as l <> rest
 | 
					 | 
				
			||||||
    | "s" as l <> rest
 | 
					 | 
				
			||||||
    | "t" as l <> rest
 | 
					 | 
				
			||||||
    | "u" as l <> rest
 | 
					 | 
				
			||||||
    | "v" as l <> rest
 | 
					 | 
				
			||||||
    | "w" as l <> rest
 | 
					 | 
				
			||||||
    | "x" as l <> rest
 | 
					 | 
				
			||||||
    | "y" as l <> rest
 | 
					 | 
				
			||||||
    | "z" as l <> rest
 | 
					 | 
				
			||||||
    | "A" as l <> rest
 | 
					 | 
				
			||||||
    | "B" as l <> rest
 | 
					 | 
				
			||||||
    | "C" as l <> rest
 | 
					 | 
				
			||||||
    | "D" as l <> rest
 | 
					 | 
				
			||||||
    | "E" as l <> rest
 | 
					 | 
				
			||||||
    | "F" as l <> rest
 | 
					 | 
				
			||||||
    | "G" as l <> rest
 | 
					 | 
				
			||||||
    | "H" as l <> rest
 | 
					 | 
				
			||||||
    | "I" as l <> rest
 | 
					 | 
				
			||||||
    | "J" as l <> rest
 | 
					 | 
				
			||||||
    | "K" as l <> rest
 | 
					 | 
				
			||||||
    | "L" as l <> rest
 | 
					 | 
				
			||||||
    | "M" as l <> rest
 | 
					 | 
				
			||||||
    | "N" as l <> rest
 | 
					 | 
				
			||||||
    | "O" as l <> rest
 | 
					 | 
				
			||||||
    | "P" as l <> rest
 | 
					 | 
				
			||||||
    | "Q" as l <> rest
 | 
					 | 
				
			||||||
    | "R" as l <> rest
 | 
					 | 
				
			||||||
    | "S" as l <> rest
 | 
					 | 
				
			||||||
    | "T" as l <> rest
 | 
					 | 
				
			||||||
    | "U" as l <> rest
 | 
					 | 
				
			||||||
    | "V" as l <> rest
 | 
					 | 
				
			||||||
    | "W" as l <> rest
 | 
					 | 
				
			||||||
    | "X" as l <> rest
 | 
					 | 
				
			||||||
    | "Y" as l <> rest
 | 
					 | 
				
			||||||
    | "Z" as l <> rest -> Ok(#(l, rest))
 | 
					 | 
				
			||||||
        _ -> Error(Nil)
 | 
					        _ -> Error(Nil)
 | 
				
			||||||
      }
 | 
					      }
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 | 
					    Error(_) -> Error(Nil)
 | 
				
			||||||
 | 
					  }
 | 
				
			||||||
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
pub fn parse_query_parts(query: String) -> Result(List(#(String, String)), Nil) {
 | 
					pub fn parse_query_parts(query: String) -> Result(List(#(String, String)), Nil) {
 | 
				
			||||||
  let splitter = splitter.new(["&"])
 | 
					  let splitter = splitter.new(["&"])
 | 
				
			||||||
 
 | 
				
			|||||||
@@ -370,33 +370,20 @@ fn unescape_percent(str: String) -> String {
 | 
				
			|||||||
  }
 | 
					  }
 | 
				
			||||||
}
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
pub fn parse_hex_digit(str) {
 | 
					pub fn parse_hex_digit(str: String) -> Result(#(String, String), Nil) {
 | 
				
			||||||
  case str {
 | 
					  case string.pop_grapheme(str) {
 | 
				
			||||||
    "0" as l <> rest
 | 
					    Ok(#(char, tail)) -> {
 | 
				
			||||||
    | "1" as l <> rest
 | 
					      let assert [codepoint] = string.to_utf_codepoints(char)
 | 
				
			||||||
    | "2" as l <> rest
 | 
					      case string.utf_codepoint_to_int(codepoint) {
 | 
				
			||||||
    | "3" as l <> rest
 | 
					        i if i >= 0x30 && i <= 0x39 -> Ok(#(char, tail))
 | 
				
			||||||
    | "4" as l <> rest
 | 
					        i if i >= 0x41 && i <= 0x46 -> Ok(#(char, tail))
 | 
				
			||||||
    | "5" as l <> rest
 | 
					        i if i >= 0x61 && i <= 0x66 -> Ok(#(char, tail))
 | 
				
			||||||
    | "6" as l <> rest
 | 
					 | 
				
			||||||
    | "7" as l <> rest
 | 
					 | 
				
			||||||
    | "8" as l <> rest
 | 
					 | 
				
			||||||
    | "9" as l <> rest
 | 
					 | 
				
			||||||
    | "a" as l <> rest
 | 
					 | 
				
			||||||
    | "b" as l <> rest
 | 
					 | 
				
			||||||
    | "c" as l <> rest
 | 
					 | 
				
			||||||
    | "d" as l <> rest
 | 
					 | 
				
			||||||
    | "e" as l <> rest
 | 
					 | 
				
			||||||
    | "f" as l <> rest
 | 
					 | 
				
			||||||
    | "A" as l <> rest
 | 
					 | 
				
			||||||
    | "B" as l <> rest
 | 
					 | 
				
			||||||
    | "C" as l <> rest
 | 
					 | 
				
			||||||
    | "D" as l <> rest
 | 
					 | 
				
			||||||
    | "E" as l <> rest
 | 
					 | 
				
			||||||
    | "F" as l <> rest -> Ok(#(l, rest))
 | 
					 | 
				
			||||||
        _ -> Error(Nil)
 | 
					        _ -> Error(Nil)
 | 
				
			||||||
      }
 | 
					      }
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 | 
					    Error(_) -> Error(Nil)
 | 
				
			||||||
 | 
					  }
 | 
				
			||||||
 | 
					}
 | 
				
			||||||
 | 
					
 | 
				
			||||||
pub fn parse_hex_digits(str, min, max) {
 | 
					pub fn parse_hex_digits(str, min, max) {
 | 
				
			||||||
  parse_min_max(str, min, max, parse_hex_digit)
 | 
					  parse_min_max(str, min, max, parse_hex_digit)
 | 
				
			||||||
 
 | 
				
			|||||||
		Reference in New Issue
	
	Block a user