Safe Haskell | None |
---|---|
Language | Haskell98 |
- data ErrorSource
- data CompileError = CompileError {}
- data ErrorStack
- = ErrorStack { }
- | MultipleErrors [ErrorStack]
- prettyPrintErrorStack :: Bool -> ErrorStack -> String
- stringifyErrorStack :: Bool -> Either ErrorStack a -> Either String a
- isErrorNonEmpty :: CompileError -> Bool
- showError :: CompileError -> String
- mkErrorStack :: String -> Maybe ErrorSource -> ErrorStack
- positionError :: SourcePos -> ErrorStack
- rethrow :: MonadError e m => (e -> e) -> m a -> m a
- rethrowWithPosition :: MonadError ErrorStack m => SourcePos -> m a -> m a
- parU :: (MonadError ErrorStack m, Functor m) => [a] -> (a -> m b) -> m [b]
Documentation
data ErrorSource Source
Type for sources of type checking errors
data CompileError Source
Compilation errors
CompileError | |
|
data ErrorStack Source
A stack trace for an error
prettyPrintErrorStack :: Bool -> ErrorStack -> String Source
stringifyErrorStack :: Bool -> Either ErrorStack a -> Either String a Source
showError :: CompileError -> String Source
mkErrorStack :: String -> Maybe ErrorSource -> ErrorStack Source
rethrow :: MonadError e m => (e -> e) -> m a -> m a Source
Rethrow an error with a more detailed error message in the case of failure
rethrowWithPosition :: MonadError ErrorStack m => SourcePos -> m a -> m a Source
Rethrow an error with source position information
parU :: (MonadError ErrorStack m, Functor m) => [a] -> (a -> m b) -> m [b] Source
Collect errors in in parallel