Safe Haskell	None
Language	Haskell2010

Development.Iridium.Types

Documentation

Constructors

Repo repo => Infos
Fields _i_cwd :: FilePath _i_package :: GenericPackageDescription _i_remote_version :: Maybe Version _i_repo :: repo

class Repo a where Source #

Minimal complete definition

Methods

repo_retrieveInfo :: (MonadIO m, MonadPlus m, MonadMultiReader Config m, MonadMultiState LogState m) => m a Source #

the action to retrieve/collect all the data relevant for the later steps.

repo_runChecks :: (MonadIO m, MonadPlus m, MonadMultiReader Config m, MonadMultiState LogState m, MonadMultiState CheckState m) => a -> m () Source #

The checks to be run for this repo type

repo_displaySummary :: (MonadIO m, MonadMultiReader Config m, MonadMultiState LogState m) => a -> m () Source #

Summary of repository-type-specific information to display to the user, e.g. "current branch: .."

repo_ActionSummary :: (MonadMultiReader Config m, MonadMultiReader Infos m, MonadMultiState LogState m) => a -> m [String] Source #

(Configured) (repository-type-specific) actions that will be taken, e.g. "Tag the current commit"

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

Perform repository-type-specific real side-effects. This is post-confirmation by the user, but before doing hackage upload.

Instances

Repo NoRepo Source #
Methods repo_retrieveInfo :: (MonadIO m, MonadPlus m, MonadMultiReader Config m, MonadMultiState LogState m) => m NoRepo Source # repo_runChecks :: (MonadIO m, MonadPlus m, MonadMultiReader Config m, MonadMultiState LogState m, MonadMultiState CheckState m) => NoRepo -> m () Source # repo_displaySummary :: (MonadIO m, MonadMultiReader Config m, MonadMultiState LogState m) => NoRepo -> m () Source # repo_ActionSummary :: (MonadMultiReader Config m, MonadMultiReader Infos m, MonadMultiState LogState m) => NoRepo -> m [String] Source # repo_performAction :: (MonadIO m, MonadPlus m, MonadMultiReader Config m, MonadMultiReader Infos m, MonadMultiState LogState m) => NoRepo -> m () Source #
Repo GitImpl Source #
Methods repo_retrieveInfo :: (MonadIO m, MonadPlus m, MonadMultiReader Config m, MonadMultiState LogState m) => m GitImpl Source # repo_runChecks :: (MonadIO m, MonadPlus m, MonadMultiReader Config m, MonadMultiState LogState m, MonadMultiState CheckState m) => GitImpl -> m () Source # repo_displaySummary :: (MonadIO m, MonadMultiReader Config m, MonadMultiState LogState m) => GitImpl -> m () Source # repo_ActionSummary :: (MonadMultiReader Config m, MonadMultiReader Infos m, MonadMultiState LogState m) => GitImpl -> m [String] Source # repo_performAction :: (MonadIO m, MonadPlus m, MonadMultiReader Config m, MonadMultiReader Infos m, MonadMultiState LogState m) => GitImpl -> m () Source #

Constructors

Instances

Constructors

Instances

Eq LogLevel Source #
Methods (==) :: LogLevel -> LogLevel -> Bool # (/=) :: LogLevel -> LogLevel -> Bool #
Show LogLevel Source #
Methods showsPrec :: Int -> LogLevel -> ShowS # show :: LogLevel -> String # showList :: [LogLevel] -> ShowS #

Constructors

LogState
Fields _log_mask :: [LogLevel] _log_indent :: Int _log_prepared :: Maybe String _log_cur :: String

type Config = Value Source #

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

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

repoActionSummary :: (MonadIO m, MonadMultiReader Infos m, MonadMultiReader Config m, MonadMultiState LogState m) => m [String] Source #

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

Constructors

CheckState
Fields _check_stack :: [String] _check_errorCount :: Int _check_warningCount :: Int _check_notWallClean :: [String]