mealstrom-0.0.1.0: Manipulate FSMs and store them in PostgreSQL.

Copyright(c) Max Amanshauser 2016
LicenseMIT
Maintainermax@lambdalifting.org
Safe HaskellNone
LanguageHaskell2010

Mealstrom.FSMTable

Description

 
Synopsis

Documentation

type Transitions s e a = (s, e) -> (s, [a]) Source #

type Effects a = Msg a -> IO Bool Source #

Effects are wrapped in Msgs so that the effects function can access the msgId. This is useful when the effects function sends messages of its own, because it can reuse the msgId, thereby creating a message chain with the same Id. Doing so extends guarantees to the receiving FSM.

data FSMTable s e a Source #

Constructors

FSMTable 

Fields