Stack.Types.StackT

The monad used for the command-line executable stack.

Documentation

data StackT config m a

The monad used for the executable stack.

Instances

MonadBaseControl b m => MonadBaseControl b (StackT config m)

MonadBase b m => MonadBase b (StackT config m)

MonadTrans (StackT config)

MonadTransControl (StackT config)

Monad m => MonadReader (Env config) (StackT config m)

Monad m => Monad (StackT config m)

Functor m => Functor (StackT config m)

Applicative m => Applicative (StackT config m)

MonadThrow m => MonadThrow (StackT config m)

MonadCatch m => MonadCatch (StackT config m)

MonadMask m => MonadMask (StackT config m)

MonadIO m => MonadLogger (StackT config m)

Takes the configured log level into account.

MonadIO m => MonadIO (StackT config m)

type StT (StackT config) a = StT (ReaderT (Env config)) a

type StM (StackT config m) a = ComposeSt (StackT config) m a

data StackLoggingT m a

The monad used for logging in the executable stack before anything has been initialized.

Instances

MonadTrans StackLoggingT

MonadTransControl StackLoggingT

MonadBaseControl b m => MonadBaseControl b (StackLoggingT m)

MonadBase b m => MonadBase b (StackLoggingT m)

Monad m => Monad (StackLoggingT m)

Functor m => Functor (StackLoggingT m)

Applicative m => Applicative (StackLoggingT m)

MonadThrow m => MonadThrow (StackLoggingT m)

MonadCatch m => MonadCatch (StackLoggingT m)

MonadMask m => MonadMask (StackLoggingT m)

MonadIO m => MonadLogger (StackLoggingT m)

Takes the configured log level into account.

MonadIO m => MonadIO (StackLoggingT m)

type StT StackLoggingT a

type StM (StackLoggingT m) a = ComposeSt StackLoggingT m a

runStackT :: (MonadIO m, MonadBaseControl IO m) => Manager -> LogLevel -> config -> Bool -> Bool -> StackT config m a -> m a

Run a Stack action.

runStackTGlobal :: (MonadIO m, MonadBaseControl IO m) => Manager -> config -> GlobalOpts -> StackT config m a -> m a

Run a Stack action, using global options.

runStackLoggingT :: MonadIO m => Manager -> LogLevel -> Bool -> Bool -> StackLoggingT m a -> m a

Run the logging monad.

runStackLoggingTGlobal :: MonadIO m => Manager -> GlobalOpts -> StackLoggingT m a -> m a

Run the logging monad, using global options.

runInnerStackT :: (HasHttpManager r, HasLogLevel r, HasTerminal r, HasReExec r, MonadReader r m, MonadIO m) => config -> StackT config IO a -> m a

runInnerStackLoggingT :: (HasHttpManager r, HasLogLevel r, HasTerminal r, HasReExec r, MonadReader r m, MonadIO m) => StackLoggingT IO a -> m a

newTLSManager :: MonadIO m => m Manager

Convenience for getting a Manager

logSticky :: Q Exp

Write a "sticky" line to the terminal. Any subsequent lines will overwrite this one, and that same line will be repeated below again. In other words, the line sticks at the bottom of the output forever. Running this function again will replace the sticky line with a new sticky line. When you want to get rid of the sticky line, run logStickyDone.

logStickyDone :: Q Exp

This will print out the given message with a newline and disable any further stickiness of the line until a new call to logSticky happens.

It might be better at some point to have a runSticky function that encompasses the logSticky->logStickyDone pairing.