Safe Haskell	None
Language	Haskell2010

Database.Redis.Core.Internal

Synopsis

newtype Redis a = Redis (ReaderT RedisEnv IO a)
data RedisEnv
- = NonClusteredEnv {
  - envConn :: Connection
  - nonClusteredLastReply :: IORef Reply
  }
- | ClusteredEnv {
  - refreshAction :: IO ShardMap
  - connection :: Connection
  - clusteredLastReply :: IORef Reply
  }
envLastReply :: RedisEnv -> IORef Reply

Documentation

newtype Redis a Source #

Context for normal command execution, outside of transactions. Use runRedis to run actions of this type.

In this context, each result is wrapped in an Either to account for the possibility of Redis returning an Error reply.

Constructors

Redis (ReaderT RedisEnv IO a)

Instances

Instances details

MonadIO Redis Source #
Instance details Defined in Database.Redis.Core.Internal Methods liftIO :: IO a -> Redis a #
MonadCatch Redis Source #
Instance details Defined in Database.Redis.Core.Internal Methods catch :: (HasCallStack, Exception e) => Redis a -> (e -> Redis a) -> Redis a #
MonadMask Redis Source #
Instance details Defined in Database.Redis.Core.Internal Methods mask :: HasCallStack => ((forall a. Redis a -> Redis a) -> Redis b) -> Redis b # uninterruptibleMask :: HasCallStack => ((forall a. Redis a -> Redis a) -> Redis b) -> Redis b # generalBracket :: HasCallStack => Redis a -> (a -> ExitCase b -> Redis c) -> (a -> Redis b) -> Redis (b, c) #
MonadThrow Redis Source #
Instance details Defined in Database.Redis.Core.Internal Methods throwM :: (HasCallStack, Exception e) => e -> Redis a #
Applicative Redis Source #
Instance details Defined in Database.Redis.Core.Internal Methods pure :: a -> Redis a # (<>) :: Redis (a -> b) -> Redis a -> Redis b # liftA2 :: (a -> b -> c) -> Redis a -> Redis b -> Redis c # (>) :: Redis a -> Redis b -> Redis b # (<*) :: Redis a -> Redis b -> Redis a #
Functor Redis Source #
Instance details Defined in Database.Redis.Core.Internal Methods fmap :: (a -> b) -> Redis a -> Redis b # (<$) :: a -> Redis b -> Redis a #
Monad Redis Source #
Instance details Defined in Database.Redis.Core.Internal Methods (>>=) :: Redis a -> (a -> Redis b) -> Redis b # (>>) :: Redis a -> Redis b -> Redis b # return :: a -> Redis a #
MonadFail Redis Source #
Instance details Defined in Database.Redis.Core.Internal Methods fail :: String -> Redis a #
MonadRedis Redis Source #
Instance details Defined in Database.Redis.Core Methods liftRedis :: Redis a -> Redis a Source #
MonadUnliftIO Redis Source #
Instance details Defined in Database.Redis.Core.Internal Methods withRunInIO :: ((forall a. Redis a -> IO a) -> IO b) -> Redis b #
RedisCtx Redis (Either Reply) Source #
Instance details Defined in Database.Redis.Core Methods returnDecode :: RedisResult a => Reply -> Redis (Either Reply a) Source #

data RedisEnv Source #

Constructors

NonClusteredEnv
Fields envConn :: Connection nonClusteredLastReply :: IORef Reply
ClusteredEnv
Fields refreshAction :: IO ShardMap connection :: Connection clusteredLastReply :: IORef Reply

envLastReply :: RedisEnv -> IORef Reply Source #