From e2b07a5fd0bbaad232c717fb90a31d6c61d72bd4 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 14 Jul 2022 20:06:50 -0400 Subject: Try to include previous variable definitions in REPL links --- docs/doc/search.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'docs/doc/search.html') diff --git a/docs/doc/search.html b/docs/doc/search.html index a92b25c1..948891e1 100644 --- a/docs/doc/search.html +++ b/docs/doc/search.html @@ -200,21 +200,21 @@ ⟨ 0 2 ⟩

The first thing you might try to search for just one element does not go so well (and yes, this is a bad thing).

-↗️
    stuff ⊐ "string"
+↗️
    stuff ⊐ "string"
 ⟨ 4 4 4 4 4 4 ⟩
 

 
Instead of interpreting 𝕩 as a single element, Index of treats it as a list, and 𝕨 doesn't even contain characters! Well, Enclose (<) makes an array from a single element…

-↗️
    stuff ⊐< "string"
+↗️
    stuff ⊐< "string"
 ┌·   
 · 2  
     ┘
 

 
This result has the right information, but is enclosed and could break the program later on. Remember that the result of a search function is always an array. We really want the first element.

-↗️
    stuff ⊑∘⊐⟜< "string"
+↗️
    stuff ⊑∘⊐⟜< "string"
 2
 

 
If 𝕨 is fixed, then the version I prefer is to use Under to enclose the argument and then un-enclose the result. It requires 𝕨 to be bound to ⊐ because otherwise Under would enclose 𝕨 as well, since it applies 𝔾 to both arguments.

-↗️
    stuff⊸⊐⌾< "string"
+↗️
    stuff⊸⊐⌾< "string"
 2
 

 
For Member of, the equivalent is ∊⟜stuff⌾<.

-- 
cgit v1.2.3