Oracle.Types.OracleType

Definitions

data OracleType : Type

Totality: total
Visibility: public export
Constructors:

OracleTypeVarchar : OracleType

OracleTypeRaw : OracleType

OracleTypeNumber : OracleType

OracleTypeTimestamp : OracleType

OracleTypeTimestampTZ : OracleType

OracleTypeIntervalYM : OracleType

OracleTypeIntervalDS : OracleType

OracleTypeClob : OracleType

OracleTypeBlob : OracleType

OracleTypeBoolean : OracleType

OracleTypeUnknown : Int32 -> OracleType

Hints:

Eq OracleType

Ord OracleType

Show OracleType

fromOracleTypeNum : Int32 -> OracleType

  Convert an ODPI-C Oracle type number into an Idris representation.
  

Visibility: export