Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- 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 |
Instances
Eq WhichWarnings Source # | |
Defined in Agda.TypeChecking.Warnings (==) :: WhichWarnings -> WhichWarnings -> Bool # (/=) :: WhichWarnings -> WhichWarnings -> Bool # | |
Ord WhichWarnings Source # | |
Defined in Agda.TypeChecking.Warnings compare :: WhichWarnings -> WhichWarnings -> Ordering # (<) :: WhichWarnings -> WhichWarnings -> Bool # (<=) :: WhichWarnings -> WhichWarnings -> Bool # (>) :: WhichWarnings -> WhichWarnings -> Bool # (>=) :: WhichWarnings -> WhichWarnings -> Bool # max :: WhichWarnings -> WhichWarnings -> WhichWarnings # min :: WhichWarnings -> WhichWarnings -> WhichWarnings # |
isUnsolvedWarning :: Warning -> Bool Source #
onlyShowIfUnsolved :: Warning -> Bool Source #