Mealstrom.PostgresJSONStore

This module is the main backend for FSMs. Instances are stored in a table with the name passed as storeName when creating the PostgresJSONStore. WALs use the same name with Wal appended.

Documentation

data PostgresJSONStore

Instances

FSMKey k => WALStore PostgresJSONStore k

Defined in Mealstrom.PostgresJSONStore

Methods

walUpsertIncrement :: PostgresJSONStore -> k -> IO ()

walDecrement :: PostgresJSONStore -> k -> IO ()

walScan :: PostgresJSONStore -> Int -> IO [WALEntry k]

(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

Defined in Mealstrom.PostgresJSONStore

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

mkStore :: String -> Text -> IO PostgresJSONStore

Creates a postgresql store

_fsmRead :: (FromJSON s, FromJSON e, FromJSON a, Typeable s, Typeable e, Typeable a, MealyInstance k s e a) => PostgresJSONStore -> k -> Proxy k s e a -> IO (Maybe (Instance k s e a))

_fsmCreate :: forall k s e a. (ToJSON s, ToJSON e, ToJSON a, Typeable s, Typeable e, Typeable a, MealyInstance k s e a) => PostgresJSONStore -> Instance k s e a -> IO (Maybe String)

_fsmUpdate :: forall k s e a. (FromJSON s, FromJSON e, FromJSON a, ToJSON s, ToJSON e, ToJSON a, Typeable s, Typeable e, Typeable a, MealyInstance k s e a) => PostgresJSONStore -> k -> MachineTransformer s e a -> IO MealyStatus

_batchConversion :: forall k s e a. (FromJSON s, FromJSON e, FromJSON a, ToJSON s, ToJSON e, ToJSON a, Typeable s, Typeable e, Typeable a, MealyInstance k s e a) => PostgresJSONStore -> Text -> Proxy k s e a -> IO ()

You can call this function when you changed the representation of your MealyMachine. It will read all instances through FromJSON and write them back using ToJSON.

Orphan instances

FSMKey k => FromField k

Methods

fromField :: FieldParser k

FSMKey k => ToField k

Methods

toField :: k -> Action

FSMKey k => Generic (WALEntry k)

Associated Types

type Rep (WALEntry k) :: Type -> Type

Methods

from :: WALEntry k -> Rep (WALEntry k) x

to :: Rep (WALEntry k) x -> WALEntry k

ToJSON e => ToJSON (Msg e)

Methods

toJSON :: Msg e -> Value

toEncoding :: Msg e -> Encoding

toJSONList :: [Msg e] -> Value

toEncodingList :: [Msg e] -> Encoding

FromJSON e => FromJSON (Msg e)

Methods

parseJSON :: Value -> Parser (Msg e)

parseJSONList :: Value -> Parser [Msg e]

FSMKey k => FromRow (WALEntry k)

Methods

fromRow :: RowParser (WALEntry k)

(ToJSON s, ToJSON e, ToJSON a) => ToJSON (Machine s e a)

Instance to convert one DB row to an instance of Instance ;) users of this module must provide instances for ToJSON, FromJSON for s, e and a.

Methods

toJSON :: Machine s e a -> Value

toEncoding :: Machine s e a -> Encoding

toJSONList :: [Machine s e a] -> Value

toEncodingList :: [Machine s e a] -> Encoding

(FromJSON s, FromJSON e, FromJSON a) => FromJSON (Machine s e a)

Methods

parseJSON :: Value -> Parser (Machine s e a)

parseJSONList :: Value -> Parser [Machine s e a]

(Typeable s, Typeable e, Typeable a, FromJSON s, FromJSON e, FromJSON a) => FromField (Machine s e a)

Methods

fromField :: FieldParser (Machine s e a)

(Typeable s, Typeable e, Typeable a, ToJSON s, ToJSON e, ToJSON a) => ToField (Machine s e a)

Methods

toField :: Machine s e a -> Action

(Typeable s, Typeable e, Typeable a, FromJSON s, FromJSON e, FromJSON a, FSMKey k) => FromRow (Instance k s e a)

Methods

fromRow :: RowParser (Instance k s e a)