Idris2Doc : Oracle.Internal.Pointer

Oracle.Internal.Pointer

(source)

Definitions

record Connection : Type
  Internal connection handle.

Wraps a raw dpiConn pointer.

Totality: total
Visibility: public export
Constructor: 
MkConnection : AnyPtr -> Connection

Projection: 
.ptr : Connection -> AnyPtr
.ptr : Connection -> AnyPtr
Visibility: public export
ptr : Connection -> AnyPtr
Visibility: public export
record Statement : Type
  Internal prepared statement handle.

Totality: total
Visibility: public export
Constructor: 
MkStatement : AnyPtr -> Statement

Projection: 
.ptr : Statement -> AnyPtr
.ptr : Statement -> AnyPtr
Visibility: public export
ptr : Statement -> AnyPtr
Visibility: public export