Control.Monad.Trans.Crtn.World

describe world object

Documentation

data WorldOp e m i o where

Constructors

GiveEvent :: WorldOp e m e ()

FlushLog :: WorldOp e m (LogServer m ()) (LogServer m ())

FlushQueue :: WorldOp e m () [Either (ActionOrder e) e]

type World e m r = SObjT (WorldOp e m) m r

giveEvent :: Monad m => e -> CObjT (WorldOp e m) m ()

flushLog :: Monad m => LogServer m () -> CObjT (WorldOp e m) m (LogServer m ())

flushQueue :: Monad m => CObjT (WorldOp e m) m [Either (ActionOrder e) e]