Safe Haskell | None |
---|---|
Language | Haskell98 |
- data JobActionState e a
- runActionState :: (Env e, Unit a) => JobActionState e a -> ActionFn e a
- runAction :: (Aux e, Env e, Unit a) => e -> a -> ActionT e a IO () -> IO (Either Break (Maybe (RuntimeState a)))
- getEnv :: (Env e, Unit a) => ActionM e a e
- next :: (Env e, Unit a) => a -> ActionM e a ()
- orNext :: (Env e, Unit a) => a -> ActionM e a ()
- fin :: (Env e, Unit a) => ActionM e a ()
- none :: (Env e, Unit a) => ActionM e a ()
- fork :: (Env e, Unit a) => a -> ActionM e a ()
- forkInTime :: (Env e, Unit a) => NominalDiffTime -> a -> ActionM e a ()
- forkOnTime :: (Env e, Unit a) => UTCTime -> a -> ActionM e a ()
- abort :: (Env e, Unit a) => ActionM e a b
- commitIO :: (Env e, Unit a) => IO b -> ActionM e a b
- liftIO :: MonadIO m => forall a. IO a -> m a
- yield :: (Env e, Unit a) => ActionM e a ()
Documentation
data JobActionState e a Source
Default (JobActionState e a) Source | |
MonadState (JobActionState e a) (JobM e a) Source |
runActionState :: (Env e, Unit a) => JobActionState e a -> ActionFn e a Source
runAction :: (Aux e, Env e, Unit a) => e -> a -> ActionT e a IO () -> IO (Either Break (Maybe (RuntimeState a))) Source
Move to the next state immediately. After the execution of the action the job being processed will be moved to the given state. The next action will be invoked immediately and can continue to work without being interrupted by another job. NOTE: This overrides the next state if it is already set.
Move to the next state immediately. This is different from "next" function because this doesn't override if the next job is already set.
none :: (Env e, Unit a) => ActionM e a () Source
If the unit passed by the job queue system cannot be processed by the action function, the function should call this.
forkInTime :: (Env e, Unit a) => NominalDiffTime -> a -> ActionM e a () Source
Create a job with a unit and schedule it after a few micro seconds.
Create a job with a unit and schedule it at a specific time.
abort :: (Env e, Unit a) => ActionM e a b Source
Abort the execution of a state machine. If a critical problem is found and there is a need to switch to the failure state, call this function.