Idris2Doc
: Oracle.Error
Index
Default
Alternative
Black & White
Oracle.Error
(
source
)
Definitions
getLastError
:
IO
OracleError
Retrieve the most recent Oracle error.
Visibility
:
export