¤ completionStringF

Types

completionStringF :: F ((String -> [(a, String)])  String) ([(a, String)]  (InputMsg String))

Description

completionStringF creates a string entry field with a completion mechanism

Input

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.

Output

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.

See Also

A function to generate completions: completeFromList.

The basic string entry field: stringF.

Bugs

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.