Base.TrackedErrors

Documentation

type TrackedErrors = TrackedErrorsT Identity

type TrackedErrorsIO = TrackedErrorsT IO

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