
  0 | module Oracle.FFI.Data
  1 | 
  2 | ||| Returns 1 if the dpiData is NULL.
  3 | |||
  4 | export %foreign "C:oracle_data_is_null,oracle-idris"
  5 | prim__dataIsNull : AnyPtr -> PrimIO Int32
  6 | 
  7 | ||| Extract Double value.
  8 | |||
  9 | export %foreign "C:oracle_data_double,oracle-idris"
 10 | prim__dataDouble : AnyPtr -> PrimIO Double
 11 | 
 12 | ||| Extract String value.
 13 | |||
 14 | export %foreign "C:oracle_data_string,oracle-idris"
 15 | prim__dataString : AnyPtr -> PrimIO String
 16 | 
 17 | ||| Extract Boolean value.
 18 | |||
 19 | export %foreign "C:oracle_data_bool,oracle-idris"
 20 | prim__dataBool : AnyPtr -> PrimIO Int32
 21 |