| Safe Haskell | None |
|---|
Language.PureScript.Errors
Description
- data ErrorSource
- = ValueError Value
- | TypeError Type
- data CompileError = CompileError {}
- newtype ErrorStack = 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
| ValueError Value | An error which originated at a Value |
| TypeError Type | An error which originated at a Type |
Instances
data CompileError Source
Compilation errors
Constructors
| CompileError | |
Fields
| |
Instances
prettyPrintErrorStack :: Bool -> ErrorStack -> StringSource
stringifyErrorStack :: Bool -> Either ErrorStack a -> Either String aSource
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