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

Safe HaskellSafe-Inferred
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