HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

ModuleAgda-2.7.0.1Haskell2010

Agda.Interaction.Options.Warnings

  • 3 types
  • 18 values
  • PackageAgda-2.7.0.1
  • 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, …