Idris2Doc : Oracle.FFI.Data

Oracle.FFI.Data

(source)

Definitions

prim__dataIsNull : AnyPtr->PrimIOInt32
  Returns 1 if the dpiData is NULL.
prim__dataDouble : AnyPtr->PrimIODouble
  Extract Double value.
prim__dataBinaryFloat : AnyPtr->PrimIODouble
  Extract a BINARY_FLOAT value.

The C layer widens the native 32-bit floating-point value to a C double
before returning it across the Idris FFI.
prim__dataBinaryDouble : AnyPtr->PrimIODouble
  Extract a BINARY_DOUBLE value.

The value is returned directly as a C double.
prim__dataString : AnyPtr->PrimIOString
  Extract String value.
prim__dataBool : AnyPtr->PrimIOInt32
  Extract Boolean value.