Development.Iridium.Types

Documentation

data Infos

Constructors

forall repo . Repo repo => Infos

Fields

_i_cwd :: FilePath

_i_package :: GenericPackageDescription

_i_remote_version :: Maybe Version

_i_repo :: repo

class Repo a where

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

Repo GitImpl

data NoRepo

Constructors

NoRepo

Instances

Repo NoRepo

data LogLevel

Constructors

LogLevelSilent

LogLevelPrint

LogLevelDebug

LogLevelTrace

LogLevelWarn

LogLevelError

LogLevelInfo

LogLevelInfoVerbose

LogLevelInfoVerboser

LogLevelInfoSpam

LogLevelThread

Instances

Eq LogLevel

Show LogLevel

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]