| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Polysemy.Account.Interpreter.AuthForAccount
Description
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 AccountAuthStore in an AtomicState.