Documentation

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

initNote :: String Source #

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

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

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

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