Safe Haskell	None
Language	Haskell2010

Language.PureScript.Errors

Synopsis

module Language.PureScript.AST
data PPEOptions = PPEOptions {
- ppeCodeColor :: Maybe (ColorIntensity, Color)
- ppeFull :: Bool
- ppeLevel :: Level
- ppeShowDocs :: Bool
- ppeRelativeDirectory :: FilePath
}
data Level
- = Error
- | Warning
data TypeMap = TypeMap {
- umSkolemMap :: Map Int (String, Int, Maybe SourceSpan)
- umUnknownMap :: Map Int Int
- umNextIndex :: Int
}
newtype MultipleErrors = MultipleErrors {
- runMultipleErrors :: [ErrorMessage]
}
newtype ErrorSuggestion = ErrorSuggestion Text
errorSpan :: ErrorMessage -> Maybe (NonEmpty SourceSpan)
errorModule :: ErrorMessage -> Maybe ModuleName
findHint :: (ErrorMessageHint -> Maybe a) -> ErrorMessage -> Maybe a
stripModuleAndSpan :: ErrorMessage -> ErrorMessage
errorCode :: ErrorMessage -> Text
nonEmpty :: MultipleErrors -> Bool
errorMessage :: SimpleErrorMessage -> MultipleErrors
errorMessage' :: SourceSpan -> SimpleErrorMessage -> MultipleErrors
errorMessage'' :: NonEmpty SourceSpan -> SimpleErrorMessage -> MultipleErrors
errorMessage''' :: [SourceSpan] -> SimpleErrorMessage -> MultipleErrors
singleError :: ErrorMessage -> MultipleErrors
onErrorMessages :: (ErrorMessage -> ErrorMessage) -> MultipleErrors -> MultipleErrors
addHint :: ErrorMessageHint -> MultipleErrors -> MultipleErrors
addHints :: [ErrorMessageHint] -> MultipleErrors -> MultipleErrors
defaultUnknownMap :: TypeMap
unwrapErrorMessage :: ErrorMessage -> SimpleErrorMessage
replaceUnknowns :: SourceType -> State TypeMap SourceType
onTypesInErrorMessage :: (SourceType -> SourceType) -> ErrorMessage -> ErrorMessage
onTypesInErrorMessageM :: Applicative m => (SourceType -> m SourceType) -> ErrorMessage -> m ErrorMessage
errorDocUri :: ErrorMessage -> Text
errorSuggestion :: SimpleErrorMessage -> Maybe ErrorSuggestion
suggestionSpan :: ErrorMessage -> Maybe SourceSpan
showSuggestion :: SimpleErrorMessage -> Text
ansiColor :: (ColorIntensity, Color) -> String
ansiColorReset :: String
colorCode :: Maybe (ColorIntensity, Color) -> Text -> Text
colorCodeBox :: Maybe (ColorIntensity, Color) -> Box -> Box
defaultCodeColor :: (ColorIntensity, Color)
defaultPPEOptions :: PPEOptions
prettyPrintSingleError :: PPEOptions -> ErrorMessage -> Box
prettyPrintExport :: DeclarationRef -> Text
prettyPrintImport :: ModuleName -> ImportDeclarationType -> Maybe ModuleName -> Text
prettyPrintRef :: DeclarationRef -> Maybe Text
prettyPrintMultipleErrors :: PPEOptions -> MultipleErrors -> String
prettyPrintMultipleWarnings :: PPEOptions -> MultipleErrors -> String
prettyPrintMultipleWarningsBox :: PPEOptions -> MultipleErrors -> [Box]
prettyPrintMultipleErrorsBox :: PPEOptions -> MultipleErrors -> [Box]
prettyPrintMultipleErrorsWith :: PPEOptions -> String -> String -> MultipleErrors -> [Box]
prettyPrintParseError :: ParseError -> Box
prettyPrintParseErrorMessages :: String -> String -> String -> String -> String -> [Message] -> Box
indent :: Box -> Box
line :: Text -> Box
lineS :: String -> Box
renderBox :: Box -> String
toTypelevelString :: Type a -> Maybe Box
rethrow :: MonadError e m => (e -> e) -> m a -> m a
reifyErrors :: MonadError e m => m a -> m (Either e a)
reflectErrors :: MonadError e m => m (Either e a) -> m a
warnAndRethrow :: (MonadError e m, MonadWriter e m) => (e -> e) -> m a -> m a
rethrowWithPosition :: MonadError MultipleErrors m => SourceSpan -> m a -> m a
warnWithPosition :: MonadWriter MultipleErrors m => SourceSpan -> m a -> m a
warnAndRethrowWithPosition :: (MonadError MultipleErrors m, MonadWriter MultipleErrors m) => SourceSpan -> m a -> m a
withPosition :: SourceSpan -> ErrorMessage -> ErrorMessage
positionedError :: SourceSpan -> ErrorMessageHint
filterErrors :: (ErrorMessage -> Bool) -> MultipleErrors -> MultipleErrors
escalateWarningWhen :: (MonadWriter MultipleErrors m, MonadError MultipleErrors m) => (ErrorMessage -> Bool) -> m a -> m a
parU :: forall m a b. MonadError MultipleErrors m => [a] -> (a -> m b) -> m [b]

Documentation

module Language.PureScript.AST

data PPEOptions Source #

prettyPrintSingleError Options

Constructors

PPEOptions
Fields ppeCodeColor :: Maybe (ColorIntensity, Color) Color code with this color... or not ppeFull :: Bool Should write a full error message? ppeLevel :: Level Should this report an error or a warning? ppeShowDocs :: Bool Should show a link to error message's doc page? ppeRelativeDirectory :: FilePath FilePath to which the errors are relative

data Level Source #

How critical the issue is

Constructors

Error
Warning

Instances

Show Level Source #
Instance details Defined in Language.PureScript.Errors Methods showsPrec :: Int -> Level -> ShowS # show :: Level -> String # showList :: [Level] -> ShowS #

data TypeMap Source #

A map from rigid type variable name/unknown variable pairs to new variables.

Constructors

TypeMap
Fields umSkolemMap :: Map Int (String, Int, Maybe SourceSpan) a map from skolems to their new names, including source and naming info umUnknownMap :: Map Int Int a map from unification variables to their new names umNextIndex :: Int unknowns and skolems share a source of names during renaming, to avoid overlaps in error messages. This is the next label for either case.

Instances

Show TypeMap Source #
Instance details Defined in Language.PureScript.Errors Methods showsPrec :: Int -> TypeMap -> ShowS # show :: TypeMap -> String # showList :: [TypeMap] -> ShowS #

newtype MultipleErrors Source #

A stack trace for an error

Constructors

MultipleErrors
Fields runMultipleErrors :: [ErrorMessage]

Instances

Show MultipleErrors Source #
Instance details Defined in Language.PureScript.Errors Methods showsPrec :: Int -> MultipleErrors -> ShowS # show :: MultipleErrors -> String # showList :: [MultipleErrors] -> ShowS #
Semigroup MultipleErrors Source #
Instance details Defined in Language.PureScript.Errors Methods (<>) :: MultipleErrors -> MultipleErrors -> MultipleErrors # sconcat :: NonEmpty MultipleErrors -> MultipleErrors # stimes :: Integral b => b -> MultipleErrors -> MultipleErrors #
Monoid MultipleErrors Source #
Instance details Defined in Language.PureScript.Errors Methods mempty :: MultipleErrors # mappend :: MultipleErrors -> MultipleErrors -> MultipleErrors # mconcat :: [MultipleErrors] -> MultipleErrors #
MonadError MultipleErrors Make Source #
Instance details Defined in Language.PureScript.Make.Monad Methods throwError :: MultipleErrors -> Make a # catchError :: Make a -> (MultipleErrors -> Make a) -> Make a #
MonadWriter MultipleErrors Make Source #
Instance details Defined in Language.PureScript.Make.Monad Methods writer :: (a, MultipleErrors) -> Make a # tell :: MultipleErrors -> Make () # listen :: Make a -> Make (a, MultipleErrors) # pass :: Make (a, MultipleErrors -> MultipleErrors) -> Make a #