Mealstrom.FSMEngine

Documentation

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

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

patchPhase2 :: Eq a => FSMTable s e a -> Machine s e a -> IO (Machine s e a)

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