libpq/FFI/f-PQfn.sml

   1 (* This file has been generated automatically. DO NOT EDIT! *)
   2 (* [from code at "/usr/include/postgresql/libpq-fe.h":287.1-293.13] *)
   3 (* [by Matthias Blume's ml-nlffigen (version 0.9.1) for x86-unix] *)
   4 (* Send comments and suggestions to blume@tti-c.org. Thanks! *)
   5 local
   6     open C.Dim C_Int
   7     val h = LibpqH.libh "PQfn"
   8 in
   9 structure F_PQfn : sig
  10     val typ :
  11         ((ST_pg_conn.tag, rw) su_obj ptr' *
  12          sint *
  13          rw sint_obj ptr' *
  14          rw sint_obj ptr' *
  15          sint *
  16          (ST_'PQArgBlock.tag, ro) su_obj ptr' *
  17          sint -> (ST_pg_result.tag, rw) su_obj ptr') fptr T.typ
  18     val fptr :
  19         unit ->
  20             ((ST_pg_conn.tag, rw) su_obj ptr' *
  21              sint *
  22              rw sint_obj ptr' *
  23              rw sint_obj ptr' *
  24              sint *
  25              (ST_'PQArgBlock.tag, ro) su_obj ptr' *
  26              sint -> (ST_pg_result.tag, rw) su_obj ptr') fptr
  27     val f' :
  28         (ST_pg_conn.tag, rw) su_obj ptr' *
  29         MLRep.Signed.int *
  30         rw sint_obj ptr' *
  31         rw sint_obj ptr' *
  32         MLRep.Signed.int *
  33         (ST_'PQArgBlock.tag, ro) su_obj ptr' *
  34         MLRep.Signed.int -> (ST_pg_result.tag, rw) su_obj ptr'
  35 end = struct
  36     val typ = FPtrRTTI_18.typ
  37     fun fptr () = mk_fptr (FPtrRTTI_18.mkcall, h ())
  38     fun f' (x1, x2, x3, x4, x5, x6, x7)
  39         = call
  40               (fptr (),
  41                (x1,
  42                 Cvt.c_sint x2,
  43                 x3,
  44                 x4,
  45                 Cvt.c_sint x5,
  46                 x6,
  47                 Cvt.c_sint x7))
  48 end
  49 end