Safe Haskell	None
Language	Haskell2010

Data.Redis.Command

Contents

Types
Commands
Response Reading
Re-exports

Synopsis

type Redis = ProgramT Command
type PubSub = ProgramT PubSubCommand
data Command :: * -> * where
- Ping :: Resp -> Command ()
- Echo :: FromByteString a => Resp -> Command a
- Auth :: Resp -> Command ()
- Quit :: Resp -> Command ()
- Select :: Resp -> Command ()
- BgRewriteAOF :: Resp -> Command ()
- BgSave :: Resp -> Command ()
- Save :: Resp -> Command ()
- DbSize :: Resp -> Command Int64
- FlushAll :: Resp -> Command ()
- FlushDb :: Resp -> Command ()
- LastSave :: Resp -> Command Int64
- Multi :: Resp -> Command ()
- Watch :: Resp -> Command ()
- Unwatch :: Resp -> Command ()
- Discard :: Resp -> Command ()
- Exec :: Resp -> Command ()
- Del :: Resp -> Command Int64
- Dump :: Resp -> Command (Maybe ByteString)
- Exists :: Resp -> Command Bool
- Expire :: Resp -> Command Bool
- ExpireAt :: Resp -> Command Bool
- Persist :: Resp -> Command Bool
- Keys :: Resp -> Command [Key]
- RandomKey :: Resp -> Command (Maybe Key)
- Rename :: Resp -> Command ()
- RenameNx :: Resp -> Command Bool
- Sort :: FromByteString a => Resp -> Command [a]
- Ttl :: Resp -> Command (Maybe TTL)
- Type :: Resp -> Command (Maybe RedisType)
- Scan :: FromByteString a => Resp -> Command (Cursor, [a])
- Append :: Resp -> Command Int64
- Get :: FromByteString a => Resp -> Command (Maybe a)
- GetRange :: FromByteString a => Resp -> Command a
- GetSet :: FromByteString a => Resp -> Command (Maybe a)
- MGet :: FromByteString a => Resp -> Command [Maybe a]
- MSet :: Resp -> Command ()
- MSetNx :: Resp -> Command Bool
- Set :: Resp -> Command Bool
- SetRange :: Resp -> Command Int64
- StrLen :: Resp -> Command Int64
- BitAnd :: Resp -> Command Int64
- BitCount :: Resp -> Command Int64
- BitNot :: Resp -> Command Int64
- BitOr :: Resp -> Command Int64
- BitPos :: Resp -> Command Int64
- BitXOr :: Resp -> Command Int64
- GetBit :: Resp -> Command Int64
- SetBit :: Resp -> Command Int64
- Decr :: Resp -> Command Int64
- DecrBy :: Resp -> Command Int64
- Incr :: Resp -> Command Int64
- IncrBy :: Resp -> Command Int64
- IncrByFloat :: Resp -> Command Double
- HDel :: Resp -> Command Int64
- HExists :: Resp -> Command Bool
- HGet :: FromByteString a => Resp -> Command (Maybe a)
- HGetAll :: FromByteString a => Resp -> Command [(Field, a)]
- HIncrBy :: Resp -> Command Int64
- HIncrByFloat :: Resp -> Command Double
- HKeys :: Resp -> Command [Field]
- HLen :: Resp -> Command Int64
- HMGet :: FromByteString a => Resp -> Command [Maybe a]
- HMSet :: Resp -> Command ()
- HSet :: Resp -> Command Bool
- HSetNx :: Resp -> Command Bool
- HVals :: FromByteString a => Resp -> Command [a]
- HScan :: FromByteString a => Resp -> Command (Cursor, [a])
- BLPop :: FromByteString a => Int64 -> Resp -> Command (Maybe (Key, a))
- BRPop :: FromByteString a => Int64 -> Resp -> Command (Maybe (Key, a))
- BRPopLPush :: FromByteString a => Int64 -> Resp -> Command (Maybe a)
- LIndex :: FromByteString a => Resp -> Command (Maybe a)
- LInsert :: Resp -> Command Int64
- LLen :: Resp -> Command Int64
- LPop :: FromByteString a => Resp -> Command (Maybe a)
- LPush :: Resp -> Command Int64
- LPushX :: Resp -> Command Int64
- LRange :: FromByteString a => Resp -> Command [a]
- LRem :: Resp -> Command Int64
- LSet :: Resp -> Command ()
- LTrim :: Resp -> Command ()
- RPop :: FromByteString a => Resp -> Command (Maybe a)
- RPopLPush :: FromByteString a => Resp -> Command (Maybe a)
- RPush :: Resp -> Command Int64
- RPushX :: Resp -> Command Int64
- SAdd :: Resp -> Command Int64
- SCard :: Resp -> Command Int64
- SDiff :: FromByteString a => Resp -> Command [a]
- SDiffStore :: Resp -> Command Int64
- SInter :: FromByteString a => Resp -> Command [a]
- SInterStore :: Resp -> Command Int64
- SIsMember :: Resp -> Command Bool
- SMembers :: FromByteString a => Resp -> Command [a]
- SMove :: Resp -> Command Bool
- SPop :: FromByteString a => Resp -> Command (Maybe a)
- SRandMember :: FromByteString a => Choose -> Resp -> Command [a]
- SRem :: Resp -> Command Int64
- SScan :: FromByteString a => Resp -> Command (Cursor, [a])
- SUnion :: FromByteString a => Resp -> Command [a]
- SUnionStore :: Resp -> Command Int64
- ZAdd :: Resp -> Command Int64
- ZCard :: Resp -> Command Int64
- ZCount :: Resp -> Command Int64
- ZIncrBy :: Resp -> Command Double
- ZInterStore :: Resp -> Command Int64
- ZLexCount :: Resp -> Command Int64
- ZRange :: FromByteString a => Bool -> Resp -> Command (ScoreList a)
- ZRangeByLex :: FromByteString a => Resp -> Command [a]
- ZRangeByScore :: FromByteString a => Bool -> Resp -> Command (ScoreList a)
- ZRank :: Resp -> Command (Maybe Int64)
- ZRem :: Resp -> Command Int64
- ZRemRangeByLex :: Resp -> Command Int64
- ZRemRangeByRank :: Resp -> Command Int64
- ZRemRangeByScore :: Resp -> Command Int64
- ZRevRange :: FromByteString a => Bool -> Resp -> Command (ScoreList a)
- ZRevRangeByScore :: FromByteString a => Bool -> Resp -> Command (ScoreList a)
- ZRevRank :: Resp -> Command (Maybe Int64)
- ZScan :: FromByteString a => Resp -> Command (Cursor, [a])
- ZScore :: Resp -> Command (Maybe Double)
- ZUnionStore :: Resp -> Command Int64
- PfAdd :: Resp -> Command Bool
- PfCount :: Resp -> Command Int64
- PfMerge :: Resp -> Command ()
- Publish :: Resp -> Command Int64
data PubSubCommand r where
- Subscribe :: Resp -> PubSubCommand ()
- Unsubscribe :: Resp -> PubSubCommand ()
- PSubscribe :: Resp -> PubSubCommand ()
- PUnsubscribe :: Resp -> PubSubCommand ()
data PushMessage
- = SubscribeMessage {
  - channel :: !ByteString
  - subscriptions :: !Int64
  }
- | UnsubscribeMessage {
  - channel :: !ByteString
  - subscriptions :: !Int64
  }
- | Message {
  - channel :: !ByteString
  - message :: !ByteString
  }
- | PMessage {
  - pattern :: !ByteString
  - channel :: !ByteString
  - message :: !ByteString
  }
