Idris2Doc : Oracle.Context

Oracle.Context

(source)

Definitions

initialize : IO (Either OracleError OracleContext)
  Initialize the ODPI-C runtime.

Visibility: export