Base.TrackedErrors

Documentation

type TrackedErrors = TrackedErrorsT Identity

type TrackedErrorsIO = TrackedErrorsT IO

data TrackedErrorsT m a

Instances

MonadTrans TrackedErrorsT

Defined in Base.TrackedErrors

Methods

lift :: Monad m => m a -> TrackedErrorsT m a

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

Monad m => MonadFail (TrackedErrorsT m)

Defined in Base.TrackedErrors

Methods

fail :: String -> TrackedErrorsT m a

MonadIO m => MonadIO (TrackedErrorsT m)

Defined in Base.TrackedErrors

Methods

liftIO :: IO a -> TrackedErrorsT m a

(Applicative m, Monad m) => Applicative (TrackedErrorsT m)

Defined in Base.TrackedErrors

Methods

pure :: a -> TrackedErrorsT m a

(<*>) :: TrackedErrorsT m (a -> b) -> TrackedErrorsT m a -> TrackedErrorsT m b

liftA2 :: (a -> b -> c) -> TrackedErrorsT m a -> TrackedErrorsT m b -> TrackedErrorsT m c

(*>) :: TrackedErrorsT m a -> TrackedErrorsT m b -> TrackedErrorsT m b

(<*) :: TrackedErrorsT m a -> TrackedErrorsT m b -> TrackedErrorsT m a

(Functor m, Monad m) => Functor (TrackedErrorsT m)

Defined in Base.TrackedErrors

Methods

fmap :: (a -> b) -> TrackedErrorsT m a -> TrackedErrorsT m b

(<$) :: a -> TrackedErrorsT m b -> TrackedErrorsT m a

Monad m => Monad (TrackedErrorsT m)

Defined in Base.TrackedErrors

Methods

(>>=) :: TrackedErrorsT m a -> (a -> TrackedErrorsT m b) -> TrackedErrorsT m b

(>>) :: TrackedErrorsT m a -> TrackedErrorsT m b -> TrackedErrorsT m b

return :: a -> TrackedErrorsT m a

Show a => Show (TrackedErrors a)

Defined in Base.TrackedErrors

Methods

showsPrec :: Int -> TrackedErrors a -> ShowS

show :: TrackedErrors a -> String

showList :: [TrackedErrors a] -> ShowS

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

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

asCompilerError :: Monad m => TrackedErrors a -> TrackedErrorsT m ()

asCompilerWarnings :: Monad m => TrackedErrors a -> TrackedErrorsT m ()

fromTrackedErrors :: Monad m => TrackedErrors a -> TrackedErrorsT m a

getCompilerError :: TrackedErrors a -> CompilerMessage

getCompilerErrorT :: Monad m => TrackedErrorsT m a -> m CompilerMessage

getCompilerSuccess :: TrackedErrors a -> a

getCompilerSuccessT :: Monad m => TrackedErrorsT m a -> m a

getCompilerWarnings :: TrackedErrors a -> CompilerMessage

getCompilerWarningsT :: Monad m => TrackedErrorsT m a -> m CompilerMessage

toTrackedErrors :: Monad m => TrackedErrorsT m a -> m (TrackedErrors a)

tryTrackedErrorsIO :: String -> String -> TrackedErrorsIO a -> IO a