Agda-2.6.4: 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 #