Mikan

Safe Haskell	None
Language	Haskell2010

Mikan.TypeChecking.Errors

Contents

Orphan instances

Synopsis

renderError :: MonadTCM tcm => TCErr -> tcm String
prettyError :: MonadTCM tcm => TCErr -> tcm Doc
prettyShadowedModule :: MonadPretty m => Name -> List1 ModuleName -> m (m Doc, Range)
tcErrString :: TCErr -> String
prettyTCWarnings' :: Set TCWarning -> TCM [Doc]
prettyTCWarnings :: Set TCWarning -> TCM String
tcWarningsToError :: TopLevelModuleNameWithSourceFile -> [TCWarning] -> TCM ()
applyFlagsToTCWarningsPreserving :: HasOptions m => Set WarningName -> Set TCWarning -> m (Set TCWarning)
applyFlagsToTCWarnings :: HasOptions m => Set TCWarning -> m (Set TCWarning)
getAllUnsolvedWarnings :: (MonadWarning m, MonadTCM m) => m [TCWarning]
getAllWarningsPreserving :: (MonadWarning m, MonadTCM m) => Set WarningName -> WhichWarnings -> m (Set TCWarning)
getAllWarnings :: (MonadWarning m, MonadTCM m) => WhichWarnings -> m (Set TCWarning)
getAllWarningsOfTCErr :: TCErr -> TCM (Set TCWarning)
dropTopLevelModule :: MonadPretty m => QName -> m QName
topLevelModuleDropper :: (MonadDebug m, MonadTCEnv m, ReadTCState m) => m (QName -> QName)
explainWhyInScope :: MonadPretty m => WhyInScopeData -> m Doc
class Verbalize a where
- verbalize :: a -> String
newtype Indefinite a = Indefinite a
newtype Ordinal = Ordinal Int
module Mikan.TypeChecking.Monad.Diagnostic

Documentation

renderError :: MonadTCM tcm => TCErr -> tcm String Source #

prettyError :: MonadTCM tcm => TCErr -> tcm Doc Source #

prettyShadowedModule :: MonadPretty m => Name -> List1 ModuleName -> m (m Doc, Range) Source #

Pretty-print error ShadowedModule and return the range of the shadowed module.

tcErrString :: TCErr -> String Source #

prettyTCWarnings' :: Set TCWarning -> TCM [Doc] Source #

prettyTCWarnings :: Set TCWarning -> TCM String Source #

tcWarningsToError Source #

Arguments

:: TopLevelModuleNameWithSourceFile	The module we have checked (which produced the warnings).
-> [TCWarning]	The warnings to turn into errors.
-> TCM ()

Turns warnings, if any, into errors.

applyFlagsToTCWarningsPreserving :: HasOptions m => Set WarningName -> Set TCWarning -> m (Set TCWarning) Source #

Depending which flags are set, one may happily ignore some warnings.

applyFlagsToTCWarnings :: HasOptions m => Set TCWarning -> m (Set TCWarning) Source #

getAllUnsolvedWarnings :: (MonadWarning m, MonadTCM m) => m [TCWarning] Source #

getAllWarningsPreserving :: (MonadWarning m, MonadTCM m) => Set WarningName -> WhichWarnings -> m (Set TCWarning) Source #

getAllWarnings :: (MonadWarning m, MonadTCM m) => WhichWarnings -> m (Set TCWarning) Source #

Collect all warnings that have accumulated in the state.

getAllWarningsOfTCErr :: TCErr -> TCM (Set TCWarning) Source #

dropTopLevelModule :: MonadPretty m => QName -> m QName Source #

Drops the filename component of the qualified name.

topLevelModuleDropper :: (MonadDebug m, MonadTCEnv m, ReadTCState m) => m (QName -> QName) Source #

Produces a function which drops the filename component of the qualified name.

explainWhyInScope :: MonadPretty m => WhyInScopeData -> m Doc Source #

class Verbalize a where Source #

Methods

verbalize :: a -> String Source #

Instances

Instances details

Verbalize Hiding Source #
Instance details Defined in Mikan.TypeChecking.Errors Methods verbalize :: Hiding -> String Source #
Verbalize Ordinal Source #
Instance details Defined in Mikan.TypeChecking.Errors Methods verbalize :: Ordinal -> String Source #
Verbalize a => Verbalize (Indefinite a) Source #
Instance details Defined in Mikan.TypeChecking.Errors Methods verbalize :: Indefinite a -> String Source #

newtype Indefinite a Source #

Indefinite article.

Constructors

Instances

Instances details

Verbalize a => Verbalize (Indefinite a) Source #
Instance details Defined in Mikan.TypeChecking.Errors Methods verbalize :: Indefinite a -> String Source #

newtype Ordinal Source #

Number rendered as an ordinal (1st, 2nd, etc)

Constructors

Instances

Instances details

Verbalize Ordinal Source #
Instance details Defined in Mikan.TypeChecking.Errors Methods verbalize :: Ordinal -> String Source #

module Mikan.TypeChecking.Monad.Diagnostic

Orphan instances

PrettyTCM MissingTypeSignatureInfo Source #
Instance details Methods prettyTCM :: MonadPretty m => MissingTypeSignatureInfo -> m Doc Source #
PrettyTCM NegativeUnification Source #
Instance details Methods prettyTCM :: MonadPretty m => NegativeUnification -> m Doc Source #
PrettyTCM TCErr Source #
Instance details Methods prettyTCM :: MonadPretty m => TCErr -> m Doc Source #
PrettyTCM TypeError Source #
Instance details Methods prettyTCM :: MonadPretty m => TypeError -> m Doc Source #
PrettyTCM TopLevelModuleNameWithSourceFile Source #
Instance details Methods prettyTCM :: MonadPretty m => TopLevelModuleNameWithSourceFile -> m Doc Source #