Polysemy.Db.Interpreter.Query

Documentation

class QueryCheckResult f where

Methods

queryCheckResult :: [a] -> Either DbError (f a)

Instances

QueryCheckResult Maybe

Defined in Polysemy.Db.Interpreter.Query

Methods

queryCheckResult :: [a] -> Either DbError (Maybe a)

QueryCheckResult []

Defined in Polysemy.Db.Interpreter.Query

Methods

queryCheckResult :: [a] -> Either DbError [a]

interpretQueryConst :: Ord q => QueryCheckResult f => Map q [d] -> InterpreterFor (Query q (f d) !! DbError) r

interpretQueryAtomicState :: forall i a d q f r. Member (AtomicState (PureStore i a)) r => QueryCheckResult f => (q -> Uid i a -> Maybe d) -> InterpreterFor (Query q (f d) !! DbError) r

interpretQueryConc :: Ord i => QueryCheckResult f => Member (Embed IO) r => (q -> Uid i a -> Maybe d) -> [Uid i a] -> InterpreterFor (Query q (f d) !! DbError) r

interpretQueryStoreConc :: Ord i => Show i => QueryCheckResult f => Member (Embed IO) r => (q -> Uid i a -> Maybe d) -> [Uid i a] -> InterpretersFor [Query q (f d) !! DbError, Store i a !! DbError, AtomicState (PureStore i a)] r

interpretQueryStoreAny :: forall q d i e r. Member (Store i d !! e) r => (q -> d -> Bool) -> InterpreterFor (Query q Bool !! e) r