0 | module Oracle.FFI.Connection
 1 |
 2 | ||| Create a new Oracle connection.
 3 | |||
 4 | ||| Parameters:
 5 | ||| 1. Username
 6 | ||| 2. Password
 7 | ||| 3. Connect string
 8 | |||
 9 | ||| Returns a raw dpiConn pointer.
10 | |||
11 | export %foreign "C:oracle_connect,oracle-idris"
12 | prim__connect : String -> String -> String -> PrimIO AnyPtr
13 |
14 | ||| Release an Oracle connection.
15 | |||
16 | export %foreign "C:oracle_disconnect,oracle-idris"
17 | prim__disconnect : AnyPtr -> PrimIO ()
18 |