| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Polysemy.Account.Interpreter.AuthForAccount
Description
Synopsis
- match :: Eq i => AuthForAccount i -> Uid i (AccountAuth i) -> Maybe (Uid i (AccountAuth i))
- 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
match :: Eq i => AuthForAccount i -> Uid i (AccountAuth i) -> Maybe (Uid i (AccountAuth i)) Source #
type AuthQuery i p = [Query (AuthForAccount i) [Uid i (AccountAuth i)] !! DbError, Store i (AccountAuth i) !! DbError, AtomicState (PureStore i (AccountAuth i))] Source #
interpretAuthForAccountState :: forall i r p. Ord i => Show i => Member (Embed IO) r => [Uid i (AccountAuth i)] -> InterpretersFor (AuthQuery i p) r Source #
Interpret Query AccountAuthStore in an AtomicState.