Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data AcidBackendT st m a
- runAcidBackendT :: AuthConfig -> AcidState st -> AcidBackendT st m a -> m (Either ServantErr a)
- deriveAcidHasStorage :: Name -> DecsQ
Documentation
data AcidBackendT st m a Source #
Monad transformer that implements storage backend
Monad m => MonadError ServantErr (AcidBackendT st m) Source # | |
MonadBase IO m => MonadBase IO (AcidBackendT st m) Source # | |
MonadBaseControl IO m => MonadBaseControl IO (AcidBackendT st m) Source # | |
Monad m => Monad (AcidBackendT st m) Source # | |
Functor m => Functor (AcidBackendT st m) Source # | |
Monad m => Applicative (AcidBackendT st m) Source # | |
MonadIO m => MonadIO (AcidBackendT st m) Source # | |
Monad m => HasAuthConfig (AcidBackendT st m) Source # | |
Monad m => MonadReader (AuthConfig, AcidState st) (AcidBackendT st m) Source # | |
type StM (AcidBackendT st m) a Source # | |
runAcidBackendT :: AuthConfig -> AcidState st -> AcidBackendT st m a -> m (Either ServantErr a) Source #
Execute backend action with given connection pool.
deriveAcidHasStorage :: Name -> DecsQ Source #
Derives acid-state HasStorage
instance for functions that are generated in makeModelAcidic
.
Use this as following: @ instance HasModelRead MyState where askModel = authModel
instance HasModelWrite MyState where putModel m v = m { authModel = v }
makeModelAcidic ''MyState deriveAcidHasStorage @