Idea: Add a search functionality

[dawehner]

It would be super cool to have some form of search functionality:

• Search by simple strings (which is I think what find does?)
• Search by types (similiar to hoogle

[mitchellwrosen]

Name-based search is kind of possible (and kind of implemented) right now; when loading a branch we compute mappings from name-to-term and name-to-type:

elm-browser/client-src/Unison/Codebase/Branch.elm

Line 59 in f4d5cf0

, nameToType : NameDict ReferenceSet

elm-browser/client-src/Unison/Codebase/Branch.elm

Line 55 in f4d5cf0

, nameToTerm : NameDict ReferentSet

Then search is just a matter of creating sets from the keys in these maps, and filtering.

elm-browser/client-src/Ucb/Main/View.elm

Lines 117 to 130 in f4d5cf0

	column
	[]
	[ text "Hi, I'm your friendly neighborhood search box"
	, text "While I look great just the way I am, we are excited for colorful UI improvements coming soon!"
	, text "Anywho please give me a spin!"
	, Element.Input.text
	[]
	{ onChange = User_Search
	, text = model.ui.search
	, placeholder = Nothing
	, label = labelLeft [] (text "Search")
	}
	, column [] (List.map text matching)
	]