completionStringF :: F ((String -> [(a, String)]) ⊕ String) ([(a, String)] ⊕ (InputMsg String))
completionStringF creates a string entry field with a completion mechanism
Left complfun sets the function that generates completions.
Whenever a completion is requested, this function is applied to the
current contents of the input field, to genereate a list of
possible completions.
The generated strings should include the full contents of input field,
not just something that could be appended to the end of the current
string.
Right s sets the current string in the input field.
Left alts, where alts list the remaining possible
completions, is output when ia completion operation has been made.
Right msg, is output when the string is edited.
A function to generate completions: completeFromList.
The basic string entry field: stringF.
Documentation is incomplete.
This page documents work progress. Information on this page is subject to change without notice and does not represent a commitment on the part of the Fudgets corporation.
