| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Arbiter.Core.MonadArbiter
Synopsis
- class (Monad m, MonadIO m) => MonadArbiter (m :: Type -> Type) where
- type Handler (m :: Type -> Type) jobs result
- executeQuery :: Text -> Params -> RowCodec a -> m [a]
- executeStatement :: Text -> Params -> m Int64
- withDbTransaction :: m a -> m a
- runHandlerWithConnection :: Handler m jobs result -> jobs -> m result
- type Params = [SomeParam]
- data SomeParam where
- data ParamType a where
- type JobHandler (m :: Type -> Type) payload result = Handler m (JobRead payload) result
- type BatchedJobHandler (m :: Type -> Type) payload result = Handler m (NonEmpty (JobRead payload)) result
Documentation
class (Monad m, MonadIO m) => MonadArbiter (m :: Type -> Type) where Source #
Methods
executeQuery :: Text -> Params -> RowCodec a -> m [a] Source #
executeStatement :: Text -> Params -> m Int64 Source #
withDbTransaction :: m a -> m a Source #
runHandlerWithConnection :: Handler m jobs result -> jobs -> m result Source #
An existentially-typed parameter: a ParamType paired with its value.