| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.Errors
Contents
- prettyError :: MonadTCM tcm => TCErr -> tcm String
- prettyWarning :: MonadTCM tcm => Warning -> tcm Doc
- tcErrString :: TCErr -> String
- prettyTCWarnings' :: [TCWarning] -> TCM [String]
- prettyTCWarnings :: [TCWarning] -> TCM String
- tcWarningsToError :: [TCWarning] -> TCM a
- applyFlagsToTCWarnings :: IgnoreFlags -> [TCWarning] -> TCM [TCWarning]
- dropTopLevelModule :: QName -> TCM QName
- stringTCErr :: String -> TCErr
- sayWhen :: Range -> Maybe (Closure Call) -> TCM Doc -> TCM Doc
Documentation
prettyError :: MonadTCM tcm => TCErr -> tcm String #
prettyWarning :: MonadTCM tcm => Warning -> tcm Doc #
tcErrString :: TCErr -> String #
prettyTCWarnings' :: [TCWarning] -> TCM [String] #
prettyTCWarnings :: [TCWarning] -> TCM String #
tcWarningsToError :: [TCWarning] -> TCM a #
Turns all warnings into errors.
applyFlagsToTCWarnings :: IgnoreFlags -> [TCWarning] -> TCM [TCWarning] #
Depending which flags are set, one may happily ignore some warnings.
dropTopLevelModule :: QName -> TCM QName #
Drops the filename component of the qualified name.
stringTCErr :: String -> TCErr #