type Result = Either RedisError
data RedisError
- = RedisError !ByteString
- | InvalidResponse !String
- | InvalidConversion !String
data RedisType
- = RedisString
- | RedisList
- | RedisSet
- | RedisZSet
- | RedisHash
data TTL
- = NoTTL
- | TTL !Int64
data Side
- = Before
- | After
data Choose
- = One
- | Dist !Int64
- | Arb !Int64
data Aggregate
- = None
- | Min
- | Max
- | Sum
data Min
- = MinIncl !ByteString
- | MinExcl !ByteString
- | MinInf
data Max
- = MaxIncl !ByteString
- | MaxExcl !ByteString
- | MaxInf
data ScoreList a = ScoreList {
- scores :: [Double]
- elements :: [a]
}
newtype Seconds = Seconds Int64
newtype Milliseconds = Milliseconds Int64
newtype Timestamp = Timestamp Int64
type Field = ByteString
type Index = Int64
newtype Key = Key {
- key :: ByteString
}
data Cursor
zero :: Cursor
one :: a -> NonEmpty a
data Opts (a :: Symbol)
none :: Monoid m => m
data BitStart
data BitEnd
start :: Int64 -> BitStart
end :: Int64 -> BitEnd
auth :: Monad m => ByteString -> Redis m ()
echo :: (Monad m, ToByteString a, FromByteString a) => a -> Redis m a
ping :: Monad m => Redis m ()
quit :: Monad m => Redis m ()
select :: Monad m => Int64 -> Redis m ()
bgrewriteaof :: Monad m => Redis m ()
bgsave :: Monad m => Redis m ()
dbsize :: Monad m => Redis m Int64
flushall :: Monad m => Redis m ()
flushdb :: Monad m => Redis m ()
lastsave :: Monad m => Redis m Int64
save :: Monad m => Redis m ()
discard :: Monad m => Redis m ()
exec :: Monad m => Redis m ()
multi :: Monad m => Redis m ()
unwatch :: Monad m => Redis m ()
watch :: Monad m => NonEmpty Key -> Redis m ()
del :: Monad m => NonEmpty Key -> Redis m Int64
dump :: Monad m => Key -> Redis m (Maybe ByteString)
exists :: Monad m => Key -> Redis m Bool
expire :: Monad m => Key -> Seconds -> Redis m Bool
expireat :: Monad m => Key -> Timestamp -> Redis m Bool
keys :: Monad m => ByteString -> Redis m [Key]
persist :: Monad m => Key -> Redis m Bool
randomkey :: Monad m => Redis m (Maybe Key)
rename :: Monad m => Key -> Key -> Redis m ()
renamenx :: Monad m => Key -> Key -> Redis m Bool
ttl :: Monad m => Key -> Redis m (Maybe TTL)
typeof :: Monad m => Key -> Redis m (Maybe RedisType)
append :: (Monad m, ToByteString a) => Key -> a -> Redis m Int64
decr :: Monad m => Key -> Redis m Int64
decrby :: Monad m => Key -> Int64 -> Redis m Int64
get :: (Monad m, FromByteString a) => Key -> Redis m (Maybe a)
getrange :: (Monad m, FromByteString a) => Key -> Int64 -> Int64 -> Redis m a
getset :: (Monad m, ToByteString a, FromByteString b) => Key -> a -> Redis m (Maybe b)
incr :: Monad m => Key -> Redis m Int64
incrby :: Monad m => Key -> Int64 -> Redis m Int64
incrbyfloat :: Monad m => Key -> Double -> Redis m Double
mget :: (Monad m, FromByteString a) => NonEmpty Key -> Redis m [Maybe a]
mset :: (Monad m, ToByteString a) => NonEmpty (Key, a) -> Redis m ()
msetnx :: (Monad m, ToByteString a) => NonEmpty (Key, a) -> Redis m Bool
set :: (Monad m, ToByteString a) => Key -> a -> Opts "SET" -> Redis m Bool
ex :: Seconds -> Opts "SET"
px :: Milliseconds -> Opts "SET"
xx :: Opts "SET"
nx :: Opts "SET"
setrange :: (Monad m, ToByteString a) => Key -> Int64 -> a -> Redis m Int64
strlen :: Monad m => Key -> Redis m Int64
bitand :: Monad m => Key -> NonEmpty Key -> Redis m Int64
bitcount :: Monad m => Key -> Opts "RANGE" -> Redis m Int64
range :: Int64 -> Int64 -> Opts "RANGE"
bitnot :: Monad m => Key -> Key -> Redis m Int64
bitor :: Monad m => Key -> NonEmpty Key -> Redis m Int64
bitpos :: Monad m => Key -> Bool -> BitStart -> BitEnd -> Redis m Int64
bitxor :: Monad m => Key -> NonEmpty Key -> Redis m Int64
getbit :: Monad m => Key -> Int64 -> Redis m Int64
setbit :: Monad m => Key -> Int64 -> Bool -> Redis m Int64
hdel :: Monad m => Key -> NonEmpty Field -> Redis m Int64
hexists :: Monad m => Key -> Field -> Redis m Bool
hget :: (Monad m, FromByteString a) => Key -> Field -> Redis m (Maybe a)
hgetall :: (Monad m, FromByteString a) => Key -> Redis m [(Field, a)]
hincrby :: Monad m => Key -> Field -> Int64 -> Redis m Int64
hincrbyfloat :: Monad m => Key -> Field -> Double -> Redis m Double
hkeys :: Monad m => Key -> Redis m [Field]
hlen :: Monad m => Key -> Redis m Int64
hmget :: (Monad m, FromByteString a) => Key -> NonEmpty Field -> Redis m [Maybe a]
hmset :: (Monad m, ToByteString a) => Key -> NonEmpty (Field, a) -> Redis m ()
hset :: (Monad m, ToByteString a) => Key -> Field -> a -> Redis m Bool
hsetnx :: (Monad m, ToByteString a) => Key -> Field -> a -> Redis m Bool
hvals :: (Monad m, FromByteString a) => Key -> Redis m [a]
blpop :: (Monad m, FromByteString a) => NonEmpty Key -> Seconds -> Redis m (Maybe (Key, a))
brpop :: (Monad m, FromByteString a) => NonEmpty Key -> Seconds -> Redis m (Maybe (Key, a))
brpoplpush :: (Monad m, FromByteString a) => Key -> Key -> Seconds -> Redis m (Maybe a)
lindex :: (Monad m, FromByteString a) => Key -> Index -> Redis m (Maybe a)
linsert :: (Monad m, ToByteString a) => Key -> Side -> a -> a -> Redis m Int64
llen :: Monad m => Key -> Redis m Int64
lpop :: (Monad m, FromByteString a) => Key -> Redis m (Maybe a)
lpush :: (Monad m, ToByteString a) => Key -> NonEmpty a -> Redis m Int64
lpushx :: (Monad m, ToByteString a) => Key -> a -> Redis m Int64
lrange :: (Monad m, FromByteString a) => Key -> Int64 -> Int64 -> Redis m [a]
lrem :: (Monad m, ToByteString a) => Key -> Int64 -> a -> Redis m Int64
lset :: (Monad m, ToByteString a) => Key -> Int64 -> a -> Redis m ()
ltrim :: Monad m => Key -> Int64 -> Int64 -> Redis m ()
rpop :: (Monad m, FromByteString a) => Key -> Redis m (Maybe a)
rpoplpush :: (Monad m, FromByteString a) => Key -> Key -> Redis m (Maybe a)
rpush :: (Monad m, ToByteString a) => Key -> NonEmpty a -> Redis m Int64
rpushx :: (Monad m, ToByteString a) => Key -> a -> Redis m Int64
sadd :: (Monad m, ToByteString a) => Key -> NonEmpty a -> Redis m Int64
scard :: Monad m => Key -> Redis m Int64
sdiff :: (Monad m, FromByteString a) => NonEmpty Key -> Redis m [a]
sdiffstore :: Monad m => Key -> NonEmpty Key -> Redis m Int64
sinter :: (Monad m, FromByteString a) => NonEmpty Key -> Redis m [a]
sinterstore :: Monad m => Key -> NonEmpty Key -> Redis m Int64
sismember :: (Monad m, ToByteString a) => Key -> a -> Redis m Bool
smembers :: (Monad m, FromByteString a) => Key -> Redis m [a]
smove :: (Monad m, ToByteString a) => Key -> Key -> a -> Redis m Bool
spop :: (Monad m, FromByteString a) => Key -> Redis m (Maybe a)
srandmember :: (Monad m, FromByteString a) => Key -> Choose -> Redis m [a]
srem :: (Monad m, ToByteString a) => Key -> NonEmpty a -> Redis m Int64
sunion :: (Monad m, FromByteString a) => NonEmpty Key -> Redis m [a]
sunionstore :: Monad m => Key -> NonEmpty Key -> Redis m Int64
zadd :: (Monad m, ToByteString a) => Key -> NonEmpty (Double, a) -> Redis m Int64
zcard :: Monad m => Key -> Redis m Int64
zcount :: Monad m => Key -> Double -> Double -> Redis m Int64
zincrby :: (Monad m, ToByteString a) => Key -> Double -> a -> Redis m Double
zinterstore :: Monad m => Key -> NonEmpty Key -> [Int64] -> Aggregate -> Redis m Int64
zlexcount :: Monad m => Key -> Min -> Max -> Redis m Int64
zrange :: (Monad m, FromByteString a) => Key -> Int64 -> Int64 -> Bool -> Redis m (ScoreList a)
zrangebylex :: (Monad m, FromByteString a) => Key -> Min -> Max -> Opts "LIMIT" -> Redis m [a]
zrangebyscore :: (Monad m, FromByteString a) => Key -> Double -> Double -> Bool -> Opts "LIMIT" -> Redis m (ScoreList a)
zrank :: (Monad m, ToByteString a) => Key -> a -> Redis m (Maybe Int64)
zrem :: (Monad m, ToByteString a) => Key -> NonEmpty a -> Redis m Int64
zremrangebylex :: Monad m => Key -> Min -> Max -> Redis m Int64
zremrangebyrank :: Monad m => Key -> Int64 -> Int64 -> Redis m Int64
zremrangebyscore :: Monad m => Key -> Double -> Double -> Redis m Int64
zrevrangebyscore :: (Monad m, FromByteString a) => Key -> Double -> Double -> Bool -> Opts "LIMIT" -> Redis m (ScoreList a)
zrevrange :: (Monad m, FromByteString a) => Key -> Int64 -> Int64 -> Bool -> Redis m (ScoreList a)
zrevrank :: (Monad m, ToByteString a) => Key -> a -> Redis m (Maybe Int64)
zscore :: (Monad m, ToByteString a) => Key -> a -> Redis m (Maybe Double)
zunionstore :: Monad m => Key -> NonEmpty Key -> [Int64] -> Aggregate -> Redis m Int64
pfadd :: (Monad m, ToByteString a) => Key -> NonEmpty a -> Redis m Bool
pfcount :: Monad m => NonEmpty Key -> Redis m Int64
pfmerge :: Monad m => Key -> NonEmpty Key -> Redis m ()
scan :: (Monad m, FromByteString a) => Cursor -> Opts "SCAN" -> Redis m (Cursor, [a])
match :: ByteString -> Opts "SCAN"
count :: Int64 -> Opts "SCAN"
hscan :: (Monad m, FromByteString a) => Key -> Cursor -> Opts "SCAN" -> Redis m (Cursor, [a])
sscan :: (Monad m, FromByteString a) => Key -> Cursor -> Opts "SCAN" -> Redis m (Cursor, [a])
zscan :: (Monad m, FromByteString a) => Key -> Cursor -> Opts "SCAN" -> Redis m (Cursor, [a])
sort :: (Monad m, FromByteString a) => Key -> Opts "SORT" -> Redis m [a]
by :: ByteString -> Opts "SORT"
limit :: Int64 -> Int64 -> Opts o
getkey :: NonEmpty ByteString -> Opts "SORT"
asc :: Opts "SORT"
desc :: Opts "SORT"
alpha :: Opts "SORT"
store :: Key -> Opts "SORT"
publish :: (Monad m, ToByteString a) => ByteString -> a -> Redis m Int64
subscribe :: Monad m => NonEmpty ByteString -> PubSub m ()
psubscribe :: Monad m => NonEmpty ByteString -> PubSub m ()
unsubscribe :: Monad m => [ByteString] -> PubSub m ()
punsubscribe :: Monad m => [ByteString] -> PubSub m ()
readInt :: String -> Resp -> Result Int64
readInt'Null :: String -> Resp -> Result (Maybe Int64)
readBool :: String -> Resp -> Result Bool
readTTL :: String -> Resp -> Result (Maybe TTL)
readBulk'Null :: FromByteString a => String -> Resp -> Result (Maybe a)
readBulk :: FromByteString a => String -> Resp -> Result a
readListOfMaybes :: FromByteString a => String -> Resp -> Result [Maybe a]
readList :: FromByteString a => String -> Resp -> Result [a]
readScoreList :: FromByteString a => String -> Bool -> Resp -> Result (ScoreList a)
readFields :: FromByteString a => String -> Resp -> Result [(Field, a)]
readKeyValue :: FromByteString a => String -> Resp -> Result (Maybe (Key, a))
readBulk'Array :: FromByteString a => String -> Choose -> Resp -> Result [a]
readScan :: FromByteString a => String -> Resp -> Result (Cursor, [a])
matchStr :: String -> ByteString -> Resp -> Result ()
readType :: String -> Resp -> Result (Maybe RedisType)
fromSet :: Resp -> Result Bool
anyStr :: String -> Resp -> Result ()
readPushMessage :: Resp -> Result PushMessage
data NonEmpty a = a :| [a]
nonEmpty :: [a] -> Maybe (NonEmpty a)

Types

type Redis = ProgramT Command Source #

type PubSub = ProgramT PubSubCommand Source #

data Command :: * -> * where Source #

Redis commands.

Constructors

Ping :: Resp -> Command ()
Echo :: FromByteString a => Resp -> Command a
Auth :: Resp -> Command ()
Quit :: Resp -> Command ()
Select :: Resp -> Command ()
BgRewriteAOF :: Resp -> Command ()
BgSave :: Resp -> Command ()
Save :: Resp -> Command ()
DbSize :: Resp -> Command Int64
FlushAll :: Resp -> Command ()
FlushDb :: Resp -> Command ()
LastSave :: Resp -> Command Int64
Multi :: Resp -> Command ()
Watch :: Resp -> Command ()
Unwatch :: Resp -> Command ()
Discard :: Resp -> Command ()
Exec :: Resp -> Command ()
Del :: Resp -> Command Int64
Dump :: Resp -> Command (Maybe ByteString)
Exists :: Resp -> Command Bool
Expire :: Resp -> Command Bool
ExpireAt :: Resp -> Command Bool
Persist :: Resp -> Command Bool
Keys :: Resp -> Command [Key]
RandomKey :: Resp -> Command (Maybe Key)
Rename :: Resp -> Command ()
RenameNx :: Resp -> Command Bool
Sort :: FromByteString a => Resp -> Command [a]
Ttl :: Resp -> Command (Maybe TTL)
Type :: Resp -> Command (Maybe RedisType)
Scan :: FromByteString a => Resp -> Command (Cursor, [a])
Append :: Resp -> Command Int64
Get :: FromByteString a => Resp -> Command (Maybe a)
GetRange :: FromByteString a => Resp -> Command a
GetSet :: FromByteString a => Resp -> Command (Maybe a)
MGet :: FromByteString a => Resp -> Command [Maybe a]
MSet :: Resp -> Command ()
MSetNx :: Resp -> Command Bool
Set :: Resp -> Command Bool
SetRange :: Resp -> Command Int64
StrLen :: Resp -> Command Int64
BitAnd :: Resp -> Command Int64
BitCount :: Resp -> Command Int64
BitNot :: Resp -> Command Int64
BitOr :: Resp -> Command Int64
BitPos :: Resp -> Command Int64
BitXOr :: Resp -> Command Int64
GetBit :: Resp -> Command Int64
SetBit :: Resp -> Command Int64
Decr :: Resp -> Command Int64
DecrBy :: Resp -> Command Int64
Incr :: Resp -> Command Int64
IncrBy :: Resp -> Command Int64
IncrByFloat :: Resp -> Command Double
HDel :: Resp -> Command Int64
HExists :: Resp -> Command Bool
HGet :: FromByteString a => Resp -> Command (Maybe a)
HGetAll :: FromByteString a => Resp -> Command [(Field, a)]
HIncrBy :: Resp -> Command Int64
HIncrByFloat :: Resp -> Command Double
HKeys :: Resp -> Command [Field]
HLen :: Resp -> Command Int64
HMGet :: FromByteString a => Resp -> Command [Maybe a]
HMSet :: Resp -> Command ()
HSet :: Resp -> Command Bool
HSetNx :: Resp -> Command Bool
HVals :: FromByteString a => Resp -> Command [a]
HScan :: FromByteString a => Resp -> Command (Cursor, [a])
BLPop :: FromByteString a => Int64 -> Resp -> Command (Maybe (Key, a))
BRPop :: FromByteString a => Int64 -> Resp -> Command (Maybe (Key, a))
BRPopLPush :: FromByteString a => Int64 -> Resp -> Command (Maybe a)
LIndex :: FromByteString a => Resp -> Command (Maybe a)
LInsert :: Resp -> Command Int64
LLen :: Resp -> Command Int64
LPop :: FromByteString a => Resp -> Command (Maybe a)
LPush :: Resp -> Command Int64
LPushX :: Resp -> Command Int64
LRange :: FromByteString a => Resp -> Command [a]
LRem :: Resp -> Command Int64
LSet :: Resp -> Command ()
LTrim :: Resp -> Command ()
RPop :: FromByteString a => Resp -> Command (Maybe a)
RPopLPush :: FromByteString a => Resp -> Command (Maybe a)
RPush :: Resp -> Command Int64
RPushX :: Resp -> Command Int64
SAdd :: Resp -> Command Int64
SCard :: Resp -> Command Int64
SDiff :: FromByteString a => Resp -> Command [a]
SDiffStore :: Resp -> Command Int64
SInter :: FromByteString a => Resp -> Command [a]
SInterStore :: Resp -> Command Int64
SIsMember :: Resp -> Command Bool
SMembers :: FromByteString a => Resp -> Command [a]
SMove :: Resp -> Command Bool
SPop :: FromByteString a => Resp -> Command (Maybe a)
SRandMember :: FromByteString a => Choose -> Resp -> Command [a]
SRem :: Resp -> Command Int64
SScan :: FromByteString a => Resp -> Command (Cursor, [a])
SUnion :: FromByteString a => Resp -> Command [a]
SUnionStore :: Resp -> Command Int64
ZAdd :: Resp -> Command Int64
ZCard :: Resp -> Command Int64
ZCount :: Resp -> Command Int64
ZIncrBy :: Resp -> Command Double
ZInterStore :: Resp -> Command Int64
ZLexCount :: Resp -> Command Int64
ZRange :: FromByteString a => Bool -> Resp -> Command (ScoreList a)
ZRangeByLex :: FromByteString a => Resp -> Command [a]
ZRangeByScore :: FromByteString a => Bool -> Resp -> Command (ScoreList a)
ZRank :: Resp -> Command (Maybe Int64)
ZRem :: Resp -> Command Int64
ZRemRangeByLex :: Resp -> Command Int64
ZRemRangeByRank :: Resp -> Command Int64
ZRemRangeByScore :: Resp -> Command Int64
ZRevRange :: FromByteString a => Bool -> Resp -> Command (ScoreList a)
ZRevRangeByScore :: FromByteString a => Bool -> Resp -> Command (ScoreList a)
ZRevRank :: Resp -> Command (Maybe Int64)
ZScan :: FromByteString a => Resp -> Command (Cursor, [a])
ZScore :: Resp -> Command (Maybe Double)
ZUnionStore :: Resp -> Command Int64
PfAdd :: Resp -> Command Bool
PfCount :: Resp -> Command Int64
PfMerge :: Resp -> Command ()
Publish :: Resp -> Command Int64

