Idris2Doc : Oracle.Types.DateTime

Oracle.Types.DateTime

(source)
Definitions
record OracleDate : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOracleDate : Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> OracleDate

  Projections:
  
.day : OracleDate -> Int32
  
.hour : OracleDate -> Int32
  
.minute : OracleDate -> Int32
  
.month : OracleDate -> Int32
  
.second : OracleDate -> Int32
  
.year : OracleDate -> Int32

  Hints:
  
Eq OracleDate
  
Ord OracleDate
  
Show OracleDate
.year : OracleDate -> Int32
  Visibility: public export
year : OracleDate -> Int32
  Visibility: public export
.month : OracleDate -> Int32
  Visibility: public export
month : OracleDate -> Int32
  Visibility: public export
.day : OracleDate -> Int32
  Visibility: public export
day : OracleDate -> Int32
  Visibility: public export
.hour : OracleDate -> Int32
  Visibility: public export
hour : OracleDate -> Int32
  Visibility: public export
.minute : OracleDate -> Int32
  Visibility: public export
minute : OracleDate -> Int32
  Visibility: public export
.second : OracleDate -> Int32
  Visibility: public export
second : OracleDate -> Int32
  Visibility: public export
record OracleTimestamp : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOracleTimestamp : Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> OracleTimestamp

  Projections:
  
.day : OracleTimestamp -> Int32
  
.hour : OracleTimestamp -> Int32
  
.minute : OracleTimestamp -> Int32
  
.month : OracleTimestamp -> Int32
  
.nanosecond : OracleTimestamp -> Int32
  
.second : OracleTimestamp -> Int32
  
.year : OracleTimestamp -> Int32

  Hints:
  
Eq OracleTimestamp
  
Ord OracleTimestamp
  
Show OracleTimestamp
.year : OracleTimestamp -> Int32
  Visibility: public export
year : OracleTimestamp -> Int32
  Visibility: public export
.month : OracleTimestamp -> Int32
  Visibility: public export
month : OracleTimestamp -> Int32
  Visibility: public export
.day : OracleTimestamp -> Int32
  Visibility: public export
day : OracleTimestamp -> Int32
  Visibility: public export
.hour : OracleTimestamp -> Int32
  Visibility: public export
hour : OracleTimestamp -> Int32
  Visibility: public export
.minute : OracleTimestamp -> Int32
  Visibility: public export
minute : OracleTimestamp -> Int32
  Visibility: public export
.second : OracleTimestamp -> Int32
  Visibility: public export
second : OracleTimestamp -> Int32
  Visibility: public export
.nanosecond : OracleTimestamp -> Int32
  Visibility: public export
nanosecond : OracleTimestamp -> Int32
  Visibility: public export
OracleTimestampLTZ : Type
  Visibility: public export
record OracleTimestampTZ : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOracleTimestampTZ : Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> OracleTimestampTZ

  Projections:
  
.day : OracleTimestampTZ -> Int32
  
.hour : OracleTimestampTZ -> Int32
  
.minute : OracleTimestampTZ -> Int32
  
.month : OracleTimestampTZ -> Int32
  
.nanosecond : OracleTimestampTZ -> Int32
  
.second : OracleTimestampTZ -> Int32
  
.tzHourOffset : OracleTimestampTZ -> Int32
  
.tzMinuteOffset : OracleTimestampTZ -> Int32
  
.year : OracleTimestampTZ -> Int32

  Hints:
  
Eq OracleTimestampTZ
  
Ord OracleTimestampTZ
  
Show OracleTimestampTZ
.year : OracleTimestampTZ -> Int32
  Visibility: public export
year : OracleTimestampTZ -> Int32
  Visibility: public export
.month : OracleTimestampTZ -> Int32
  Visibility: public export
month : OracleTimestampTZ -> Int32
  Visibility: public export
.day : OracleTimestampTZ -> Int32
  Visibility: public export
day : OracleTimestampTZ -> Int32
  Visibility: public export
.hour : OracleTimestampTZ -> Int32
  Visibility: public export
hour : OracleTimestampTZ -> Int32
  Visibility: public export
.minute : OracleTimestampTZ -> Int32
  Visibility: public export
minute : OracleTimestampTZ -> Int32
  Visibility: public export
.second : OracleTimestampTZ -> Int32
  Visibility: public export
second : OracleTimestampTZ -> Int32
  Visibility: public export
.nanosecond : OracleTimestampTZ -> Int32
  Visibility: public export
nanosecond : OracleTimestampTZ -> Int32
  Visibility: public export
.tzHourOffset : OracleTimestampTZ -> Int32
  Visibility: public export
tzHourOffset : OracleTimestampTZ -> Int32
  Visibility: public export
.tzMinuteOffset : OracleTimestampTZ -> Int32
  Visibility: public export
tzMinuteOffset : OracleTimestampTZ -> Int32
  Visibility: public export
record OracleIntervalYM : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOracleIntervalYM : Int32 -> Int32 -> OracleIntervalYM

  Projections:
  
.months : OracleIntervalYM -> Int32
  
.years : OracleIntervalYM -> Int32

  Hints:
  
Eq OracleIntervalYM
  
Ord OracleIntervalYM
  
Show OracleIntervalYM
.years : OracleIntervalYM -> Int32
  Visibility: public export
years : OracleIntervalYM -> Int32
  Visibility: public export
.months : OracleIntervalYM -> Int32
  Visibility: public export
months : OracleIntervalYM -> Int32
  Visibility: public export
record OracleIntervalDS : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkOracleIntervalDS : Int32 -> Int32 -> Int32 -> Int32 -> Int32 -> OracleIntervalDS

  Projections:
  
.days : OracleIntervalDS -> Int32
  
.hours : OracleIntervalDS -> Int32
  
.minutes : OracleIntervalDS -> Int32
  
.nanoseconds : OracleIntervalDS -> Int32
  
.seconds : OracleIntervalDS -> Int32

  Hints:
  
Eq OracleIntervalDS
  
Ord OracleIntervalDS
  
Show OracleIntervalDS
.days : OracleIntervalDS -> Int32
  Visibility: public export
days : OracleIntervalDS -> Int32
  Visibility: public export
.hours : OracleIntervalDS -> Int32
  Visibility: public export
hours : OracleIntervalDS -> Int32
  Visibility: public export
.minutes : OracleIntervalDS -> Int32
  Visibility: public export
minutes : OracleIntervalDS -> Int32
  Visibility: public export
.seconds : OracleIntervalDS -> Int32
  Visibility: public export
seconds : OracleIntervalDS -> Int32
  Visibility: public export
.nanoseconds : OracleIntervalDS -> Int32
  Visibility: public export
nanoseconds : OracleIntervalDS -> Int32
  Visibility: public export