prim__dataIsNull : AnyPtr -> PrimIO Int32Returns 1 if the dpiData is NULL.
prim__dataDouble : AnyPtr -> PrimIO DoubleExtract Double value.
prim__dataBinaryFloat : AnyPtr -> PrimIO DoubleExtract 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 DoubleExtract a BINARY_DOUBLE value.
The value is returned directly as a C double.
prim__dataString : AnyPtr -> PrimIO StringExtract String value.
prim__dataBool : AnyPtr -> PrimIO Int32Extract Boolean value.