data PubSubCommand r where Source #

Pub/Sub commands.

Constructors

Subscribe :: Resp -> PubSubCommand ()
Unsubscribe :: Resp -> PubSubCommand ()
PSubscribe :: Resp -> PubSubCommand ()
PUnsubscribe :: Resp -> PubSubCommand ()

data PushMessage Source #

Messages which are published to subscribers.

Constructors

SubscribeMessage
Fields channel :: !ByteString subscriptions :: !Int64
UnsubscribeMessage
Fields channel :: !ByteString subscriptions :: !Int64
Message
Fields channel :: !ByteString message :: !ByteString
PMessage
Fields pattern :: !ByteString channel :: !ByteString message :: !ByteString

Instances

Eq PushMessage Source #
Instance details Defined in Data.Redis.Command Methods (==) :: PushMessage -> PushMessage -> Bool # (/=) :: PushMessage -> PushMessage -> Bool #
Ord PushMessage Source #
Instance details Defined in Data.Redis.Command Methods compare :: PushMessage -> PushMessage -> Ordering # (<) :: PushMessage -> PushMessage -> Bool # (<=) :: PushMessage -> PushMessage -> Bool # (>) :: PushMessage -> PushMessage -> Bool # (>=) :: PushMessage -> PushMessage -> Bool # max :: PushMessage -> PushMessage -> PushMessage # min :: PushMessage -> PushMessage -> PushMessage #
Show PushMessage Source #
Instance details Defined in Data.Redis.Command Methods showsPrec :: Int -> PushMessage -> ShowS # show :: PushMessage -> String # showList :: [PushMessage] -> ShowS #

type Result = Either RedisError Source #

data RedisError Source #

Redis error type.

Constructors

RedisError !ByteString	General error case.
InvalidResponse !String	The received response is invalid or unexpected (e.g. a bulk string instead of an integer).
InvalidConversion !String	ByteString conversion using `FromByteString` failed.

Instances

Eq RedisError Source #
Instance details Defined in Data.Redis.Command Methods (==) :: RedisError -> RedisError -> Bool # (/=) :: RedisError -> RedisError -> Bool #
Ord RedisError Source #
Instance details Defined in Data.Redis.Command Methods compare :: RedisError -> RedisError -> Ordering # (<) :: RedisError -> RedisError -> Bool # (<=) :: RedisError -> RedisError -> Bool # (>) :: RedisError -> RedisError -> Bool # (>=) :: RedisError -> RedisError -> Bool # max :: RedisError -> RedisError -> RedisError # min :: RedisError -> RedisError -> RedisError #
Show RedisError Source #
Instance details Defined in Data.Redis.Command Methods showsPrec :: Int -> RedisError -> ShowS # show :: RedisError -> String # showList :: [RedisError] -> ShowS #
Exception RedisError Source #
Instance details Defined in Data.Redis.Command Methods toException :: RedisError -> SomeException # fromException :: SomeException -> Maybe RedisError # displayException :: RedisError -> String #

data RedisType Source #

The types redis reports via type.

Constructors

RedisString
RedisList
RedisSet
RedisZSet
RedisHash

Instances

