Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
retrieveInfos :: (MonadIO m, MonadPlus m, MonadMultiState LogState m, MonadMultiReader Config m) => m Infos Source
runChecks :: (MonadIO m0, MonadPlus m0, MonadBaseControl IO m0, ContainsType LogState s, ContainsType CheckState s, ContainsType Config r, ContainsType Infos r) => MultiRWST r w s m0 () Source
displaySummary :: (MonadIO m, MonadPlus m, MonadMultiState LogState m, MonadMultiState CheckState m, MonadMultiReader Config m, MonadMultiReader Infos m) => m () Source
askGlobalConfirmation :: (MonadIO m, MonadPlus m, MonadMultiReader Config m) => Bool -> m () Source