Idris2Doc : Oracle.FFI.Data

Oracle.FFI.Data

(source)

Definitions

prim__dataIsNull : AnyPtr -> PrimIO Int32
  Returns 1 if the dpiData is NULL.
prim__dataDouble : AnyPtr -> PrimIO Double
  Extract Double value.
prim__dataBinaryFloat : AnyPtr -> PrimIO Double
  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 -> PrimIO Double
  Extract a BINARY_DOUBLE value.

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