Base.CompilerError

Documentation

class ErrorContextM m => CollectErrorsM m where

Methods

collectAllM :: Foldable f => f (m a) -> m [a]

collectAnyM :: Foldable f => f (m a) -> m [a]

collectFirstM :: Foldable f => f (m a) -> m a

Instances

Monad m => CollectErrorsM (TrackedErrorsT m)

Defined in Base.TrackedErrors

Methods

collectAllM :: Foldable f => f (TrackedErrorsT m a) -> TrackedErrorsT m [a]

collectAnyM :: Foldable f => f (TrackedErrorsT m a) -> TrackedErrorsT m [a]

collectFirstM :: Foldable f => f (TrackedErrorsT m a) -> TrackedErrorsT m a

class (Monad m, MonadFail m) => ErrorContextM m where

Minimal complete definition

compilerErrorM

Methods

compilerErrorM :: String -> m a

withContextM :: m a -> String -> m a

summarizeErrorsM :: m a -> String -> m a

compilerWarningM :: String -> m ()

compilerBackgroundM :: String -> m ()

resetBackgroundM :: m a -> m a

Instances

ErrorContextM TextParser

Defined in Parser.TextParser

Methods

compilerErrorM :: String -> TextParser a

withContextM :: TextParser a -> String -> TextParser a

summarizeErrorsM :: TextParser a -> String -> TextParser a

compilerWarningM :: String -> TextParser ()

compilerBackgroundM :: String -> TextParser ()

resetBackgroundM :: TextParser a -> TextParser a

Monad m => ErrorContextM (TrackedErrorsT m)

Defined in Base.TrackedErrors

Methods

compilerErrorM :: String -> TrackedErrorsT m a

withContextM :: TrackedErrorsT m a -> String -> TrackedErrorsT m a

summarizeErrorsM :: TrackedErrorsT m a -> String -> TrackedErrorsT m a

compilerWarningM :: String -> TrackedErrorsT m ()

compilerBackgroundM :: String -> TrackedErrorsT m ()

resetBackgroundM :: TrackedErrorsT m a -> TrackedErrorsT m a

ErrorContextM m => ErrorContextM (StateT a m)

Defined in Base.CompilerError

Methods

compilerErrorM :: String -> StateT a m a0

withContextM :: StateT a m a0 -> String -> StateT a m a0

summarizeErrorsM :: StateT a m a0 -> String -> StateT a m a0

compilerWarningM :: String -> StateT a m ()

compilerBackgroundM :: String -> StateT a m ()

resetBackgroundM :: StateT a m a0 -> StateT a m a0

class MonadTrans t => ErrorContextT t where

Minimal complete definition

isCompilerErrorT, ifElseSuccessT

Methods

isCompilerErrorT :: (Monad m, ErrorContextM (t m)) => t m a -> m Bool

isCompilerSuccessT :: (Monad m, ErrorContextM (t m)) => t m a -> m Bool

ifElseSuccessT :: (Monad m, ErrorContextM (t m)) => t m a -> m () -> m () -> t m a

Instances

ErrorContextT TrackedErrorsT

Defined in Base.TrackedErrors

Methods

isCompilerErrorT :: (Monad m, ErrorContextM (TrackedErrorsT m)) => TrackedErrorsT m a -> m Bool

isCompilerSuccessT :: (Monad m, ErrorContextM (TrackedErrorsT m)) => TrackedErrorsT m a -> m Bool

ifElseSuccessT :: (Monad m, ErrorContextM (TrackedErrorsT m)) => TrackedErrorsT m a -> m () -> m () -> TrackedErrorsT m a

(<??) :: ErrorContextM m => m a -> String -> m a infixl 1

(??>) :: ErrorContextM m => String -> m a -> m a infixr 1

(<!!) :: ErrorContextM m => m a -> String -> m a infixl 1

(!!>) :: ErrorContextM m => String -> m a -> m a infixr 1

collectAllM_ :: (Foldable f, CollectErrorsM m) => f (m a) -> m ()

collectFirstM_ :: (Foldable f, CollectErrorsM m) => f (m a) -> m ()

emptyErrorM :: CollectErrorsM m => m a

errorFromIO :: (MonadIO m, ErrorContextM m) => IO a -> m a

isCompilerError :: (ErrorContextT t, ErrorContextM (t Identity)) => t Identity a -> Bool

isCompilerErrorM :: CollectErrorsM m => m a -> m Bool

isCompilerSuccess :: (ErrorContextT t, ErrorContextM (t Identity)) => t Identity a -> Bool

isCompilerSuccessM :: CollectErrorsM m => m a -> m Bool

mapCompilerM :: CollectErrorsM m => (a -> m b) -> [a] -> m [b]

mapCompilerM_ :: CollectErrorsM m => (a -> m b) -> [a] -> m ()

mapErrorsM :: CollectErrorsM m => [String] -> m a