Oracle.Types.BindParameter

Definitions

record BindParameter : Type

  Named bind parameter.
  
  Example:
  
  :dept is represented as MkBindParameter "dept" (OracleInt 10)
  

Totality: total
Visibility: public export
Constructor: 

MkBindParameter : String -> OracleValue -> BindParameter

Projections:

.name : BindParameter -> String

.value : BindParameter -> OracleValue

Hints:

Eq BindParameter

Ord BindParameter

Show BindParameter

.name : BindParameter -> String

Visibility: public export

name : BindParameter -> String

Visibility: public export

.value : BindParameter -> OracleValue

Visibility: public export

value : BindParameter -> OracleValue

Visibility: public export