Development.Iridium

Documentation

iridiumMain :: Config -> MultiRWST '[] '[] '[LogState] (MaybeT IO) ()

initNote :: String

retrieveInfos :: (MonadIO m, MonadPlus m, MonadMultiState LogState m, MonadMultiReader Config m) => m Infos

runChecks :: (MonadIO m0, MonadPlus m0, ContainsType LogState s, ContainsType CheckState s, ContainsType Config r, ContainsType Infos r) => MultiRWST r w s m0 ()

displaySummary :: (MonadIO m, MonadMultiState LogState m, MonadMultiState CheckState m, MonadMultiReader Config m, MonadMultiReader Infos m) => m ()

askGlobalConfirmation :: (MonadIO m, MonadPlus m) => Bool -> m ()