Mealstrom.FSMStore

Documentation

data Proxy k s e a

Constructors

Proxy

class FSMStore st k s e a where

Even the Read method needs type parameters e and a because it needs to deserialise the entry from storage. Implementations are expected to not throw exceptions in fsmRead/fsmCreate. Throwing in fsmUpdate is OK.

Minimal complete definition

fsmRead, fsmCreate, fsmUpdate

Methods

fsmRead :: st -> k -> Proxy k s e a -> IO (Maybe s)

fsmCreate :: st -> Instance k s e a -> IO (Maybe String)

fsmUpdate :: st -> k -> MachineTransformer s e a -> IO MealyStatus

Instances

(FromJSON s, FromJSON e, FromJSON a, ToJSON s, ToJSON e, ToJSON a, Typeable * s, Typeable * e, Typeable * a, MealyInstance k s e a) => FSMStore PostgresJSONStore k s e a

Methods

fsmRead :: PostgresJSONStore -> k -> Proxy k s e a -> IO (Maybe s)

fsmCreate :: PostgresJSONStore -> Instance k s e a -> IO (Maybe String)

fsmUpdate :: PostgresJSONStore -> k -> MachineTransformer s e a -> IO MealyStatus

MealyInstance k s e a => FSMStore (MemoryStore k s e a) k s e a

Methods

fsmRead :: MemoryStore k s e a -> k -> Proxy k s e a -> IO (Maybe s)

fsmCreate :: MemoryStore k s e a -> Instance k s e a -> IO (Maybe String)

fsmUpdate :: MemoryStore k s e a -> k -> MachineTransformer s e a -> IO MealyStatus