Agda.Interaction.Options.Help

Documentation

data Help

Interface to the help function

Constructors

GeneralHelp

General usage information

HelpFor HelpTopic

Specialised usage information about TOPIC

Instances

Generic Help

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

Defined in Agda.Interaction.Options.Help

Methods

showsPrec :: Int -> Help -> ShowS

show :: Help -> String

showList :: [Help] -> ShowS

NFData Help

Defined in Agda.Interaction.Options.Help

Methods

rnf :: Help -> ()

Eq Help

Defined in Agda.Interaction.Options.Help

Methods

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

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

type Rep Help

Defined in Agda.Interaction.Options.Help

type Rep Help

helpTopicUsage :: HelpTopic -> String

Usage information generation

string2HelpTopic :: String -> Maybe HelpTopic

Conversion functions to strings

allHelpTopics :: [(String, HelpTopic)]