Idris2Doc : Oracle.FFI.Connection

Oracle.FFI.Connection

(source)

Definitions

prim__connect : String->String->String->PrimIOAnyPtr
  Create a new Oracle connection.

Parameters:
1. Username
2. Password
3. Connect string

Returns a raw dpiConn pointer.
prim__disconnect : AnyPtr->PrimIO ()
  Release an Oracle connection.