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