module Agda.Interaction.Options.Help
(
Help (..)
, helpTopicUsage
, string2HelpTopic
, allHelpTopics
) where
import Agda.Interaction.Options.Warnings
data Help
= GeneralHelp
| HelpFor HelpTopic
deriving (Eq, Show)
data HelpTopic
= Warning
deriving (Eq, Show)
allHelpTopics :: [(String, HelpTopic)]
allHelpTopics = [("warning", Warning)]
helpTopicUsage :: HelpTopic -> String
helpTopicUsage tp = case tp of
Warning -> usageWarning
string2HelpTopic :: String -> Maybe HelpTopic
string2HelpTopic str = lookup str allHelpTopics