| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.PureScript.Errors
Description
- 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
Constructors
| ExprError Expr | An error which originated at a Expr |
| TypeError Type | An error which originated at a Type |
Instances
data CompileError Source
Compilation errors
Constructors
| CompileError | |
Fields
| |
Instances
data ErrorStack Source
A stack trace for an error
Constructors
| ErrorStack | |
Fields | |
| MultipleErrors [ErrorStack] | |
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