make parse invertible

Author: kaikalii

changelog.md

@@ -10,6 +10,7 @@ If you are reading this on the website, then these changes are live here.
 - [`range` `⇡`](https://uiua.org/docs/range) called on a list of 0 or 1 values is now more consistent
 - [`fill` `⬚`](https://uiua.org/docs/fill) now works with [`rotate` `↻`](https://uiua.org/docs/rotate) to give non-wrapping behavior
 - [`fill` `⬚`](https://uiua.org/docs/fill) now works with [`find` `⌕`](https://uiua.org/docs/find) if the searched-for array is longer than the array being searched
+- [`parse`](https://uiua.org/docs/parse) now works with [`invert` `⍘`](https://uiua.org/docs/invert) and [`under` `⍜`](https://uiua.org/docs/under)
 - The output of [`find` `⌕`](https://uiua.org/docs/find) is now the same shape as the array being searched
 ### Interpreter
 - Fix a bunch of bugs

src/algorithm/invert.rs

@@ -50,6 +50,7 @@ fn prim_inverse(prim: Primitive, span: usize) -> Option<Instr> {
         Unbox => Instr::Prim(Box, span),
         Where => Instr::ImplPrim(InvWhere, span),
         Utf => Instr::ImplPrim(InvUtf, span),
+        Parse => Instr::ImplPrim(InvParse, span),
         _ => return None,
     })
 }
@@ -69,6 +70,7 @@ fn impl_prim_inverse(prim: ImplPrimitive, span: usize) -> Option<Instr> {
         InvAtan => Instr::Prim(Atan, span),
         InvComplex => Instr::Prim(Complex, span),
         InvCouple => Instr::Prim(Couple, span),
+        InvParse => Instr::Prim(Parse, span),
         _ => return None,
     })
 }

src/primitive/defs.rs

@@ -1779,6 +1779,7 @@ impl_primitive!(
     (1, InvTrace),
     (1(2), InvAtan),
     (1(2), InvComplex),
+    (1, InvParse),
     // Unders
     (3, Unselect),
     (3, Unpick),

src/primitive/mod.rs

@@ -755,6 +755,7 @@ impl ImplPrimitive {
             ImplPrimitive::LastMinIndex => env.monadic_ref_env(Value::last_min_index)?,
             ImplPrimitive::LastMaxIndex => env.monadic_ref_env(Value::last_max_index)?,
             ImplPrimitive::FirstWhere => env.monadic_ref_env(Value::first_where)?,
+            ImplPrimitive::InvParse => env.monadic_ref(ToString::to_string)?,
         }
         Ok(())
     }