Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class TransactionEffects all effs err res r where Source #
transactionEffects :: res -> InterpretersFor effs r Source #
Instances
TransactionEffects all ('[] :: [Effect]) err res r Source # | |
Defined in Polysemy.Hasql.Transaction transactionEffects :: res -> InterpretersFor '[] r Source # | |
(TransactionEffects all effs err res r, Member (Scoped res (eff !! err) !! err) (effs ++ r), Member (Stop err) (effs ++ r)) => TransactionEffects all (eff ': effs) err res r Source # | |
Defined in Polysemy.Hasql.Transaction transactionEffects :: res -> InterpretersFor (eff ': effs) r Source # |
transact :: forall effs res err r. (effs ++ ('[Transaction res] ++ r)) ~ ((effs ++ '[Transaction res]) ++ r) => Member (Transactions res) r => TransactionEffects effs effs err res (Transaction res ': r) => InterpretersFor (effs ++ '[Transaction res]) r Source #
transactStores :: forall ds res err r xas. xas ~ XaStores ds => (XaStores ds ++ (Transaction res ': r)) ~ ((xas ++ '[Transaction res]) ++ r) => Member (Transactions res) r => TransactionEffects xas xas err res (Transaction res ': r) => InterpretersFor (xas ++ '[Transaction res]) r Source #
connectionScope :: forall eff err r a. Member (Scoped ConnectionSource (eff !! err)) r => Connection -> (() -> Sem ((eff !! err) ': r) a) -> Sem r a Source #
interpretForXa :: forall dep eff err r. Member (Scoped ConnectionSource (dep !! err)) r => (forall x r0. eff (Sem r0) x -> Sem (Stop err ': ((dep !! err) ': r)) x) -> InterpreterFor (Scoped Connection (eff !! err) !! err) r Source #
interpretWithXa :: forall dep eff err r. FirstOrder eff "interpretResumable" => Members [Scoped ConnectionSource (dep !! err), dep !! err] r => (forall x r0. eff (Sem r0) x -> Sem (Stop err ': ((dep !! err) ': r)) x) -> InterpretersFor [Scoped Connection (eff !! err) !! err, eff !! err] r Source #