libpq/FFI/f-PQgetvalue.sml

   1 (* This file has been generated automatically. DO NOT EDIT! *)
   2 (* [from code at "/usr/include/postgresql/libpq-fe.h":311.1-73] *)
   3 (* [by Matthias Blume's ml-nlffigen (version 0.9) for x86-unix] *)
   4 (* Send comments and suggestions to blume@research.bell-labs.com. Thanks! *)
   5 local
   6     open C.Dim C_Int
   7     val h = LibpqH.libh "PQgetvalue"
   8 in
   9 structure F_PQgetvalue : sig
  10     val typ :
  11         ((ST_pg_result.tag, ro) su_obj ptr' * sint * sint ->
  12              rw uchar_obj ptr') fptr T.typ
  13     val fptr :
  14         unit ->
  15             ((ST_pg_result.tag, ro) su_obj ptr' * sint * sint ->
  16                  rw uchar_obj ptr') fptr
  17     val f :
  18         (ST_pg_result.tag, ro) su_obj ptr *
  19         MLRep.Signed.int *
  20         MLRep.Signed.int -> rw uchar_obj ptr
  21     val f' :
  22         (ST_pg_result.tag, ro) su_obj ptr' *
  23         MLRep.Signed.int *
  24         MLRep.Signed.int -> rw uchar_obj ptr'
  25 end = struct
  26     val typ = FPtrRTTI_26.typ
  27     fun fptr () = mk_fptr (FPtrRTTI_26.mkcall, h ())
  28     fun f (x1, x2, x3)
  29         = Heavy.ptr
  30               (T.pointer T.uchar)
  31               (call
  32                   (fptr (), (Light.ptr x1, Cvt.c_sint x2, Cvt.c_sint x3)))
  33     fun f' (x1, x2, x3)
  34         = call (fptr (), (x1, Cvt.c_sint x2, Cvt.c_sint x3))
  35 end
  36 end