Eq RedisType Source #
Instance details Defined in Data.Redis.Command Methods (==) :: RedisType -> RedisType -> Bool # (/=) :: RedisType -> RedisType -> Bool #
Ord RedisType Source #
Instance details Defined in Data.Redis.Command Methods compare :: RedisType -> RedisType -> Ordering # (<) :: RedisType -> RedisType -> Bool # (<=) :: RedisType -> RedisType -> Bool # (>) :: RedisType -> RedisType -> Bool # (>=) :: RedisType -> RedisType -> Bool # max :: RedisType -> RedisType -> RedisType # min :: RedisType -> RedisType -> RedisType #
Show RedisType Source #
Instance details Defined in Data.Redis.Command Methods showsPrec :: Int -> RedisType -> ShowS # show :: RedisType -> String # showList :: [RedisType] -> ShowS #

data TTL Source #

A type representing time-to-live values.

Constructors

NoTTL
TTL !Int64

Instances

Eq TTL Source #
Instance details Defined in Data.Redis.Command Methods (==) :: TTL -> TTL -> Bool # (/=) :: TTL -> TTL -> Bool #
Ord TTL Source #
Instance details Defined in Data.Redis.Command Methods compare :: TTL -> TTL -> Ordering # (<) :: TTL -> TTL -> Bool # (<=) :: TTL -> TTL -> Bool # (>) :: TTL -> TTL -> Bool # (>=) :: TTL -> TTL -> Bool # max :: TTL -> TTL -> TTL # min :: TTL -> TTL -> TTL #
Show TTL Source #
Instance details Defined in Data.Redis.Command Methods showsPrec :: Int -> TTL -> ShowS # show :: TTL -> String # showList :: [TTL] -> ShowS #

data Side Source #

Used in linsert to specify the insertion point.

Constructors

Before
After

Instances

Eq Side Source #
Instance details Defined in Data.Redis.Command Methods (==) :: Side -> Side -> Bool # (/=) :: Side -> Side -> Bool #
Ord Side Source #
Instance details Defined in Data.Redis.Command Methods compare :: Side -> Side -> Ordering # (<) :: Side -> Side -> Bool # (<=) :: Side -> Side -> Bool # (>) :: Side -> Side -> Bool # (>=) :: Side -> Side -> Bool # max :: Side -> Side -> Side # min :: Side -> Side -> Side #
Show Side Source #
Instance details Defined in Data.Redis.Command Methods showsPrec :: Int -> Side -> ShowS # show :: Side -> String # showList :: [Side] -> ShowS #

data Choose Source #

Constructors

One	Exactly one element
Dist !Int64	`n` distint elements
Arb !Int64	`n` arbitrary (i.e. potentially repeated) elements

Instances

Eq Choose Source #
Instance details Defined in Data.Redis.Command Methods (==) :: Choose -> Choose -> Bool # (/=) :: Choose -> Choose -> Bool #
Ord Choose Source #
Instance details Defined in Data.Redis.Command Methods compare :: Choose -> Choose -> Ordering # (<) :: Choose -> Choose -> Bool # (<=) :: Choose -> Choose -> Bool # (>) :: Choose -> Choose -> Bool # (>=) :: Choose -> Choose -> Bool # max :: Choose -> Choose -> Choose # min :: Choose -> Choose -> Choose #
Show Choose Source #
Instance details Defined in Data.Redis.Command Methods showsPrec :: Int -> Choose -> ShowS # show :: Choose -> String # showList :: [Choose] -> ShowS #

data Aggregate Source #

Constructors

None	no aggregation
Min	take the minimum score
Max	take the maximum score
Sum	addition of scores

Instances

Eq Aggregate Source #
Instance details Defined in Data.Redis.Command Methods (==) :: Aggregate -> Aggregate -> Bool # (/=) :: Aggregate -> Aggregate -> Bool #
Ord Aggregate Source #
Instance details Defined in Data.Redis.Command Methods compare :: Aggregate -> Aggregate -> Ordering # (<) :: Aggregate -> Aggregate -> Bool # (<=) :: Aggregate -> Aggregate -> Bool # (>) :: Aggregate -> Aggregate -> Bool # (>=) :: Aggregate -> Aggregate -> Bool # max :: Aggregate -> Aggregate -> Aggregate # min :: Aggregate -> Aggregate -> Aggregate #
Show Aggregate Source #
Instance details Defined in Data.Redis.Command Methods showsPrec :: Int -> Aggregate -> ShowS # show :: Aggregate -> String # showList :: [Aggregate] -> ShowS #

data Min Source #

Constructors

MinIncl !ByteString	lower bound (inclusive)
MinExcl !ByteString	lower bound (exclusive)
MinInf	infinite lower bound

Instances

Eq Min Source #
Instance details Defined in Data.Redis.Command Methods (==) :: Min -> Min -> Bool # (/=) :: Min -> Min -> Bool #
Ord Min Source #
Instance details Defined in Data.Redis.Command Methods compare :: Min -> Min -> Ordering # (<) :: Min -> Min -> Bool # (<=) :: Min -> Min -> Bool # (>) :: Min -> Min -> Bool # (>=) :: Min -> Min -> Bool # max :: Min -> Min -> Min # min :: Min -> Min -> Min #
Show Min Source #
Instance details Defined in Data.Redis.Command Methods showsPrec :: Int -> Min -> ShowS # show :: Min -> String # showList :: [Min] -> ShowS #

data Max Source #

Constructors

MaxIncl !ByteString	upper bound (inclusive)
MaxExcl !ByteString	upper bound (exclusive)
MaxInf	infinite upper bound

Instances

Eq Max Source #
Instance details Defined in Data.Redis.Command Methods (==) :: Max -> Max -> Bool # (/=) :: Max -> Max -> Bool #
Ord Max Source #
Instance details Defined in Data.Redis.Command Methods compare :: Max -> Max -> Ordering # (<) :: Max -> Max -> Bool # (<=) :: Max -> Max -> Bool # (>) :: Max -> Max -> Bool # (>=) :: Max -> Max -> Bool # max :: Max -> Max -> Max # min :: Max -> Max -> Max #
Show Max Source #
Instance details Defined in Data.Redis.Command Methods showsPrec :: Int -> Max -> ShowS # show :: Max -> String # showList :: [Max] -> ShowS #

data ScoreList a Source #

Constructors

ScoreList
Fields scores :: [Double] elements :: [a]

Instances

Eq a => Eq (ScoreList a) Source #
Instance details Defined in Data.Redis.Command Methods (==) :: ScoreList a -> ScoreList a -> Bool # (/=) :: ScoreList a -> ScoreList a -> Bool #
Ord a => Ord (ScoreList a) Source #
Instance details Defined in Data.Redis.Command Methods compare :: ScoreList a -> ScoreList a -> Ordering # (<) :: ScoreList a -> ScoreList a -> Bool # (<=) :: ScoreList a -> ScoreList a -> Bool # (>) :: ScoreList a -> ScoreList a -> Bool # (>=) :: ScoreList a -> ScoreList a -> Bool # max :: ScoreList a -> ScoreList a -> ScoreList a # min :: ScoreList a -> ScoreList a -> ScoreList a #
Show a => Show (ScoreList a) Source #
Instance details Defined in Data.Redis.Command Methods showsPrec :: Int -> ScoreList a -> ShowS # show :: ScoreList a -> String # showList :: [ScoreList a] -> ShowS #

newtype Seconds Source #

Constructors

Seconds Int64

newtype Milliseconds Source #

Constructors

Milliseconds Int64

newtype Timestamp Source #

Constructors

Timestamp Int64

type Field = ByteString Source #

type Index = Int64 Source #

newtype Key Source #

Redis key type

Constructors

Key
Fields key :: ByteString

Instances

