Idris2Doc : Oracle.Types.Value

Oracle.Types.Value

(source)

Definitions

data OracleValue : 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
OracleBinaryFloat : Double -> OracleValue
OracleBinaryDouble : Double -> OracleValue
OracleBool : Bool -> OracleValue
OracleRaw : ByteString -> OracleValue
OracleClob : String -> OracleValue
OracleBlob : ByteString -> OracleValue
OracleDate : OracleDate -> OracleValue
OracleTimestamp : OracleTimestamp -> OracleValue
OracleTimestampTZ : OracleTimestampTZ -> OracleValue
OracleIntervalYM : OracleIntervalYM -> OracleValue
OracleIntervalDS : OracleIntervalDS -> OracleValue

Hints:
Eq OracleValue
FromRow (List OracleValue)
FromRow OracleValue
Ord OracleValue
Show OracleValue