| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Network.JobQueue.Types
- 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
Constructors
| JobActionState | |
Fields
| |
Instances
| Default (JobActionState e a) Source | |
| MonadState (JobActionState e a) (JobM e a) Source |
Instances
| 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 |
Constructors
| ActionEnv | |
Fields
| |
Instances
| 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
Minimal complete definition
Nothing
Methods
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
Instances
| Show a => Show (RuntimeState a) Source | |
| Unit a => Default (RuntimeState a) Source | |
| Monad m => MonadState (Maybe (RuntimeState a)) (ActionT e a m) Source |
Constructors
| Unhandled SomeException | |
| Failure String | |
| Retriable |
data LogLevel :: *
Constructors
| LevelDebug | |
| LevelInfo | |
| LevelWarn | |
| LevelError | |
| LevelOther Text |
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