Agda-2.6.0.1: A dependently typed functional programming language and proof assistant

Safe Haskell | Safe
Language | Haskell2010

Agda.Interaction.Options.Help

Synopsis

- data Help
  - = GeneralHelp
  - | HelpFor HelpTopic
- helpTopicUsage :: HelpTopic -> String
- string2HelpTopic :: String -> Maybe HelpTopic
- allHelpTopics :: [(String, HelpTopic)]

# Documentation

data Help Source #

Interface to the `help` function

Constructors

GeneralHelp | General usage information
HelpFor HelpTopic | Specialised usage information about TOPIC

Instances

Eq Help Source # |
Instance details Defined in Agda.Interaction.Options.Help Methods (==) :: Help -> Help -> Bool Source # (/=) :: Help -> Help -> Bool Source #
Show Help Source # |
Instance details Defined in Agda.Interaction.Options.Help Methods showsPrec :: Int -> Help -> ShowS Source # show :: Help -> String Source # showList :: [Help] -> ShowS Source #

helpTopicUsage :: HelpTopic -> String Source #

Usage information generation

string2HelpTopic :: String -> Maybe HelpTopic Source #

Conversion functions to strings

allHelpTopics :: [(String, HelpTopic)] Source #