Eq Key Source #
Instance details Defined in Data.Redis.Command Methods (==) :: Key -> Key -> Bool # (/=) :: Key -> Key -> Bool #
Ord Key Source #
Instance details Defined in Data.Redis.Command Methods compare :: Key -> Key -> Ordering # (<) :: Key -> Key -> Bool # (<=) :: Key -> Key -> Bool # (>) :: Key -> Key -> Bool # (>=) :: Key -> Key -> Bool # max :: Key -> Key -> Key # min :: Key -> Key -> Key #
Show Key Source #
Instance details Defined in Data.Redis.Command Methods showsPrec :: Int -> Key -> ShowS # show :: Key -> String # showList :: [Key] -> ShowS #
IsString Key Source #
Instance details Defined in Data.Redis.Command Methods fromString :: String -> Key #
FromByteString Key Source #
Instance details Defined in Data.Redis.Command Methods parser :: Parser Key #

Bit

data BitStart Source #

Instances

Semigroup BitStart Source #
Instance details Defined in Data.Redis.Command Methods (<>) :: BitStart -> BitStart -> BitStart # sconcat :: NonEmpty BitStart -> BitStart # stimes :: Integral b => b -> BitStart -> BitStart #
Monoid BitStart Source #
Instance details Defined in Data.Redis.Command Methods mempty :: BitStart # mappend :: BitStart -> BitStart -> BitStart # mconcat :: [BitStart] -> BitStart #

data BitEnd Source #

Instances

Semigroup BitEnd Source #
Instance details Defined in Data.Redis.Command Methods (<>) :: BitEnd -> BitEnd -> BitEnd # sconcat :: NonEmpty BitEnd -> BitEnd # stimes :: Integral b => b -> BitEnd -> BitEnd #
Monoid BitEnd Source #
Instance details Defined in Data.Redis.Command Methods mempty :: BitEnd # mappend :: BitEnd -> BitEnd -> BitEnd # mconcat :: [BitEnd] -> BitEnd #

start :: Int64 -> BitStart Source #

end :: Int64 -> BitEnd Source #

Commands

Connection

auth :: Monad m => ByteString -> Redis m () Source #

echo :: (Monad m, ToByteString a, FromByteString a) => a -> Redis m a Source #

ping :: Monad m => Redis m () Source #

quit :: Monad m => Redis m () Source #

select :: Monad m => Int64 -> Redis m () Source #

Server

bgrewriteaof :: Monad m => Redis m () Source #

bgsave :: Monad m => Redis m () Source #

dbsize :: Monad m => Redis m Int64 Source #

flushall :: Monad m => Redis m () Source #

flushdb :: Monad m => Redis m () Source #

lastsave :: Monad m => Redis m Int64 Source #

save :: Monad m => Redis m () Source #

Transactions

discard :: Monad m => Redis m () Source #

exec :: Monad m => Redis m () Source #

multi :: Monad m => Redis m () Source #

Note that all commands following multi and until exec are queued by a Redis server. Therefore the result of any such command is not available until the exec command completes. For example, the following is an invalid Redis program:

 multi
 x <- hexists "FOO" "BAR"
 unless x (void $ hset "FOO" "BAR" 1)
 exec

This pattern is usually indicative of the desire for a transactional check-and-set operation, which may be achieved instead by the following valid command sequence:

 watch ("FOO" R.:| [])
 x <- hexists "FOO" "BAR"
 multi
 unless x (void $ hset "FOO" "BAR" 1)
 exec

For more information on Redis transactions and conditional updates, see https://redis.io/topics/transactions.

unwatch :: Monad m => Redis m () Source #

watch :: Monad m => NonEmpty Key -> Redis m () Source #

Keys

del :: Monad m => NonEmpty Key -> Redis m Int64 Source #

dump :: Monad m => Key -> Redis m (Maybe ByteString) Source #

exists :: Monad m => Key -> Redis m Bool Source #

expire :: Monad m => Key -> Seconds -> Redis m Bool Source #

expireat :: Monad m => Key -> Timestamp -> Redis m Bool Source #

keys :: Monad m => ByteString -> Redis m [Key] Source #

persist :: Monad m => Key -> Redis m Bool Source #

randomkey :: Monad m => Redis m (Maybe Key) Source #

rename :: Monad m => Key -> Key -> Redis m () Source #

renamenx :: Monad m => Key -> Key -> Redis m Bool Source #

ttl :: Monad m => Key -> Redis m (Maybe TTL) Source #

typeof :: Monad m => Key -> Redis m (Maybe RedisType) Source #

Strings

append :: (Monad m, ToByteString a) => Key -> a -> Redis m Int64 Source #

decr :: Monad m => Key -> Redis m Int64 Source #

decrby :: Monad m => Key -> Int64 -> Redis m Int64 Source #

get :: (Monad m, FromByteString a) => Key -> Redis m (Maybe a) Source #

getrange :: (Monad m, FromByteString a) => Key -> Int64 -> Int64 -> Redis m a Source #

getset :: (Monad m, ToByteString a, FromByteString b) => Key -> a -> Redis m (Maybe b) Source #

incr :: Monad m => Key -> Redis m Int64 Source #

incrby :: Monad m => Key -> Int64 -> Redis m Int64 Source #

incrbyfloat :: Monad m => Key -> Double -> Redis m Double Source #

mget :: (Monad m, FromByteString a) => NonEmpty Key -> Redis m [Maybe a] Source #

mset :: (Monad m, ToByteString a) => NonEmpty (Key, a) -> Redis m () Source #

msetnx :: (Monad m, ToByteString a) => NonEmpty (Key, a) -> Redis m Bool Source #

set :: (Monad m, ToByteString a) => Key -> a -> Opts "SET" -> Redis m Bool Source #

ex :: Seconds -> Opts "SET" Source #

px :: Milliseconds -> Opts "SET" Source #

xx :: Opts "SET" Source #

nx :: Opts "SET" Source #

setrange :: (Monad m, ToByteString a) => Key -> Int64 -> a -> Redis m Int64 Source #

strlen :: Monad m => Key -> Redis m Int64 Source #

Bits

bitand :: Monad m => Key -> NonEmpty Key -> Redis m Int64 Source #

bitcount :: Monad m => Key -> Opts "RANGE" -> Redis m Int64 Source #

range :: Int64 -> Int64 -> Opts "RANGE" Source #

bitnot :: Monad m => Key -> Key -> Redis m Int64 Source #

bitor :: Monad m => Key -> NonEmpty Key -> Redis m Int64 Source #

bitpos :: Monad m => Key -> Bool -> BitStart -> BitEnd -> Redis m Int64 Source #

bitxor :: Monad m => Key -> NonEmpty Key -> Redis m Int64 Source #

getbit :: Monad m => Key -> Int64 -> Redis m Int64 Source #

setbit :: Monad m => Key -> Int64 -> Bool -> Redis m Int64 Source #

Hashes

hdel :: Monad m => Key -> NonEmpty Field -> Redis m Int64 Source #

hexists :: Monad m => Key -> Field -> Redis m Bool Source #

hget :: (Monad m, FromByteString a) => Key -> Field -> Redis m (Maybe a) Source #

hgetall :: (Monad m, FromByteString a) => Key -> Redis m [(Field, a)] Source #

hincrby :: Monad m => Key -> Field -> Int64 -> Redis m Int64 Source #

hincrbyfloat :: Monad m => Key -> Field -> Double -> Redis m Double Source #

hkeys :: Monad m => Key -> Redis m [Field] Source #

hlen :: Monad m => Key -> Redis m Int64 Source #

hmget :: (Monad m, FromByteString a) => Key -> NonEmpty Field -> Redis m [Maybe a] Source #

hmset :: (Monad m, ToByteString a) => Key -> NonEmpty (Field, a) -> Redis m () Source #

hset :: (Monad m, ToByteString a) => Key -> Field -> a -> Redis m Bool Source #

hsetnx :: (Monad m, ToByteString a) => Key -> Field -> a -> Redis m Bool Source #

hvals :: (Monad m, FromByteString a) => Key -> Redis m [a] Source #

Lists

blpop :: (Monad m, FromByteString a) => NonEmpty Key -> Seconds -> Redis m (Maybe (Key, a)) Source #

