feat: Add Quoted::tokens

compiler/noirc_frontend/src/hir/comptime/interpreter/builtin.rs

@@ -97,6 +97,7 @@ impl<'local, 'context> Interpreter<'local, 'context> {
             "expr_resolve" => expr_resolve(self, arguments, location),
             "is_unconstrained" => Ok(Value::Bool(true)),
             "fmtstr_quoted_contents" => fmtstr_quoted_contents(interner, arguments, location),
+            "fmtstr_quoted" => fmtstr_quoted(interner, arguments, location),
             "function_def_body" => function_def_body(interner, arguments, location),
             "function_def_has_named_attribute" => {
                 function_def_has_named_attribute(interner, arguments, location)
@@ -1595,6 +1596,28 @@ fn fmtstr_quoted_contents(
     Ok(Value::Quoted(Rc::new(tokens)))
 }
 
+// fn quoted(self) -> Quoted
+fn fmtstr_quoted(
+    interner: &NodeInterner,
+    arguments: Vec<(Value, Location)>,
+    location: Location,
+) -> IResult<Value> {
+    let self_argument = check_one_argument(arguments, location)?;
+    let (string, _) = get_format_string(interner, self_argument)?;
+    let (tokens, _) = Lexer::lex(&string);
+    let str = tokens
+        .0
+        .into_iter()
+        .filter(|token| !matches!(token.clone().into_token(), Token::EOF))
+        .map(|token| token.into_token().display(interner).to_string())
+        .collect::<Vec<_>>()
+        .join("");
+
+    let token = Token::Str(str);
+
+    Ok(Value::Quoted(Rc::new(vec![token])))
+}
+
 // fn body(self) -> Expr
 fn function_def_body(
     interner: &NodeInterner,

docs/docs/noir/standard_library/fmtstr.md

@@ -10,4 +10,10 @@ title: fmtstr
 
 #include_code quoted_contents noir_stdlib/src/meta/format_string.nr rust
 
-Returns the format string contents (that is, without the leading and trailing double quotes) as a `Quoted` value.
+Returns the format string contents (that is, without the leading and trailing double quotes) as a `Quoted` value.
+
+### quoted
+
+#include_code quoted noir_stdlib/src/meta/format_string.nr rust
+
+Returns the format string (including the leading and trailing double quotes) as a `Quoted` value.

noir_stdlib/src/meta/format_string.nr

@@ -3,4 +3,9 @@ impl <let N: u32, T> fmtstr<N, T> {
     // docs:start:quoted_contents
     fn quoted_contents(self) -> Quoted {}
     // docs:end:quoted_contents
+
+    #[builtin(fmtstr_quoted)]
+    // docs:start:quoted
+    fn quoted(self) -> Quoted {}
+    // docs:end:quoted
 }