Safe Haskell | None |
---|---|
Language | Haskell98 |
- data JobActionState e a = JobActionState {
- jobActions :: [ActionFn e a]
- data (Env e, Unit a) => JobM e a b
- type ActionM e a b = ActionT e a IO b
- data ActionT e a m b
- type ActionFn e a = e -> a -> IO (Either Break (Maybe (RuntimeState a)))
- data ActionEnv e a = ActionEnv {
- getJobEnv :: e
- getJobUnit :: a
- class (Read a, Show a, Desc a, Eq a) => Unit a where
- getPriority :: a -> Int
- getRecovery :: a -> a
- toBeLogged :: a -> Bool
- data RuntimeState a = RS {}
- data Break
- data LogLevel :: *
- setNextJob :: Unit a => a -> RuntimeState a -> RuntimeState a
- setNextJobIfEmpty :: Unit a => a -> RuntimeState a -> RuntimeState a
- emptyNextJob :: Unit a => RuntimeState a -> RuntimeState a
- addForkJob :: Unit a => (a, Maybe UTCTime) -> RuntimeState a -> RuntimeState a
- incrementCommits :: Unit a => RuntimeState a -> RuntimeState a
- getCommits :: Unit a => RuntimeState a -> Int
- runS :: JobM e a b -> StateT (JobActionState e a) IO b
- runAM :: ActionT e a m b -> ExceptT Break (ReaderT (ActionEnv e a) (StateT (Maybe (RuntimeState a)) (LoggingT m))) b
- addAction :: (Env e, Unit a) => ActionFn e a -> JobActionState e a -> JobActionState e a
- setResult :: Unit a => Maybe (RuntimeState a) -> Maybe (RuntimeState a) -> Maybe (RuntimeState a)
Documentation
data JobActionState e a Source
JobActionState | |
|
Default (JobActionState e a) Source | |
MonadState (JobActionState e a) (JobM e a) Source |
MonadBaseControl base m => MonadBaseControl base (ActionT e a m) Source | |
MonadBase base m => MonadBase base (ActionT e a m) Source | |
Monad m => MonadError Break (ActionT e a m) Source | |
Monad m => MonadState (Maybe (RuntimeState a)) (ActionT e a m) Source | |
MonadTrans (ActionT e a) Source | |
MonadTransControl (ActionT e a) Source | |
Monad m => MonadReader (ActionEnv e a) (ActionT e a m) Source | |
Monad m => Monad (ActionT e a m) Source | |
Monad m => Functor (ActionT e a m) Source | |
Monad m => Applicative (ActionT e a m) Source | |
MonadIO m => MonadLogger (ActionT e a m) Source | |
MonadIO m => MonadIO (ActionT e a m) Source | |
type StT (ActionT e a) b = (Either Break b, Maybe (RuntimeState a)) Source | |
type StM (ActionT e a m) b = ComposeSt (ActionT e a) m b Source |
ActionEnv | |
|
Monad m => MonadReader (ActionEnv e a) (ActionT e a m) Source |
class (Read a, Show a, Desc a, Eq a) => Unit a where Source
Unit class
Nothing
getPriority :: a -> Int Source
Define the priority of a unit.
getRecovery :: a -> a Source
Define the recovery state of a unit.
toBeLogged :: a -> Bool Source
Define the logging necessity of a unit.
data RuntimeState a Source
Show a => Show (RuntimeState a) Source | |
Unit a => Default (RuntimeState a) Source | |
Monad m => MonadState (Maybe (RuntimeState a)) (ActionT e a m) Source |
data LogLevel :: *
setNextJob :: Unit a => a -> RuntimeState a -> RuntimeState a Source
setNextJobIfEmpty :: Unit a => a -> RuntimeState a -> RuntimeState a Source
emptyNextJob :: Unit a => RuntimeState a -> RuntimeState a Source
addForkJob :: Unit a => (a, Maybe UTCTime) -> RuntimeState a -> RuntimeState a Source
incrementCommits :: Unit a => RuntimeState a -> RuntimeState a Source
getCommits :: Unit a => RuntimeState a -> Int Source
runAM :: ActionT e a m b -> ExceptT Break (ReaderT (ActionEnv e a) (StateT (Maybe (RuntimeState a)) (LoggingT m))) b Source
addAction :: (Env e, Unit a) => ActionFn e a -> JobActionState e a -> JobActionState e a Source
setResult :: Unit a => Maybe (RuntimeState a) -> Maybe (RuntimeState a) -> Maybe (RuntimeState a) Source