ATSLIB/contrib/hiredis/hiredis

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


  • REDIS_OK
  • REDIS_ERR
  • REDIS_REPLY_NIL
  • REDIS_REPLY_ARRAY
  • REDIS_REPLY_STRING
  • REDIS_REPLY_INTEGER
  • REDIS_REPLY_STATUS
  • REDIS_REPLY_ERROR
  • redisReply
  • redisReply0
  • redisReply1
  • redisReader
  • redisReader0
  • redisReader1
  • redisContext
  • redisContext0
  • redisContext1
  • freeReplyObject
  • redisReply_get_string
  • redisReply_get_integer
  • redisReply_get_array
  • redisReply_get_status
  • redisReply_get_error
  • redisReply_get_type
  • redisReply_get_strlen
  • redisReply_get_strptr
  • redisReaderCreate
  • redisReaderCreate_exn
  • redisReaderFree
  • redisReaderFeed
  • redisReaderGetReply
  • redisConnect
  • redisConnect_exn
  • redisConnectNonBlock
  • redisConnectUnix
  • redisConnectUnix_exn
  • redisConnectUnixNonBlock
  • redisFree
  • redisGetReply
  • hiredis_ML.sats

  • 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 file contains an API in ATS of quasi ML-style that is directly based on the hiredis package.
    This page is created with ATS by Hongwei Xi and also maintained by Hongwei Xi. SourceForge.net Logo