Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- interpretAtomicStateDb :: Members [DbTable d !! e, Error InitDbError, Mask, Resource, Race, Embed IO] r => TableSchema d -> Sem r d -> InterpreterFor (AtomicState d !! e) r
- interpretAtomicStatesDb :: Members [Error InitDbError, Mask, Resource, Race, Embed IO] r => Members [Scoped ConnectionSource (DbTable d !! err), DbTable d !! err, Log, Embed IO] r => TableSchema d -> Sem r d -> InterpretersFor [AtomicState d !! err, Scoped Connection (AtomicState d !! err) !! err] r
Documentation
interpretAtomicStateDb :: Members [DbTable d !! e, Error InitDbError, Mask, Resource, Race, Embed IO] r => TableSchema d -> Sem r d -> InterpreterFor (AtomicState d !! e) r Source #
Interpret AtomicState
as a singleton table.
Given an action that produces an initial value, every state action reads the value from the database and writes it back.
interpretAtomicStatesDb :: Members [Error InitDbError, Mask, Resource, Race, Embed IO] r => Members [Scoped ConnectionSource (DbTable d !! err), DbTable d !! err, Log, Embed IO] r => TableSchema d -> Sem r d -> InterpretersFor [AtomicState d !! err, Scoped Connection (AtomicState d !! err) !! err] r Source #