Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
withStack :: (MonadIO m, MonadMultiState LogState m, MonadMultiState CheckState m) => String -> m a -> m a 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 #