Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type AccountQuery i p = [Query AccountByName (Maybe (Uid i (Account p))) !! DbError, Store i (Account p) !! DbError, AtomicState (PureStore i (Account p))]
- interpretAccountByNameState :: forall i p r. Ord i => Show i => Member (Embed IO) r => [Uid i (Account p)] -> InterpretersFor (AccountQuery i p) r
Documentation
type AccountQuery i p = [Query AccountByName (Maybe (Uid i (Account p))) !! DbError, Store i (Account p) !! DbError, AtomicState (PureStore i (Account p))] Source #
The effects handled by interpretAccountByNameState
.
interpretAccountByNameState :: forall i p r. Ord i => Show i => Member (Embed IO) r => [Uid i (Account p)] -> InterpretersFor (AccountQuery i p) r Source #
Interpret
and the corresponding Query
AccountByName
Store
in an AtomicState
.