libpq/FFI/e--ExecStatusType.sml

   1 (* This file has been generated automatically. DO NOT EDIT! *)
   2 (* [from code at "/usr/include/postgresql/libpq-fe.h":71.1-86.17] *)
   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 open C in
   6 structure E_'ExecStatusType = struct
   7     open ET_'ExecStatusType
   8     type mlrep = MLRep.Signed.int
   9     val e_PGRES_EMPTY_QUERY = 0 : mlrep
  10     val e_PGRES_COMMAND_OK = 1 : mlrep
  11     val e_PGRES_TUPLES_OK = 2 : mlrep
  12     val e_PGRES_COPY_OUT = 3 : mlrep
  13     val e_PGRES_COPY_IN = 4 : mlrep
  14     val e_PGRES_BAD_RESPONSE = 5 : mlrep
  15     val e_PGRES_NONFATAL_ERROR = 6 : mlrep
  16     val e_PGRES_FATAL_ERROR = 7 : mlrep
  17     fun m2i (x : mlrep) = x : MLRep.Signed.int
  18     fun i2m (x : MLRep.Signed.int) = x : mlrep
  19     fun c x = Cvt.i2c_enum (m2i x) : tag enum
  20     fun ml (x : tag enum) = i2m (Cvt.c2i_enum x)
  21     fun get' (x : (tag, 'c) enum_obj') = i2m (Get.enum' x)
  22     fun set' (x : (tag, rw) enum_obj', v) = Set.enum' (x, m2i v)
  23     fun get (x : (tag, 'c) enum_obj) = i2m (Get.enum x)
  24     fun set (x : (tag, rw) enum_obj, v) = Set.enum (x, m2i v)
  25 end
  26 end (* local *)