0 | module Oracle.FFI.Bind
 1 |
 2 | %default total
 3 |
 4 | ||| Bind a NULL value to a named parameter.
 5 | |||
 6 | export %foreign "C:oracle_bind_null,oracle-idris"
 7 | prim__bindNull : AnyPtr -> String -> PrimIO Int32
 8 |
 9 | ||| Bind a String value to a named parameter.
10 | |||
11 | export %foreign "C:oracle_bind_string,oracle-idris"
12 | prim__bindString : AnyPtr -> String -> String -> PrimIO Int32
13 |
14 | ||| Bind a Double value to a named parameter.
15 | |||
16 | export %foreign "C:oracle_bind_double,oracle-idris"
17 | prim__bindDouble : AnyPtr -> String -> Double -> PrimIO Int32
18 |
19 | ||| Bind an Oracle BINARY_FLOAT value.
20 | |||
21 | ||| The Idris Double is narrowed to Oracle's native 32-bit BINARY_FLOAT
22 | ||| representation by the C layer.
23 | |||
24 | export %foreign "C:oracle_bind_binary_float,oracle-idris"
25 | prim__bindBinaryFloat : AnyPtr -> String -> Double -> PrimIO Int32
26 |
27 | ||| Bind an Oracle BINARY_DOUBLE value.
28 | |||
29 | export %foreign "C:oracle_bind_binary_double,oracle-idris"
30 | prim__bindBinaryDouble : AnyPtr -> String -> Double -> PrimIO Int32
31 |
32 | ||| Bind a Bool value to a named parameter.
33 | |||
34 | ||| The C layer should map 0/1 into the Oracle boolean binding.
35 | |||
36 | export %foreign "C:oracle_bind_bool,oracle-idris"
37 | prim__bindBool : AnyPtr -> String -> Int32 -> PrimIO Int32
38 |
39 | ||| Bind an Oracle RAW value.
40 | |||
41 | ||| The String argument contains the hexadecimal representation of the raw
42 | ||| bytes. The C layer decodes the hex string back into binary data before
43 | ||| binding it as Oracle RAW.
44 | |||
45 | export %foreign "C:oracle_bind_raw,oracle-idris"
46 | prim__bindRaw : AnyPtr -> String -> String -> PrimIO Int32
47 |
48 | ||| Bind a CLOB value.
49 | |||
50 | export %foreign "C:oracle_bind_clob,oracle-idris"
51 | prim__bindClob : AnyPtr -> String -> String -> PrimIO Int32
52 |
53 | ||| Bind a BLOB value.
54 | |||
55 | export %foreign "C:oracle_bind_blob,oracle-idris"
56 | prim__bindBlob : AnyPtr -> String -> String -> PrimIO Int32
57 |
58 | ||| Bind an Oracle DATE value to a named statement parameter.
59 | |||
60 | export %foreign "C:oracle_bind_date,oracle-idris"
61 | prim__bindDate : AnyPtr -> String -> Int16 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> PrimIO Int32
62 |
63 | ||| Bind an Oracle TIMESTAMP value to a named statement parameter.
64 | |||
65 | export %foreign "C:oracle_bind_timestamp,oracle-idris"
66 | prim__bindTimestamp : AnyPtr -> String -> Int16 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> Int32 -> PrimIO Int32
67 |
68 | ||| Bind an Oracle TIMESTAMP WITH TIME ZONE value.
69 | |||
70 | export %foreign "C:oracle_bind_timestamp_tz,oracle-idris"
71 | prim__bindTimestampTZ : AnyPtr -> String -> Int16 -> Int8 -> Int8 -> Int8 -> Int8 -> Int8 -> Int32 -> Int8 -> Int8 -> PrimIO Int32
72 |
73 | ||| Bind an Oracle INTERVAL YEAR TO MONTH value.
74 | |||
75 | export %foreign "C:oracle_bind_interval_ym,oracle-idris"
76 | prim__bindIntervalYM : AnyPtr -> String -> Int32 -> Int32 -> PrimIO Int32
77 |
78 | ||| Bind an Oracle INTERVAL DAY TO SECOND value.
79 | |||
80 | export %foreign "C:oracle_bind_interval_ds,oracle-idris"
81 | prim__bindIntervalDS : AnyPtr -> String -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> PrimIO Int32
82 |