Safe Haskell	Safe-Inferred
Language	Haskell2010

Agda.Interaction.Options.Help

Synopsis

Documentation

Interface to the help function

Constructors

GeneralHelp	General usage information
HelpFor HelpTopic	Specialised usage information about TOPIC

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

Usage information generation

Conversion functions to strings