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__dataString : AnyPtr->PrimIOString
  Extract String value.
prim__dataBool : AnyPtr->PrimIOInt32
  Extract Boolean value.