Interface to the help function
Constructors
GeneralHelpGeneral usage information
HelpFor HelpTopicSpecialised usage information about TOPIC
Instances5Eq, Show, Generic, NFData, Rep
Eq HelpDefined in Agda-2.8.0.2 · Agda.Interaction.Options.HelpShow HelpDefined in Agda-2.8.0.2 · Agda.Interaction.Options.HelpGeneric HelpDefined in Agda-2.8.0.2 · Agda.Interaction.Options.HelpNFData HelpDefined in Agda-2.8.0.2 · Agda.Interaction.Options.Helptype Rep Help = D1 ('MetaDataDefined in Agda-2.8.0.2 · Agda.Interaction.Options.Help"Help"
"Agda.Interaction.Options.Help"
"Agda-2.8.0.2-3KZoCGOoan2Kayji4DU37s"
'False) (C1 ('MetaCons"GeneralHelp"
'PrefixI 'False) U1 :+: C1 ('MetaCons"HelpFor"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HelpTopic)))