Idris2Doc : Oracle.Internal.Pointer

Oracle.Internal.Pointer

(source)

Definitions

recordConnection : 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
recordStatement : 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