brpop :: (Monad m, FromByteString a) => NonEmpty Key -> Seconds -> Redis m (Maybe (Key, a)) Source #

brpoplpush :: (Monad m, FromByteString a) => Key -> Key -> Seconds -> Redis m (Maybe a) Source #

lindex :: (Monad m, FromByteString a) => Key -> Index -> Redis m (Maybe a) Source #

linsert :: (Monad m, ToByteString a) => Key -> Side -> a -> a -> Redis m Int64 Source #

llen :: Monad m => Key -> Redis m Int64 Source #

lpop :: (Monad m, FromByteString a) => Key -> Redis m (Maybe a) Source #

lpush :: (Monad m, ToByteString a) => Key -> NonEmpty a -> Redis m Int64 Source #

lpushx :: (Monad m, ToByteString a) => Key -> a -> Redis m Int64 Source #

lrange :: (Monad m, FromByteString a) => Key -> Int64 -> Int64 -> Redis m [a] Source #

lrem :: (Monad m, ToByteString a) => Key -> Int64 -> a -> Redis m Int64 Source #

lset :: (Monad m, ToByteString a) => Key -> Int64 -> a -> Redis m () Source #

ltrim :: Monad m => Key -> Int64 -> Int64 -> Redis m () Source #

rpop :: (Monad m, FromByteString a) => Key -> Redis m (Maybe a) Source #

rpoplpush :: (Monad m, FromByteString a) => Key -> Key -> Redis m (Maybe a) Source #

rpush :: (Monad m, ToByteString a) => Key -> NonEmpty a -> Redis m Int64 Source #

rpushx :: (Monad m, ToByteString a) => Key -> a -> Redis m Int64 Source #

Sets

sadd :: (Monad m, ToByteString a) => Key -> NonEmpty a -> Redis m Int64 Source #

scard :: Monad m => Key -> Redis m Int64 Source #

sdiff :: (Monad m, FromByteString a) => NonEmpty Key -> Redis m [a] Source #

sdiffstore :: Monad m => Key -> NonEmpty Key -> Redis m Int64 Source #

sinter :: (Monad m, FromByteString a) => NonEmpty Key -> Redis m [a] Source #

sinterstore :: Monad m => Key -> NonEmpty Key -> Redis m Int64 Source #

sismember :: (Monad m, ToByteString a) => Key -> a -> Redis m Bool Source #

smembers :: (Monad m, FromByteString a) => Key -> Redis m [a] Source #

smove :: (Monad m, ToByteString a) => Key -> Key -> a -> Redis m Bool Source #

spop :: (Monad m, FromByteString a) => Key -> Redis m (Maybe a) Source #

srandmember :: (Monad m, FromByteString a) => Key -> Choose -> Redis m [a] Source #

srem :: (Monad m, ToByteString a) => Key -> NonEmpty a -> Redis m Int64 Source #

sunion :: (Monad m, FromByteString a) => NonEmpty Key -> Redis m [a] Source #

sunionstore :: Monad m => Key -> NonEmpty Key -> Redis m Int64 Source #

Sorted Sets

zadd :: (Monad m, ToByteString a) => Key -> NonEmpty (Double, a) -> Redis m Int64 Source #

zcard :: Monad m => Key -> Redis m Int64 Source #

zcount :: Monad m => Key -> Double -> Double -> Redis m Int64 Source #

zincrby :: (Monad m, ToByteString a) => Key -> Double -> a -> Redis m Double Source #

zinterstore :: Monad m => Key -> NonEmpty Key -> [Int64] -> Aggregate -> Redis m Int64 Source #

zlexcount :: Monad m => Key -> Min -> Max -> Redis m Int64 Source #

zrange :: (Monad m, FromByteString a) => Key -> Int64 -> Int64 -> Bool -> Redis m (ScoreList a) Source #

zrangebylex :: (Monad m, FromByteString a) => Key -> Min -> Max -> Opts "LIMIT" -> Redis m [a] Source #

zrangebyscore :: (Monad m, FromByteString a) => Key -> Double -> Double -> Bool -> Opts "LIMIT" -> Redis m (ScoreList a) Source #

zrank :: (Monad m, ToByteString a) => Key -> a -> Redis m (Maybe Int64) Source #

zrem :: (Monad m, ToByteString a) => Key -> NonEmpty a -> Redis m Int64 Source #

zremrangebylex :: Monad m => Key -> Min -> Max -> Redis m Int64 Source #

zremrangebyrank :: Monad m => Key -> Int64 -> Int64 -> Redis m Int64 Source #

zremrangebyscore :: Monad m => Key -> Double -> Double -> Redis m Int64 Source #

zrevrangebyscore :: (Monad m, FromByteString a) => Key -> Double -> Double -> Bool -> Opts "LIMIT" -> Redis m (ScoreList a) Source #

zrevrange :: (Monad m, FromByteString a) => Key -> Int64 -> Int64 -> Bool -> Redis m (ScoreList a) Source #

zrevrank :: (Monad m, ToByteString a) => Key -> a -> Redis m (Maybe Int64) Source #

zscore :: (Monad m, ToByteString a) => Key -> a -> Redis m (Maybe Double) Source #

zunionstore :: Monad m => Key -> NonEmpty Key -> [Int64] -> Aggregate -> Redis m Int64 Source #

HyperLogLog

pfadd :: (Monad m, ToByteString a) => Key -> NonEmpty a -> Redis m Bool Source #

pfcount :: Monad m => NonEmpty Key -> Redis m Int64 Source #

pfmerge :: Monad m => Key -> NonEmpty Key -> Redis m () Source #

Scan

scan :: (Monad m, FromByteString a) => Cursor -> Opts "SCAN" -> Redis m (Cursor, [a]) Source #

match :: ByteString -> Opts "SCAN" Source #

count :: Int64 -> Opts "SCAN" Source #

hscan :: (Monad m, FromByteString a) => Key -> Cursor -> Opts "SCAN" -> Redis m (Cursor, [a]) Source #

sscan :: (Monad m, FromByteString a) => Key -> Cursor -> Opts "SCAN" -> Redis m (Cursor, [a]) Source #

zscan :: (Monad m, FromByteString a) => Key -> Cursor -> Opts "SCAN" -> Redis m (Cursor, [a]) Source #

Sort

sort :: (Monad m, FromByteString a) => Key -> Opts "SORT" -> Redis m [a] Source #

by :: ByteString -> Opts "SORT" Source #

limit :: Int64 -> Int64 -> Opts o Source #

getkey :: NonEmpty ByteString -> Opts "SORT" Source #

asc :: Opts "SORT" Source #

desc :: Opts "SORT" Source #

alpha :: Opts "SORT" Source #

store :: Key -> Opts "SORT" Source #

Pub/Sub

publish :: (Monad m, ToByteString a) => ByteString -> a -> Redis m Int64 Source #

subscribe :: Monad m => NonEmpty ByteString -> PubSub m () Source #

psubscribe :: Monad m => NonEmpty ByteString -> PubSub m () Source #

unsubscribe :: Monad m => [ByteString] -> PubSub m () Source #

punsubscribe :: Monad m => [ByteString] -> PubSub m () Source #

Response Reading

readInt :: String -> Resp -> Result Int64 Source #

readInt'Null :: String -> Resp -> Result (Maybe Int64) Source #

readBool :: String -> Resp -> Result Bool Source #

readTTL :: String -> Resp -> Result (Maybe TTL) Source #

readBulk'Null :: FromByteString a => String -> Resp -> Result (Maybe a) Source #

readBulk :: FromByteString a => String -> Resp -> Result a Source #

readListOfMaybes :: FromByteString a => String -> Resp -> Result [Maybe a] Source #

readList :: FromByteString a => String -> Resp -> Result [a] Source #

readScoreList :: FromByteString a => String -> Bool -> Resp -> Result (ScoreList a) Source #

