data I ev w a

data P event w

data InteractState event w

class MonadInteract m w e

class PEq a

deprioritize

(<||)

(||>)

option

oneOf

processOneEvent

computeState

event

events

choice

mkAutomaton

idAutomaton

runWrite

anyEvent

eventBetween

accepted