Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
withStack :: (MonadIO m, MonadMultiState LogState m, MonadMultiState CheckState m) => String -> m a -> m a Source #
logStack :: (MonadIO m, MonadMultiState CheckState m, MonadMultiState LogState m) => m () Source #
incWarningCounter :: MonadMultiState CheckState m => m () Source #
incErrorCounter :: MonadMultiState CheckState m => m () Source #
addNotWallClean :: MonadMultiState CheckState m => String -> m () Source #
replaceStackTop :: (MonadIO m, MonadMultiState LogState m, MonadMultiState CheckState m) => String -> m () Source #