Idris2Doc : Oracle.FFI.Bind

Oracle.FFI.Bind

(source)

Definitions

prim__bindNull : AnyPtr->String->PrimIOInt32
  Bind a NULL value to a named parameter.
prim__bindString : AnyPtr->String->String->PrimIOInt32
  Bind a String value to a named parameter.
prim__bindDouble : AnyPtr->String->Double->PrimIOInt32
  Bind a Double value to a named parameter.
prim__bindBinaryFloat : AnyPtr->String->Double->PrimIOInt32
  Bind an Oracle BINARY_FLOAT value.

The Idris Double is narrowed to Oracle's native 32-bit BINARY_FLOAT
representation by the C layer.
prim__bindBinaryDouble : AnyPtr->String->Double->PrimIOInt32
  Bind an Oracle BINARY_DOUBLE value.
prim__bindBool : AnyPtr->String->Int32->PrimIOInt32
  Bind a Bool value to a named parameter.

The C layer should map 0/1 into the Oracle boolean binding.
prim__bindRaw : AnyPtr->String->String->PrimIOInt32
  Bind an Oracle RAW value.

The String argument contains the hexadecimal representation of the raw
bytes. The C layer decodes the hex string back into binary data before
binding it as Oracle RAW.
prim__bindClob : AnyPtr->String->String->PrimIOInt32
  Bind a CLOB value.
prim__bindBlob : AnyPtr->String->String->PrimIOInt32
  Bind a BLOB value.
prim__bindDate : AnyPtr->String->Int16->Int8->Int8->Int8->Int8->Int8->PrimIOInt32
  Bind an Oracle DATE value to a named statement parameter.
prim__bindTimestamp : AnyPtr->String->Int16->Int8->Int8->Int8->Int8->Int8->Int32->PrimIOInt32
  Bind an Oracle TIMESTAMP value to a named statement parameter.
prim__bindTimestampTZ : AnyPtr->String->Int16->Int8->Int8->Int8->Int8->Int8->Int32->Int8->Int8->PrimIOInt32
  Bind an Oracle TIMESTAMP WITH TIME ZONE value.
prim__bindIntervalYM : AnyPtr->String->Int32->Int32->PrimIOInt32
  Bind an Oracle INTERVAL YEAR TO MONTH value.
prim__bindIntervalDS : AnyPtr->String->Int32->Int32->Int32->Int32->Int32->PrimIOInt32
  Bind an Oracle INTERVAL DAY TO SECOND value.