Have inventory search look at entity description in addition to names (#2582)

Closes #1879 .

At first I tried doing fuzzy search within entity descriptions, just like we currently do for searching in entity names, but subjectively that yielded way too many false positives.  The letters of any word you might type in could be found somewhere in almost all entity descriptions.  Doing fuzzy search within names but literal substring search within descriptions subjectively seems to yield useful results.

Author: byorgey

src/swarm-scenario/Swarm/Game/Entity.hs

@@ -671,8 +671,7 @@ entityNameFor _ = to $ \e ->
     Just pl -> pl
     Nothing -> plural (e ^. entityName)
 
--- | A longer, free-form description of the entity.  Each 'Text' value
---   represents a paragraph.
+-- | A longer, free-form description of the entity.
 entityDescription :: Lens' Entity (Document Syntax)
 entityDescription = hashedLens _entityDescription (\e x -> e {_entityDescription = x})
 

src/swarm-tui/Swarm/TUI/Model.hs

@@ -107,6 +107,7 @@ import Data.Map (Map)
 import Data.Maybe (fromMaybe)
 import Data.Set (Set)
 import Data.Text (Text)
+import Data.Text qualified as T
 import Data.Vector qualified as V
 import GitHash (GitInfo)
 import Graphics.Vty (ColorMode (..))
@@ -124,6 +125,7 @@ import Swarm.Game.State.Runtime
 import Swarm.Game.State.Substate
 import Swarm.Game.Tick (TickNumber (..))
 import Swarm.Game.World (Seed)
+import Swarm.Language.Text.Markdown qualified as Markdown
 import Swarm.Log
 import Swarm.TUI.Inventory.Sorting
 import Swarm.TUI.Model.DebugOption (DebugOption)
@@ -278,7 +280,13 @@ populateInventoryList (Just r) = do
               && not ((r ^. equippedDevices) `E.contains` e)
 
       matchesSearch :: (Count, Entity) -> Bool
-      matchesSearch (_, e) = maybe (const True) Fuzzy.test search (e ^. E.entityName)
+      matchesSearch (_, e) =
+        -- Fuzzy search within entity names.
+        maybe (const True) Fuzzy.test search (e ^. E.entityName)
+          -- Also do a literal substring search within entity
+          -- descriptions.  Since descriptions are long, a fuzzy
+          -- search tends to yield too many false positives.
+          || maybe (const True) T.isInfixOf search (Markdown.docToText (e ^. E.entityDescription))
 
       items =
         (r ^. robotInventory . to (itemList True mkInvEntry "Compendium"))