| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.Pretty.Warning
Contents
Synopsis
- prettyConstraint :: MonadPretty m => ProblemConstraint -> m Doc
- interestingConstraint :: ProblemConstraint -> Bool
- prettyInterestingConstraints :: MonadPretty m => [ProblemConstraint] -> m [Doc]
- prettyWarning :: MonadPretty m => Warning -> m Doc
- prettyTCWarnings :: [TCWarning] -> TCM String
- prettyTCWarnings' :: [TCWarning] -> TCM [String]
- filterTCWarnings :: [TCWarning] -> [TCWarning]
- tcWarningsToError :: [TCWarning] -> TCM a
- applyFlagsToTCWarnings' :: MainInterface -> [TCWarning] -> TCM [TCWarning]
- applyFlagsToTCWarnings :: [TCWarning] -> TCM [TCWarning]
Documentation
prettyConstraint :: MonadPretty m => ProblemConstraint -> m Doc Source #
prettyInterestingConstraints :: MonadPretty m => [ProblemConstraint] -> m [Doc] Source #
prettyWarning :: MonadPretty m => Warning -> m Doc Source #
filterTCWarnings :: [TCWarning] -> [TCWarning] Source #
If there are several warnings, remove the unsolved-constraints warning in case there are no interesting constraints to list.
tcWarningsToError :: [TCWarning] -> TCM a Source #
Turns all warnings into errors.
applyFlagsToTCWarnings' :: MainInterface -> [TCWarning] -> TCM [TCWarning] Source #
Depending which flags are set, one may happily ignore some warnings.