Control.Distributed.Process.FSM

Starting / Running an FSM Process

start

run

Defining FSM Steps, Actions, and Transitions

initState

yield

event

pevent

enter

resume

reply

postpone

putBack

nextEvent

publishEvent

timeout

stop

await

safeWait

whenStateIs

pick

begin

join

reverseJoin

atState

always

allState

matching

set

set_

put

DSL-style API (operator sugar)

(.|)

(|>)

(<|)

(~>)

(*>)

(~@)

(~?)

(^.)

Types and Utilities

data Event m

data FSM s d o

lift

liftIO

stateData

currentInput

currentState

currentMessage

addTransition

data Step s d

data Transition s d

data State s d