Copyright	(c) Kimiyuki Onaka 2020
License	Apache License 2.0
Maintainer	kimiyuki95@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

Jikka.Common.Error

Contents

error data types
general utilities for Except
utilities to report multiple errors
function to construct errors
actions to throw errors
utilities for other types of errors

Description

Synopsis

module Control.Monad.Except
data Responsibility
- = UserMistake
- | ImplementationBug
data ErrorGroup
- = LexicalError
- | SyntaxError
- | SymbolError
- | TypeError
- | SemanticError
- | EvaluationError
- | RuntimeError
- | AssertionError
- | CommandLineError
- | WrongInputError
- | InternalError
data Error
- = Error String
- | ErrorAppend Error Error
- | WithGroup ErrorGroup Error
- | WithWrapped String Error
- | WithLocation Loc Error
- | WithResponsibility Responsibility Error
wrapError :: MonadError e m => (e -> e) -> m a -> m a
wrapError' :: MonadError Error m => String -> m a -> m a
wrapAt :: MonadError Error m => Loc -> m a -> m a
wrapAt' :: MonadError Error m => Maybe Loc -> m a -> m a
maybeToError :: MonadError a m => a -> Maybe b -> m b
eitherToError :: MonadError a m => Either a b -> m b
catchError' :: MonadError e m => m a -> m (Either e a)
reportErrors :: MonadError Error m => [Either Error a] -> m [a]
reportErrors2 :: MonadError Error m => Either Error a -> Either Error b -> m (a, b)
reportErrors3 :: MonadError Error m => Either Error a -> Either Error b -> Either Error c -> m (a, b, c)
reportErrors4 :: MonadError Error m => Either Error a -> Either Error b -> Either Error c -> Either Error d -> m (a, b, c, d)
reportErrors5 :: MonadError Error m => Either Error a -> Either Error b -> Either Error c -> Either Error d -> Either Error e -> m (a, b, c, d, e)
lexicalError :: String -> Error
lexicalErrorAt :: Loc -> String -> Error
syntaxError :: String -> Error
syntaxErrorAt :: Loc -> String -> Error
symbolError :: String -> Error
symbolErrorAt :: Loc -> String -> Error
typeError :: String -> Error
semanticError :: String -> Error
evaluationError :: String -> Error
runtimeError :: String -> Error
assertionError :: String -> Error
commandLineError :: String -> Error
wrongInputError :: String -> Error
internalError :: String -> Error
throwLexicalError :: MonadError Error m => String -> m a
throwLexicalErrorAt :: MonadError Error m => Loc -> String -> m a
throwSyntaxError :: MonadError Error m => String -> m a
throwSyntaxErrorAt :: MonadError Error m => Loc -> String -> m a
throwSyntaxErrorAt' :: MonadError Error m => Maybe Loc -> String -> m a
throwSymbolError :: MonadError Error m => String -> m a
throwSymbolErrorAt :: MonadError Error m => Loc -> String -> m a
throwSymbolErrorAt' :: MonadError Error m => Maybe Loc -> String -> m a
throwTypeError :: MonadError Error m => String -> m a
throwTypeErrorAt :: MonadError Error m => Loc -> String -> m a
throwTypeErrorAt' :: MonadError Error m => Maybe Loc -> String -> m a
throwSemanticError :: MonadError Error m => String -> m a
throwSemanticErrorAt :: MonadError Error m => Loc -> String -> m a
throwSemanticErrorAt' :: MonadError Error m => Maybe Loc -> String -> m a
throwEvaluationError :: MonadError Error m => String -> m a
throwRuntimeError :: MonadError Error m => String -> m a
throwRuntimeErrorAt :: MonadError Error m => Loc -> String -> m a
throwRuntimeErrorAt' :: MonadError Error m => Maybe Loc -> String -> m a
throwAssertionError :: MonadError Error m => String -> m a
throwCommandLineError :: MonadError Error m => String -> m a
throwWrongInputError :: MonadError Error m => String -> m a
throwInternalError :: MonadError Error m => String -> m a
throwInternalErrorAt :: MonadError Error m => Loc -> String -> m a
throwInternalErrorAt' :: MonadError Error m => Maybe Loc -> String -> m a
bug :: String -> a
todo :: String -> a

Documentation

module Control.Monad.Except

error data types

data Responsibility Source #

Constructors

UserMistake
ImplementationBug

Instances

Instances details

