Module S.TimeSource

Module representing MariaDB date- and time-related values.

Sourcetype t

The type of time values.

Retrieval of time components

Sourceval year : t -> int
Sourceval month : t -> int
Sourceval day : t -> int
Sourceval hour : t -> int
Sourceval minute : t -> int
Sourceval second : t -> int
Sourceval microsecond : t -> int

Creation of time values

Sourceval time : hour:int -> minute:int -> second:int -> ?microsecond:int -> unit -> t
Sourceval local_timestamp : float -> t
Sourceval utc_timestamp : float -> t
Sourceval date : year:int -> month:int -> day:int -> unit -> t
Sourceval datetime : year:int -> month:int -> day:int -> hour:int -> minute:int -> second:int -> ?microsecond:int -> unit -> t