| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HWM.Runtime.UI
Documentation
class Monad m => MonadUI (m :: Type -> Type) where Source #
Methods
uiWrite :: Text -> m () Source #
uiIndentLevel :: m Int Source #
uiWithIndent :: (Int -> Int) -> m a -> m a Source #
data UIT (m :: Type -> Type) a Source #
Instances
| MonadTrans UIT Source # | |
Defined in HWM.Runtime.UI | |
| MonadError err m => MonadError err (UIT m) Source # | |
Defined in HWM.Runtime.UI | |
| MonadIO m => MonadIO (UIT m) Source # | |
Defined in HWM.Runtime.UI | |
| Applicative m => Applicative (UIT m) Source # | |
| Functor m => Functor (UIT m) Source # | |
| Monad m => Monad (UIT m) Source # | |
| Monad m => MonadUI (UIT m) Source # | |
sectionWorkspace :: MonadUI m => m a -> m () Source #
sectionEnvironments :: MonadUI m => m a -> m () Source #
printSummary :: MonadUI m => [Issue] -> m () Source #