claferIG-0.4.3: claferIG is an interactive tool that generates instances of Clafer models.

Safe HaskellSafe
LanguageHaskell2010

Language.Clafer.IG.CommandLineParser

Synopsis

Documentation

parseCommandLineAutoComplete :: String -> ParseError Source

This function uses the expected/unexpected messages to understand what to autocomplete. Any unexpected character means parse did not reach the end of the input, hence cannot autocomplete.

errorMessages :: ParseError -> [Message]

Extracts the list of error messages from the parse error