Development.Iridium.Types

Documentation

data Infos

Constructors

Repo repo => Infos

Fields

• _i_cwd :: FilePath
• _i_package :: GenericPackageDescription
• _i_remote_version :: Maybe Version
• _i_repo :: repo

class Repo a where

Minimal complete definition

repo_retrieveInfo, repo_runChecks, repo_displaySummary, repo_ActionSummary, repo_performAction

Methods

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

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 ()

The checks to be run for this repo type

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

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]

(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 ()

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

Instances

Repo NoRepo

Methods

repo_retrieveInfo :: (MonadIO m, MonadPlus m, MonadMultiReader Config m, MonadMultiState LogState m) => m NoRepo

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

repo_displaySummary :: (MonadIO m, MonadMultiReader Config m, MonadMultiState LogState m) => NoRepo -> m ()

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

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

Repo GitImpl

Methods

repo_retrieveInfo :: (MonadIO m, MonadPlus m, MonadMultiReader Config m, MonadMultiState LogState m) => m GitImpl

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

repo_displaySummary :: (MonadIO m, MonadMultiReader Config m, MonadMultiState LogState m) => GitImpl -> m ()

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

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

data NoRepo

Constructors

NoRepo

Instances

Repo NoRepo

Methods

repo_retrieveInfo :: (MonadIO m, MonadPlus m, MonadMultiReader Config m, MonadMultiState LogState m) => m NoRepo

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

repo_displaySummary :: (MonadIO m, MonadMultiReader Config m, MonadMultiState LogState m) => NoRepo -> m ()

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

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

data LogLevel

Constructors

LogLevelSilent

LogLevelPrint

LogLevelDebug

LogLevelTrace

LogLevelWarn

LogLevelError

LogLevelInfo

LogLevelInfoVerbose

LogLevelInfoVerboser

LogLevelInfoSpam

LogLevelThread

Instances

Eq LogLevel

Methods

(==) :: LogLevel -> LogLevel -> Bool

(/=) :: LogLevel -> LogLevel -> Bool

Show LogLevel

Methods

showsPrec :: Int -> LogLevel -> ShowS

show :: LogLevel -> String

showList :: [LogLevel] -> ShowS

data LogState

Constructors

LogState

Fields

• _log_mask :: [LogLevel]
• _log_indent :: Int
• _log_prepared :: Maybe String
• _log_cur :: String

type Config = Value

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

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

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

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

data CheckState

Constructors

CheckState

Fields

• _check_stack :: [String]
• _check_errorCount :: Int
• _check_warningCount :: Int
• _check_notWallClean :: [String]