This package contains an API in ATS of quasi ML-style for the hiredis package.
datatype
redisVal =
| RDSstring of string
| RDSinteger of llint
| {n:nat}
RDSarray of (arrayref (redisVal, n), size_t n)
| RDSnil of ()
| RDSstatus of string
| RDSerror of string
fun redisReply2Val0 (rep: redisReply1): redisVal
fun redisReply2Val1 (rep: !redisReply1): redisVal
fun fprint_redisVal (FILEref, redisVal): void
fun redis_auth
(!redisContext1, pass: string, err: &int >> _): redisVal
fun redis_ping
(!redisContext1, err: &int >> _): redisVal
fun redis_echo
(!redisContext1, msg: string, err: &int >> _): redisVal
fun redis_quit (ctx: redisContext1): redisVal
fun redis_keys
(!redisContext1, pat: string, err: &int >> _): redisVal
fun redis_flushdb (!redisContext1, err: &int >> _): redisVal
fun redis_flushall (!redisContext1, err: &int >> _): redisVal
overload redis_del with redis_del1
overload redis_del with redis_del2
overload redis_del with redis_del3
fun redis_del1
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_del2
(!redisContext1, k1: string, k2: string, err: &int >> _): redisVal
fun redis_del3
(!redisContext1, k1: string, k2: string, k3: string, err: &int >> _): redisVal
fun redis_exists
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_get
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_set_int
(!redisContext1, k: string, v: int, err: &int >> _): redisVal
fun redis_set_string
(!redisContext1, k: string, v: string, err: &int >> _): redisVal
fun redis_setnx_int
(!redisContext1, k: string, v: int, err: &int >> _): redisVal
fun redis_setnx_string
(!redisContext1, k: string, v: string, err: &int >> _): redisVal
fun redis_getset_int
(!redisContext1, k: string, v: int, err: &int >> _): redisVal
fun redis_getset_string
(!redisContext1, k: string, v: string, err: &int >> _): redisVal
fun redis_decr
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_decrby
(!redisContext1, k: string, d: int, err: &int >> _): redisVal
fun redis_incr
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_incrby
(!redisContext1, k: string, d: int, err: &int >> _): redisVal
fun redis_incrbyfloat
(!redisContext1, k: string, d: double, err: &int >> _): redisVal
fun redis_rename
(!redisContext1, k: string, k2: string, err: &int >> _): redisVal
fun redis_llen
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_lpop
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_lpush_int
(!redisContext1, k: string, v: int, err: &int >> _): redisVal
fun redis_lpush_string
(!redisContext1, k: string, v: string, err: &int >> _): redisVal
fun redis_rpop
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_rpush_int
(!redisContext1, k: string, v: int, err: &int >> _): redisVal
fun redis_rpush_string
(!redisContext1, k: string, v: string, err: &int >> _): redisVal
fun redis_lindex
(!redisContext1, k: string, i: int, err: &int >> _): redisVal
fun redis_lrange
(!redisContext1, k: string, i0: int, i1: int, err: &int >> _): redisVal
fun redis_scard
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_sadd_int
(!redisContext1, k: string, v: int, err: &int >> _): redisVal
fun redis_sadd_string
(!redisContext1, k: string, v: string, err: &int >> _): redisVal
fun redis_srem_int
(!redisContext1, k: string, v: int, err: &int >> _): redisVal
fun redis_srem_string
(!redisContext1, k: string, v: string, err: &int >> _): redisVal
fun redis_smove_int
(!redisContext1, k1: string, k2: string, v: int, err: &int >> _): redisVal
fun redis_smove_string
(!redisContext1, k1: string, k2: string, v: string, err: &int >> _): redisVal
fun redis_spop
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_smembers
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_sismember_int
(!redisContext1, k: string, v: int, err: &int >> _): redisVal
fun redis_sismember_string
(!redisContext1, k: string, v: string, err: &int >> _): redisVal
fun redis_hlen
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_hkeys
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_hvals
(!redisContext1, k: string, err: &int >> _): redisVal
fun redis_hexists
(!redisContext1, k: string, f: string, err: &int >> _): redisVal
overload redis_hdel with redis_hdel1
overload redis_hdel with redis_hdel2
fun redis_hdel1
(!redisContext1, k: string, f: string, err: &int >> _): redisVal
fun redis_hdel2
(!redisContext1, k: string, f1: string, f2: string, err: &int >> _): redisVal
fun redis_hget
(!redisContext1, k: string, f: string, err: &int >> _): redisVal
fun redis_hset_int
(!redisContext1, k: string, f: string, v: int, err: &int >> _): redisVal
fun redis_hset_string
(!redisContext1, k: string, f: string, v: string, err: &int >> _): redisVal
fun redis_hsetnx_int
(!redisContext1, k: string, f: string, v: int, err: &int >> _): redisVal
fun redis_hsetnx_string
(!redisContext1, k: string, f: string, v: string, err: &int >> _): redisVal
fun redis_hincrby
(!redisContext1, k: string, f: string, d: int, err: &int >> _): redisVal
fun redis_hincrbyfloat
(!redisContext1, k: string, f: string, d: double, err: &int >> _): redisVal
| This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi. |
|