OrgStat.WorkMonad

Definition for main work scope

Documentation

data WorkConfig

Read-only app configuration.

Constructors

WorkConfig

Fields

• _wcConfig :: OrgStatConfig
• _wcCommonArgs :: CommonArgs

Instances

MonadReader WorkConfig WorkM

Methods

ask :: WorkM WorkConfig

local :: (WorkConfig -> WorkConfig) -> WorkM a -> WorkM a

reader :: (WorkConfig -> a) -> WorkM a

wcConfig :: Lens' WorkConfig OrgStatConfig

wcCommonArgs :: Lens' WorkConfig CommonArgs

data WorkData

State component of application.

Instances

Default WorkData

Methods

def :: WorkData

MonadState WorkData WorkM

Methods

get :: WorkM WorkData

put :: WorkData -> WorkM ()

state :: (WorkData -> (a, WorkData)) -> WorkM a

wdReadFiles :: Lens' WorkData (HashMap FilePath (Text, Org))

wdResolvedScopes :: Lens' WorkData (HashMap Text Org)

wdResolvedReports :: Lens' WorkData (HashMap Text Org)

newtype WorkM a

Constructors

WorkM

Fields

• getWorkM :: StateT WorkData (ReaderT WorkConfig IO) a

Instances

Monad WorkM

Methods

(>>=) :: WorkM a -> (a -> WorkM b) -> WorkM b

(>>) :: WorkM a -> WorkM b -> WorkM b

return :: a -> WorkM a

fail :: String -> WorkM a

Functor WorkM

Methods

fmap :: (a -> b) -> WorkM a -> WorkM b

(<$) :: a -> WorkM b -> WorkM a

Applicative WorkM

Methods

pure :: a -> WorkM a

(<*>) :: WorkM (a -> b) -> WorkM a -> WorkM b

(*>) :: WorkM a -> WorkM b -> WorkM b

(<*) :: WorkM a -> WorkM b -> WorkM a

MonadIO WorkM

Methods

liftIO :: IO a -> WorkM a

MonadThrow WorkM

Methods

throwM :: Exception e => e -> WorkM a

MonadCatch WorkM

Methods

catch :: Exception e => WorkM a -> (e -> WorkM a) -> WorkM a

CanLog WorkM

Methods

dispatchMessage :: LoggerName -> Severity -> Text -> WorkM ()

HasLoggerName WorkM

Methods

getLoggerName :: WorkM LoggerName

modifyLoggerName :: (LoggerName -> LoggerName) -> WorkM a -> WorkM a

MonadState WorkData WorkM

Methods

get :: WorkM WorkData

put :: WorkData -> WorkM ()

state :: (WorkData -> (a, WorkData)) -> WorkM a

MonadReader WorkConfig WorkM

Methods

ask :: WorkM WorkConfig

local :: (WorkConfig -> WorkConfig) -> WorkM a -> WorkM a

reader :: (WorkConfig -> a) -> WorkM a

runWorkM :: MonadIO m => WorkConfig -> WorkM a -> m a