| Safe Haskell | None |
|---|
Language.PureScript.Errors
Description
- data ErrorSource
- data CompileError = CompileError {
- compileErrorMessage :: String
- compileErrorValue :: Maybe ErrorSource
- compileErrorPosition :: Maybe SourcePos
- 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
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
| Show ErrorSource |
data CompileError Source
Compilation errors
Constructors
| CompileError | |
Fields
| |
Instances
| Show CompileError |
data ErrorStack Source
A stack trace for an error
Constructors
| ErrorStack | |
Fields | |
| MultipleErrors [ErrorStack] | |
Instances
| Show ErrorStack | |
| Monoid ErrorStack | |
| Error ErrorStack | |
| MonadError ErrorStack Check |
prettyPrintErrorStack :: Bool -> ErrorStack -> StringSource
stringifyErrorStack :: Bool -> Either ErrorStack a -> Either String aSource
isErrorNonEmpty :: CompileError -> BoolSource
showError :: CompileError -> StringSource
mkErrorStack :: String -> Maybe ErrorSource -> ErrorStackSource
rethrow :: MonadError e m => (e -> e) -> m a -> m aSource
Rethrow an error with a more detailed error message in the case of failure
rethrowWithPosition :: MonadError ErrorStack m => SourcePos -> m a -> m aSource
Rethrow an error with source position information