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

Safe HaskellSafe
LanguageHaskell2010

Agda.Interaction.Options.Help

Synopsis

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 #

(/=) :: Help -> Help -> Bool #

Show Help Source # 
Instance details

Defined in Agda.Interaction.Options.Help

Methods

showsPrec :: Int -> Help -> ShowS #

show :: Help -> String #

showList :: [Help] -> ShowS #

helpTopicUsage :: HelpTopic -> String Source #

Usage information generation

string2HelpTopic :: String -> Maybe HelpTopic Source #

Conversion functions to strings

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