Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- insertValue :: forall d e r. Members [QStore Maybe () d !! e, Stop e] r => Sem r d -> Sem r d
- readValue :: forall d e r. Members [QStore Maybe () d !! e, Stop e] r => Sem r d -> Sem r d
- interpretReaderStore :: forall d e r. Member (QStore Maybe () d !! e) r => Sem r d -> InterpreterFor (Reader d !! e) r
- interpretReaderStoreAs :: forall d e r. Member (QStore Maybe () d !! e) r => d -> InterpreterFor (Reader d !! e) r
Documentation
insertValue :: forall d e r. Members [QStore Maybe () d !! e, Stop e] r => Sem r d -> Sem r d Source #
readValue :: forall d e r. Members [QStore Maybe () d !! e, Stop e] r => Sem r d -> Sem r d Source #
interpretReaderStore :: forall d e r. Member (QStore Maybe () d !! e) r => Sem r d -> InterpreterFor (Reader d !! e) r Source #
Interpret Reader
as a singleton table.
Given an initial value, every action reads the value from the database, potentially writing it on first access.
interpretReaderStoreAs :: forall d e r. Member (QStore Maybe () d !! e) r => d -> InterpreterFor (Reader d !! e) r Source #