Eq Responsibility Source #
Instance details Defined in Jikka.Common.Error Methods (==) :: Responsibility -> Responsibility -> Bool # (/=) :: Responsibility -> Responsibility -> Bool #
Ord Responsibility Source #
Instance details Defined in Jikka.Common.Error Methods compare :: Responsibility -> Responsibility -> Ordering # (<) :: Responsibility -> Responsibility -> Bool # (<=) :: Responsibility -> Responsibility -> Bool # (>) :: Responsibility -> Responsibility -> Bool # (>=) :: Responsibility -> Responsibility -> Bool # max :: Responsibility -> Responsibility -> Responsibility # min :: Responsibility -> Responsibility -> Responsibility #
Read Responsibility Source #
Instance details Defined in Jikka.Common.Error Methods readsPrec :: Int -> ReadS Responsibility # readList :: ReadS [Responsibility] # readPrec :: ReadPrec Responsibility # readListPrec :: ReadPrec [Responsibility] #
Show Responsibility Source #
Instance details Defined in Jikka.Common.Error Methods showsPrec :: Int -> Responsibility -> ShowS # show :: Responsibility -> String # showList :: [Responsibility] -> ShowS #

data ErrorGroup Source #

Constructors

LexicalError	It's impossible to split the given source text into tokens.
SyntaxError	It's impossible to construct AST from tokens.
SymbolError	There are undefined variables or functions in AST.
TypeError	It's impossible reconstruct types for AST.
SemanticError	other semantic erros
EvaluationError	User's program are not ready to evaluate.
RuntimeError	User's program failed while running.
AssertionError	User's program violates its assertion.
CommandLineError	The given command line arguments are not acceptable.
WrongInputError	User's program was correctly running but wrong input text is given.
InternalError	It's an bug of implementation.

Instances

Instances details

Eq ErrorGroup Source #
Instance details Defined in Jikka.Common.Error Methods (==) :: ErrorGroup -> ErrorGroup -> Bool # (/=) :: ErrorGroup -> ErrorGroup -> Bool #
Ord ErrorGroup Source #
Instance details Defined in Jikka.Common.Error Methods compare :: ErrorGroup -> ErrorGroup -> Ordering # (<) :: ErrorGroup -> ErrorGroup -> Bool # (<=) :: ErrorGroup -> ErrorGroup -> Bool # (>) :: ErrorGroup -> ErrorGroup -> Bool # (>=) :: ErrorGroup -> ErrorGroup -> Bool # max :: ErrorGroup -> ErrorGroup -> ErrorGroup # min :: ErrorGroup -> ErrorGroup -> ErrorGroup #
Read ErrorGroup Source #
Instance details Defined in Jikka.Common.Error Methods readsPrec :: Int -> ReadS ErrorGroup # readList :: ReadS [ErrorGroup] # readPrec :: ReadPrec ErrorGroup # readListPrec :: ReadPrec [ErrorGroup] #
Show ErrorGroup Source #
Instance details Defined in Jikka.Common.Error Methods showsPrec :: Int -> ErrorGroup -> ShowS # show :: ErrorGroup -> String # showList :: [ErrorGroup] -> ShowS #

data Error Source #

Constructors

Error String
ErrorAppend Error Error
WithGroup ErrorGroup Error
WithWrapped String Error
WithLocation Loc Error
WithResponsibility Responsibility Error

Instances

Instances details

Eq Error Source #
Instance details Defined in Jikka.Common.Error Methods (==) :: Error -> Error -> Bool # (/=) :: Error -> Error -> Bool #
Ord Error Source #
Instance details Defined in Jikka.Common.Error Methods compare :: Error -> Error -> Ordering # (<) :: Error -> Error -> Bool # (<=) :: Error -> Error -> Bool # (>) :: Error -> Error -> Bool # (>=) :: Error -> Error -> Bool # max :: Error -> Error -> Error # min :: Error -> Error -> Error #
Read Error Source #
Instance details Defined in Jikka.Common.Error Methods readsPrec :: Int -> ReadS Error # readList :: ReadS [Error] # readPrec :: ReadPrec Error # readListPrec :: ReadPrec [Error] #
Show Error Source #
Instance details Defined in Jikka.Common.Error Methods showsPrec :: Int -> Error -> ShowS # show :: Error -> String # showList :: [Error] -> ShowS #
Semigroup Error Source #
Instance details Defined in Jikka.Common.Error Methods (<>) :: Error -> Error -> Error # sconcat :: NonEmpty Error -> Error # stimes :: Integral b => b -> Error -> Error #