HORIZON HASKELLDocslts/ghc-9.14.x45dd5372026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

ModuleAgda-2.8.0.2Haskell2010

Agda.Interaction.Options.Warnings

  • 3 types
  • 18 values
  • PackageAgda-2.8.0.2
  • Exports21
  • LanguageHaskell2010
  • LicenceMIT
  • SourceWarnings.hs
datadata WarningMode
#

A WarningMode has two components: a set of warnings to be displayed and a flag stating whether warnings should be turned into fatal errors.

Constructors

Instances6Eq, Show, Generic, NFData, EmbPrj, Rep
valuedefaultWarningSet :: String
#

The defaultWarningMode is a curated set of warnings covering non-fatal errors and disabling style-related ones

datadata WarningModeError
#

Some warnings are errors and cannot be turned off.

Constructors

Instances5Show, Generic, NFData, EmbPrj, Rep
valuewarningModeUpdate :: String -> Either WarningModeError WarningModeUpdate
#

warningModeUpdate str computes the action of str over the current WarningMode: it may reset the set of warnings, add or remove a specific flag or demand that any warning be turned into an error

datadata WarningName
#

The WarningName data enumeration is meant to have a one-to-one correspondance to existing warnings in the codebase.

Constructors

Instances10Bounded, Enum, Eq, Ord, Read, Show, …