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

Eq Help

Defined in Agda.Interaction.Options.Help

Methods

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

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

Show Help

Defined in Agda.Interaction.Options.Help

Methods

showsPrec :: Int -> Help -> ShowS

show :: Help -> String

showList :: [Help] -> ShowS

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

NFData Help

Defined in Agda.Interaction.Options.Help

Methods

rnf :: Help -> ()

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)]