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 a BINARY_FLOAT value.
13 | |||
14 | ||| The C layer widens the native 32-bit floating-point value to a C double
15 | ||| before returning it across the Idris FFI.
16 | |||
17 | export %foreign "C:oracle_data_binary_float,oracle-idris"
18 | prim__dataBinaryFloat : AnyPtr -> PrimIO Double
19 |
20 | ||| Extract a BINARY_DOUBLE value.
21 | |||
22 | ||| The value is returned directly as a C double.
23 | |||
24 | export %foreign "C:oracle_data_binary_double,oracle-idris"
25 | prim__dataBinaryDouble : AnyPtr -> PrimIO Double
26 |
27 | ||| Extract String value.
28 | |||
29 | export %foreign "C:oracle_data_string,oracle-idris"
30 | prim__dataString : AnyPtr -> PrimIO String
31 |
32 | ||| Extract Boolean value.
33 | |||
34 | export %foreign "C:oracle_data_bool,oracle-idris"
35 | prim__dataBool : AnyPtr -> PrimIO Int32
36 |