Safe Haskell | None |
---|---|
Language | Haskell2010 |
- genericWarning :: MonadTCM tcm => Doc -> tcm ()
- genericNonFatalError :: MonadTCM tcm => Doc -> tcm ()
- warning_ :: MonadTCM tcm => Warning -> tcm TCWarning
- applyWarningMode :: WarningMode -> Warning -> Maybe Warning
- warnings :: MonadTCM tcm => [Warning] -> tcm ()
- warning :: MonadTCM tcm => Warning -> tcm ()
- data WhichWarnings
- isUnsolvedWarning :: Warning -> Bool
- classifyWarning :: Warning -> WhichWarnings
- onlyOnce :: Warning -> Bool
- onlyShowIfUnsolved :: Warning -> Bool
- classifyWarnings :: [TCWarning] -> ([TCWarning], [TCWarning])
- runPM :: PM a -> TCM a
Documentation
genericWarning :: MonadTCM tcm => Doc -> tcm () Source #
genericNonFatalError :: MonadTCM tcm => Doc -> tcm () Source #
applyWarningMode :: WarningMode -> Warning -> Maybe Warning Source #
applyWarningMode
filters out the warnings the user has not requested
Users are not allowed to ignore non-fatal errors.
data WhichWarnings Source #
Classifying warnings: some are benign, others are (non-fatal) errors
ErrorWarnings | warnings that will be turned into errors |
AllWarnings | all warnings, including errors and benign ones Note: order of constructors is important for the derived Ord instance |
isUnsolvedWarning :: Warning -> Bool Source #
onlyShowIfUnsolved :: Warning -> Bool Source #