Control.Monad.Trans.Crtn.Driver

IO event driverzo

Documentation

data DrvOp e i o where

signature of IO event driver

Constructors

Dispatch :: DrvOp e e (Maybe (ActionOrder e))

type Driver e m = SObjT (DrvOp e) m

driver

type DrvClient e m r = CObjT (DrvOp e) m r

driver client

dispatch :: Monad m => e -> DrvClient e m (Maybe (ActionOrder e))

driver :: forall m e. (Monad m, MonadLog m, MonadIO m) => LogServer (SObjBT (DrvOp e) m) () -> SObjT (WorldOp e (SObjBT (DrvOp e) m)) (SObjBT (DrvOp e) m) () -> Driver e m ()

basic driver

singleDispatch :: Monad m => Either (ActionOrder e) e -> (LogServer (SObjBT (DrvOp e) m) (), World e (SObjBT (DrvOp e) m) (), [EvOrAct e]) -> SObjBT (DrvOp e) m (LogServer (SObjBT (DrvOp e) m) (), World e (SObjBT (DrvOp e) m) (), [EvOrAct e])

single event dispatch

multiDispatch :: Monad m => (LogServer (SObjBT (DrvOp e) m) (), World e (SObjBT (DrvOp e) m) ()) -> [EvOrAct e] -> SObjBT (DrvOp e) m (LogServer (SObjBT (DrvOp e) m) (), World e (SObjBT (DrvOp e) m) (), [EvOrAct e])

a single feedback step of multiple event dispatch

multiDispatchTillEnd :: Monad m => (LogServer (SObjBT (DrvOp e) m) (), World e (SObjBT (DrvOp e) m) ()) -> [EvOrAct e] -> SObjBT (DrvOp e) m (LogServer (SObjBT (DrvOp e) m) (), World e (SObjBT (DrvOp e) m) ())

full multiple event dispatch with feedback

fire :: (Monad m, MonadLog m) => e -> EStT (Driver e m ()) m (Maybe (ActionOrder e))

convenience routine for driver