Agda-2.5.4.2: A dependently typed functional programming language and proof assistant

Safe HaskellSafe
LanguageHaskell2010

Agda.Interaction.Options.Warnings

Synopsis

Documentation

data WarningMode Source #

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

defaultWarningSet :: String Source #

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

warningModeUpdate :: String -> Maybe (WarningMode -> WarningMode) Source #

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

warningSets :: [(String, (Set WarningName, String))] Source #

Common sets of warnings

data WarningName Source #

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

Instances
Bounded WarningName Source # 
Instance details

Defined in Agda.Interaction.Options.Warnings

Enum WarningName Source # 
Instance details

Defined in Agda.Interaction.Options.Warnings

Eq WarningName Source # 
Instance details

Defined in Agda.Interaction.Options.Warnings

Ord WarningName Source # 
Instance details

Defined in Agda.Interaction.Options.Warnings

Read WarningName Source # 
Instance details

Defined in Agda.Interaction.Options.Warnings

Show WarningName Source # 
Instance details

Defined in Agda.Interaction.Options.Warnings

string2WarningName :: String -> Maybe WarningName Source #

The flag corresponding to a warning is precisely the name of the constructor minus the trailing underscore.

usageWarning :: String Source #

warningUsage generated using warningNameDescription