iridium-0.1.5.2: Automated Testing and Package Uploading

Safe HaskellNone
LanguageHaskell2010

Development.Iridium.CheckState

Documentation

initCheckState :: CheckState Source

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