readFields :: FromByteString a => String -> Resp -> Result [(Field, a)] Source #

readKeyValue :: FromByteString a => String -> Resp -> Result (Maybe (Key, a)) Source #

readBulk'Array :: FromByteString a => String -> Choose -> Resp -> Result [a] Source #

readScan :: FromByteString a => String -> Resp -> Result (Cursor, [a]) Source #

matchStr :: String -> ByteString -> Resp -> Result () Source #

readType :: String -> Resp -> Result (Maybe RedisType) Source #

fromSet :: Resp -> Result Bool Source #

anyStr :: String -> Resp -> Result () Source #

readPushMessage :: Resp -> Result PushMessage Source #

Re-exports

data NonEmpty a #

Non-empty (and non-strict) list type.

Since: base-4.9.0.0

Constructors

a :| [a] infixr 5

Instances

Monad NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (>>=) :: NonEmpty a -> (a -> NonEmpty b) -> NonEmpty b # (>>) :: NonEmpty a -> NonEmpty b -> NonEmpty b # return :: a -> NonEmpty a # fail :: String -> NonEmpty a #
Functor NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods fmap :: (a -> b) -> NonEmpty a -> NonEmpty b # (<$) :: a -> NonEmpty b -> NonEmpty a #
Applicative NonEmpty	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods pure :: a -> NonEmpty a # (<>) :: NonEmpty (a -> b) -> NonEmpty a -> NonEmpty b # liftA2 :: (a -> b -> c) -> NonEmpty a -> NonEmpty b -> NonEmpty c # (>) :: NonEmpty a -> NonEmpty b -> NonEmpty b # (<*) :: NonEmpty a -> NonEmpty b -> NonEmpty a #
Foldable NonEmpty	Since: base-4.9.0.0
Instance details Defined in Data.Foldable Methods fold :: Monoid m => NonEmpty m -> m # foldMap :: Monoid m => (a -> m) -> NonEmpty a -> m # foldr :: (a -> b -> b) -> b -> NonEmpty a -> b # foldr' :: (a -> b -> b) -> b -> NonEmpty a -> b # foldl :: (b -> a -> b) -> b -> NonEmpty a -> b # foldl' :: (b -> a -> b) -> b -> NonEmpty a -> b # foldr1 :: (a -> a -> a) -> NonEmpty a -> a # foldl1 :: (a -> a -> a) -> NonEmpty a -> a # toList :: NonEmpty a -> [a] # null :: NonEmpty a -> Bool # length :: NonEmpty a -> Int # elem :: Eq a => a -> NonEmpty a -> Bool # maximum :: Ord a => NonEmpty a -> a # minimum :: Ord a => NonEmpty a -> a # sum :: Num a => NonEmpty a -> a # product :: Num a => NonEmpty a -> a #
Traversable NonEmpty	Since: base-4.9.0.0
Instance details Defined in Data.Traversable Methods traverse :: Applicative f => (a -> f b) -> NonEmpty a -> f (NonEmpty b) # sequenceA :: Applicative f => NonEmpty (f a) -> f (NonEmpty a) # mapM :: Monad m => (a -> m b) -> NonEmpty a -> m (NonEmpty b) # sequence :: Monad m => NonEmpty (m a) -> m (NonEmpty a) #
Eq1 NonEmpty	Since: base-4.10.0.0
Instance details Defined in Data.Functor.Classes Methods liftEq :: (a -> b -> Bool) -> NonEmpty a -> NonEmpty b -> Bool #
Ord1 NonEmpty	Since: base-4.10.0.0
Instance details Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering) -> NonEmpty a -> NonEmpty b -> Ordering #
Read1 NonEmpty	Since: base-4.10.0.0
Instance details Defined in Data.Functor.Classes Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (NonEmpty a) # liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [NonEmpty a] # liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (NonEmpty a) # liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [NonEmpty a] #
Show1 NonEmpty	Since: base-4.10.0.0
Instance details Defined in Data.Functor.Classes Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> NonEmpty a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [NonEmpty a] -> ShowS #
IsList (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Exts Associated Types type Item (NonEmpty a) :: * # Methods fromList :: [Item (NonEmpty a)] -> NonEmpty a # fromListN :: Int -> [Item (NonEmpty a)] -> NonEmpty a # toList :: NonEmpty a -> [Item (NonEmpty a)] #
Eq a => Eq (NonEmpty a)
Instance details Defined in GHC.Base Methods (==) :: NonEmpty a -> NonEmpty a -> Bool # (/=) :: NonEmpty a -> NonEmpty a -> Bool #
Ord a => Ord (NonEmpty a)
Instance details Defined in GHC.Base Methods compare :: NonEmpty a -> NonEmpty a -> Ordering # (<) :: NonEmpty a -> NonEmpty a -> Bool # (<=) :: NonEmpty a -> NonEmpty a -> Bool # (>) :: NonEmpty a -> NonEmpty a -> Bool # (>=) :: NonEmpty a -> NonEmpty a -> Bool # max :: NonEmpty a -> NonEmpty a -> NonEmpty a # min :: NonEmpty a -> NonEmpty a -> NonEmpty a #
Read a => Read (NonEmpty a)
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS (NonEmpty a) # readList :: ReadS [NonEmpty a] # readPrec :: ReadPrec (NonEmpty a) # readListPrec :: ReadPrec [NonEmpty a] #
Show a => Show (NonEmpty a)
Instance details Defined in GHC.Show Methods showsPrec :: Int -> NonEmpty a -> ShowS # show :: NonEmpty a -> String # showList :: [NonEmpty a] -> ShowS #
Semigroup (NonEmpty a)	Since: base-4.9.0.0
Instance details Defined in GHC.Base Methods (<>) :: NonEmpty a -> NonEmpty a -> NonEmpty a # sconcat :: NonEmpty (NonEmpty a) -> NonEmpty a # stimes :: Integral b => b -> NonEmpty a -> NonEmpty a #
type Item (NonEmpty a)
Instance details Defined in GHC.Exts type Item (NonEmpty a) = a

nonEmpty :: [a] -> Maybe (NonEmpty a) #

nonEmpty efficiently turns a normal list into a NonEmpty stream, producing Nothing if the input is empty.

Eq Cursor Source #
Instance details Defined in Data.Redis.Command Methods (==) :: Cursor -> Cursor -> Bool # (/=) :: Cursor -> Cursor -> Bool #
Ord Cursor Source #
Instance details Defined in Data.Redis.Command Methods compare :: Cursor -> Cursor -> Ordering # (<) :: Cursor -> Cursor -> Bool # (<=) :: Cursor -> Cursor -> Bool # (>) :: Cursor -> Cursor -> Bool # (>=) :: Cursor -> Cursor -> Bool # max :: Cursor -> Cursor -> Cursor # min :: Cursor -> Cursor -> Cursor #
Show Cursor Source #
Instance details Defined in Data.Redis.Command Methods showsPrec :: Int -> Cursor -> ShowS # show :: Cursor -> String # showList :: [Cursor] -> ShowS #
FromByteString Cursor Source #
Instance details Defined in Data.Redis.Command Methods parser :: Parser Cursor #

Semigroup (Opts a) Source #
Instance details Defined in Data.Redis.Command Methods (<>) :: Opts a -> Opts a -> Opts a # sconcat :: NonEmpty (Opts a) -> Opts a # stimes :: Integral b => b -> Opts a -> Opts a #
Monoid (Opts a) Source #
Instance details Defined in Data.Redis.Command Methods mempty :: Opts a # mappend :: Opts a -> Opts a -> Opts a # mconcat :: [Opts a] -> Opts a #

Types

Cursor

Non-empty lists

Options

Bit

Commands

Connection

Server

Transactions

Keys

Strings

Bits

Hashes

Lists

Sets

Sorted Sets

HyperLogLog

Scan

Sort

Pub/Sub

Response Reading

Re-exports