ATSLIB/contrib/hiredis/hiredis

This package contains an API in ATS for the hiredis package.

REDIS_OK

Synopsis

macdef REDIS_OK = $extval (int, "REDIS_OK")

REDIS_ERR

Synopsis

macdef REDIS_ERR = $extval (int, "REDIS_ERR")

REDIS_REPLY_NIL

Synopsis

macdef
REDIS_REPLY_NIL = $extval (int, "REDIS_REPLY_NIL")

REDIS_REPLY_ARRAY

Synopsis

macdef
REDIS_REPLY_ARRAY = $extval (int, "REDIS_REPLY_ARRAY")

REDIS_REPLY_STRING

Synopsis

macdef
REDIS_REPLY_STRING = $extval (int, "REDIS_REPLY_STRING")

REDIS_REPLY_INTEGER

Synopsis

macdef
REDIS_REPLY_INTEGER = $extval (int, "REDIS_REPLY_INTEGER")

REDIS_REPLY_STATUS

Synopsis

macdef
REDIS_REPLY_STATUS = $extval (int, "REDIS_REPLY_STATUS")

REDIS_REPLY_ERROR

Synopsis

macdef
REDIS_REPLY_ERROR = $extval (int, "REDIS_REPLY_ERROR")

redisReply

Synopsis

vtypedef redisReply (l:addr) = redisReply_vtype (l)

vtypedef redisReply = [l:addr] redisReply_vtype (l)

redisReply0

Synopsis

vtypedef redisReply0 = [l:agez] redisReply_vtype (l)

redisReply1

Synopsis

vtypedef redisReply1 = [l:addr | l >  null] redisReply_vtype (l)

redisReader

Synopsis

vtypedef redisReader (l:addr) = redisReader_vtype (l)

vtypedef redisReader = [l:addr] redisReader_vtype (l)

redisReader0

Synopsis

vtypedef redisReader0 = [l:agez] redisReader_vtype (l)

redisReader1

Synopsis

vtypedef redisReader1 = [l:addr | l > null] redisReader_vtype (l)

redisContext

Synopsis

vtypedef redisContext (l:addr) = redisContext_vtype (l)

vtypedef redisContext = [l:addr] redisContext_vtype (l)

redisContext0

Synopsis

vtypedef redisContext0 = [l:agez] redisContext_vtype (l)

redisContext1

Synopsis

vtypedef redisContext1 = [l:addr | l > null] redisContext_vtype (l)

freeReplyObject

Synopsis

fun freeReplyObject (obj: redisReply0): void = "mac#%"

redisReply_get_string

Synopsis

fun
redisReply_get_string (rep: !redisReply1): vStrptr1 = "mac#%"

redisReply_get_integer

Synopsis

fun
redisReply_get_integer (rep: !redisReply1): llint = "mac#%"

redisReply_get_array

Synopsis

fun
redisReply_get_array
(
  rep: !redisReply1, n: &size_t? >> size_t n
) : #[l:addr;n:nat]
(
  array_v (redisReply1, l, n)
, array_v (redisReply1, l, n) -<lin,prf> void | ptr l
) = "mac#%" // end of [redisReply_get_array]

redisReply_get_status

Synopsis

fun
redisReply_get_status (rep: !redisReply1): vStrptr1 = "mac#%"

redisReply_get_error

Synopsis

fun
redisReply_get_error (rep: !redisReply1): vStrptr1 = "mac#%"

redisReply_get_type

Synopsis

fun redisReply_get_type (rep: !redisReply1): int = "mac#%"

redisReply_get_strlen

Synopsis

fun redisReply_get_strlen (rep: !redisReply1): int = "mac#%"

redisReply_get_strptr

Synopsis

fun redisReply_get_strptr (rep: !redisReply1): ptr = "mac#%"

redisReaderCreate

Synopsis

fun redisReaderCreate (): redisReader0 = "mac#%"

redisReaderCreate_exn

Synopsis

fun redisReaderCreate_exn (): redisReader1 = "mac#%"

redisReaderFree

Synopsis

fun redisReaderFree (rdr: redisReader0): void = "mac#%"

redisReaderFeed

Synopsis

fun redisReaderFeed{n:int}
(
  rdr: !redisReader1
, buf: &(@[byte?][n]) >> @[byte][n], len: size_t n
) : int = "mac#%" // end of [redisReaderFeed]

redisReaderGetReply

Synopsis

fun redisReaderGetReply
(
  rdr: !redisReader1, reply: &ptr? >> redisReply0
) : int(*err*) = "mac#%" // endfun

redisConnect

Synopsis

fun redisConnect
  (ip: RD(string), port: int): redisContext0 = "mac#%"

redisConnect_exn

Synopsis

fun redisConnect_exn
  (ip: RD(string), port: int): redisContext1 = "mac#%"

redisConnectNonBlock

Synopsis

fun redisConnectNonBlock
  (ip: RD(string), port: int): redisContext0 = "mac#%"

redisConnectUnix

Synopsis

fun redisConnectUnix
  (path: RD(string)): redisContext0 = "mac#%"

redisConnectUnix_exn

Synopsis

fun redisConnectUnix_exn
  (path: RD(string)): redisContext1 = "mac#%"

redisConnectUnixNonBlock

Synopsis

fun redisConnectUnixNonBlock
  (path: RD(string)): redisContext0 = "mac#%"

redisFree

Synopsis

fun redisFree (ctx: redisContext0): void = "mac#%"

redisGetReply

Synopsis

fun redisGetReply
(
  ctx: !redisContext1, reply: &ptr? >> redisReply0
) : int(*err*) = "mac#%" // endfun

hiredis_ML.sats

Synopsis

This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi.