Agda-2.6.0.1: A dependently typed functional programming language and proof assistant

Safe Haskell | None
Language | Haskell2010

Agda.TypeChecking.Errors

Contents

- Orphan instances

Synopsis

- 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' :: MainInterface -> [TCWarning] -> TCM [TCWarning]
- applyFlagsToTCWarnings :: [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 Source #

prettyWarning :: MonadTCM tcm => Warning -> tcm Doc Source #

tcErrString :: TCErr -> String Source #

prettyTCWarnings' :: [TCWarning] -> TCM [String] Source #

prettyTCWarnings :: [TCWarning] -> TCM String Source #

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.

applyFlagsToTCWarnings :: [TCWarning] -> TCM [TCWarning] Source #

dropTopLevelModule :: QName -> TCM QName Source #

Drops the filename component of the qualified name.

stringTCErr :: String -> TCErr Source #

sayWhen :: Range -> Maybe (Closure Call) -> TCM Doc -> TCM Doc Source #

# Orphan instances

PrettyTCM TCErr Source # |
Instance details Methods prettyTCM :: TCErr -> TCM Doc Source #
PrettyTCM TypeError Source # |
Instance details Methods prettyTCM :: TypeError -> TCM Doc Source #
PrettyTCM UnificationFailure Source # |
Instance details Methods prettyTCM :: UnificationFailure -> TCM Doc Source #
PrettyTCM NegativeUnification Source # |
Instance details Methods prettyTCM :: NegativeUnification -> TCM Doc Source #
PrettyTCM SplitError Source # |
Instance details Methods prettyTCM :: SplitError -> TCM Doc Source #
PrettyTCM CallInfo Source # |
Instance details Methods prettyTCM :: CallInfo -> TCM Doc Source #
PrettyTCM TCWarning Source # |
Instance details Methods prettyTCM :: TCWarning -> TCM Doc Source #
PrettyTCM Warning Source # |
Instance details Methods prettyTCM :: Warning -> TCM Doc Source #
PrettyTCM Call Source # |
Instance details Methods prettyTCM :: Call -> TCM Doc Source #