Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Synopsis
- data WarningMode = WarningMode {}
- warningSet :: Lens' (Set WarningName) WarningMode
- warn2Error :: Lens' Bool WarningMode
- defaultWarningSet :: String
- allWarnings :: Set WarningName
- usualWarnings :: Set WarningName
- noWarnings :: Set WarningName
- unsolvedWarnings :: Set WarningName
- errorWarnings :: Set WarningName
- 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 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.
Instances
Eq WarningMode Source # | |
Defined in Agda.Interaction.Options.Warnings (==) :: WarningMode -> WarningMode -> Bool # (/=) :: WarningMode -> WarningMode -> Bool # | |
Show WarningMode Source # | |
Defined in Agda.Interaction.Options.Warnings showsPrec :: Int -> WarningMode -> ShowS # show :: WarningMode -> String # showList :: [WarningMode] -> ShowS # |
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
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