Agda-2.6.2.1.20220327: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
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

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 #