Idris2Doc : Oracle.Types.Value

Oracle.Types.Value

(source)

Definitions

dataOracleValue : Type
  Represents a value exchanged with Oracle.

Used for bind parameters and query results.

Totality: total
Visibility: public export
Constructors:
OracleNull : OracleValue
OracleString : String->OracleValue
OracleNumber : Double->OracleValue
OracleBool : Bool->OracleValue
OracleClob : String->OracleValue
OracleBlob : ByteString->OracleValue
OracleTimestamp : OracleTimestamp->OracleValue
OracleTimestampTZ : OracleTimestampTZ->OracleValue
OracleIntervalYM : OracleIntervalYM->OracleValue
OracleIntervalDS : OracleIntervalDS->OracleValue

Hints:
EqOracleValue
FromRow (ListOracleValue)
FromRowOracleValue
OrdOracleValue
ShowOracleValue