Certain attributes may be specified for each module which
affects the way that Haddock generates documentation for that
module. Attributes are specified in a comma-separated list in an
{-# OPTIONS_HADDOCK ... #-}
pragma at the
top of the module, either before or after the module
description. For example:
{-# OPTIONS_HADDOCK hide, prune, ignore-exports #-} -- |Module description module A where ...
The options and module description can be in either order.
The following attributes are currently understood by Haddock:
hide
Omit this module from the generated documentation, but nevertheless propagate definitions and documentation from within this module to modules that re-export those definitions.
prune
Omit definitions that have no documentation annotations from the generated documentation.
ignore-exports
Ignore the export list. Generate documentation as if the module had no export list - i.e. all the top-level declarations are exported, and section headings may be given in the body of the module.
not-home
Indicates that the current module should not be considered to be the home module for each entity it exports, unless that entity is not exported from any other module. See Section 3.6, “Hyperlinking and re-exported entities” for more details.
show-extensions
Indicates that we should render the extensions used in this module in the resulting documentation. This will only render if the output format supports it. If Language is set, it will be shown as well and all the extensions implied by it won't. All enabled extensions will be rendered, including those implied by their more powerful versions.