
search.pl -- SWISH search from the navigation bar
This library supports both typeahead of the search box and the actual search from the server side. What do we want to search for?
- Predicates (built-in, library)
- How should we handle documentation? PlDoc? Manual?
- Source files (name, tags, meta-data, content?)
- Show matching sources in modal dialog and allow switching to these?
search_box(+Options)//
- Render a Bootstrap search box.
typeahead(+Type, +Query, -Match, +Options:dict) is nondet[multifile]
- Find typeahead suggestions for a specific search category
(Type). This oredicate is a multifile predicate, which allows
for adding new search targets. The default implementation
offers:
- predicates
- Searches for built-in and configured library predicates
- sources
- Searches all loaded source files.
match(+Line:string, +Query:string, +Options:dict) is semidet
- True if Line matches Query, respecting Options.