| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.Warnings
- genericWarning :: MonadTCM tcm => Doc -> tcm ()
- genericNonFatalError :: MonadTCM tcm => Doc -> tcm ()
- warning_ :: MonadTCM tcm => Warning -> tcm TCWarning
- warning :: MonadTCM tcm => Warning -> tcm ()
- data WhichWarnings
- isUnsolvedWarning :: Warning -> Bool
- classifyWarning :: Warning -> WhichWarnings
- classifyWarnings :: [TCWarning] -> ([TCWarning], [TCWarning])
- runPM :: PM a -> TCM a
Documentation
genericWarning :: MonadTCM tcm => Doc -> tcm () Source #
genericNonFatalError :: MonadTCM tcm => Doc -> tcm () Source #
data WhichWarnings Source #
Classifying warnings: some are benign, others are (non-fatal) errors
Constructors
| 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
isUnsolvedWarning :: Warning -> Bool Source #