Safe Haskell	Safe-Inferred
Language	Haskell2010

Agda.Interaction.Options.Help

Synopsis

Documentation

Interface to the help function

Constructors

GeneralHelp	General usage information
HelpFor HelpTopic	Specialised usage information about TOPIC

Instances details

Generic Help Source #
Instance details Defined in Agda.Interaction.Options.Help Associated Types type Rep Help :: Type -> Type Methods from :: Help -> Rep Help x to :: Rep Help x -> Help
Show Help Source #
Instance details Defined in Agda.Interaction.Options.Help Methods showsPrec :: Int -> Help -> ShowS show :: Help -> String showList :: [Help] -> ShowS
NFData Help Source #
Instance details Defined in Agda.Interaction.Options.Help Methods rnf :: Help -> ()
Eq Help Source #
Instance details Defined in Agda.Interaction.Options.Help Methods (==) :: Help -> Help -> Bool (/=) :: Help -> Help -> Bool
type Rep Help Source #
Instance details Defined in Agda.Interaction.Options.Help type Rep Help

helpTopicUsage :: HelpTopic -> String Source #

Usage information generation

string2HelpTopic :: String -> Maybe HelpTopic Source #

Conversion functions to strings

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