| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Agda.Interaction.Options.Warnings
Synopsis
- data WarningMode = WarningMode {}
- warningSet :: Lens' (Set WarningName) WarningMode
- warn2Error :: Lens' Bool WarningMode
- defaultWarningSet :: String
- defaultWarningMode :: WarningMode
- warningModeUpdate :: String -> Maybe (WarningMode -> WarningMode)
- warningSets :: [(String, (Set WarningName, String))]
- data WarningName
- = OverlappingTokensWarning_
- | UnknownNamesInFixityDecl_
- | UnknownFixityInMixfixDecl_
- | UnknownNamesInPolarityPragmas_
- | PolarityPragmasButNotPostulates_
- | UselessPrivate_
- | UselessAbstract_
- | UselessInstance_
- | EmptyMutual_
- | EmptyAbstract_
- | EmptyPrivate_
- | EmptyInstance_
- | EmptyMacro_
- | EmptyPostulate_
- | InvalidTerminationCheckPragma_
- | InvalidNoPositivityCheckPragma_
- | InvalidCatchallPragma_
- | OldBuiltin_
- | EmptyRewritePragma_
- | UselessPublic_
- | UnreachableClauses_
- | UselessInline_
- | GenericWarning_
- | DeprecationWarning_
- | InversionDepthReached_
- | TerminationIssue_
- | CoverageIssue_
- | CoverageNoExactSplit_
- | NotStrictlyPositive_
- | UnsolvedMetaVariables_
- | UnsolvedInteractionMetas_
- | UnsolvedConstraints_
- | GenericNonFatalError_
- | SafeFlagPostulate_
- | SafeFlagPragma_
- | SafeFlagNonTerminating_
- | SafeFlagTerminating_
- | SafeFlagPrimTrustMe_
- | SafeFlagNoPositivityCheck_
- | SafeFlagPolarity_
- | UserWarning_
- warningName2String :: WarningName -> String
- string2WarningName :: String -> Maybe WarningName
- usageWarning :: String
Documentation
data 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
| WarningMode | |
Fields
| |
Instances
| Eq WarningMode # | |
Defined in Agda.Interaction.Options.Warnings | |
| Show WarningMode # | |
Defined in Agda.Interaction.Options.Warnings Methods showsPrec :: Int -> WarningMode -> ShowS # show :: WarningMode -> String # showList :: [WarningMode] -> ShowS # | |
The defaultWarningMode is a curated set of warnings covering non-fatal
errors and disabling style-related ones
warningModeUpdate :: String -> Maybe (WarningMode -> WarningMode) #
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))] #
Common sets of warnings
data WarningName #
The WarningName data enumeration is meant to have a one-to-one correspondance
to existing warnings in the codebase.
Constructors
Instances
warningName2String :: WarningName -> String #
string2WarningName :: String -> Maybe WarningName #
The flag corresponding to a warning is precisely the name of the constructor minus the trailing underscore.
usageWarning :: String #
warningUsage generated using warningNameDescription