Mealstrom.FSMEngine

Description

Synopsis

patchPhase1 :: (Eq s, Eq e) => FSMTable s e a -> [Msg e] -> Machine s e a -> IO (Machine s e a)
patchPhase2 :: Eq a => FSMTable s e a -> Machine s e a -> IO (Machine s e a)

Documentation

patchPhase1 :: (Eq s, Eq e) => FSMTable s e a -> [Msg e] -> Machine s e a -> IO (Machine s e a) Source #

patchPhase1 is the part of a "change" to an FSM that happens synchronously.

patchPhase2 is the part of a "change" to an FSM that happens *asynchronously*.