Module Calendar_sig.S.Time

module Time: Time_sig.S

Time implementation used by this calendar.

Since 2.0

Datatypes

type t

Type of a time.

type field = [ `Hour | `Minute | `Second ]

The different fields of a time.

Second

type second

Type of a second.

Since 2.0 (was an integer in previous versions).

module Second: Time_sig.Second  with type t = second

Second implementation

Constructors

val make : int -> int -> second -> t

make hour minute second makes the time hour-minute-second.

val lmake : ?hour:int -> ?minute:int -> ?second:second -> unit -> t

Labelled version of make. The default value is 0 for each argument.

Since 1.05

val now : unit -> t

The current time based on Time_Zone.current ().

val midnight : unit -> t

midnight () is midnight (expressed in the current time zone). So, it has always the same behaviour as make 0 0 0.

val midday : unit -> t

midday () is midday (expressed in the current time zone). So, it has always the same behaviour as make 12 0 0.

Conversions

val convert : t -> Time_Zone.t -> Time_Zone.t -> t

convert t t1 t2 converts the time t expressed in the time zone t1 to the same time expressed in the time zone t2.

Example:

convert (make 20 0 0) (Time_Zone.GMT_Plus 2)

        (Time_Zone.GMT_Plus 4)

val from_gmt : t -> t

from_gmt t is equivalent to convert t Time_Zone.GMT (Time_Zone.current ()).

val to_gmt : t -> t

to_gmt t is equivalent to convert t (Time_Zone.current ()) Time_Zone.GMT.

val normalize : t -> t * int

normalize t returns t such that hour t belongs to [0; 24[. The second component of the result is the number of days needed by the modification.

Example:

normalize (make 22 0 0)

normalize (make 73 0 0)

normalize

        (make (-73) 0 0)

Getters

val hour : t -> int

Hour.

Example:

hour (make 20 0 0)

val minute : t -> int

Minute.

Example:

minute (make 20 10 0)

val second : t -> second

Second.

Example:

second (make 20 10 5)

val to_seconds : t -> second

Number of seconds of a time.

Example:

to_seconds (make 1 2 3)

3600 + 120 + 3 = 3723

val to_minutes : t -> float

Number of minutes of a time. The resulting fractional part represents seconds.

Example:

to_minutes (make 1 2 3)

60+2+0.05 = 62.05

val to_hours : t -> float

Number of hours of a time. The resulting fractional part represents minutes and seconds.

Example:

to_hours (make 1 3 0)

1 + 0.05 = 1.05

Times are comparable

val equal : t -> t -> bool

Equality function between two times.

Since 1.09.0
See also Utils.Comparable.equal.

val compare : t -> t -> int

Comparison function between two times.

See also Utils.Comparable.compare.

val hash : t -> int

Hash function for times.

Since 2.0
See also Utils.Comparable.hash.

Boolean operations on times

val is_pm : t -> bool

Return true is the time is before midday in the current time zone; false otherwise.

Example:

is_pm (make 10 0 0)

is_pm (make 34 0 0)

true

val is_am : t -> bool

Return true is the time is after midday in the current time zone; false otherwise.

Example:

is_am (make 20 0 0)

is_am (make 44 0 0)

true

Coercions

val from_seconds : second -> t

Inverse of to_seconds.

val from_minutes : float -> t

Inverse of to_minutes.

val from_hours : float -> t

Inverse of to_hours.

Period

module Period: sig .. end

A period is the number of seconds between two times.

Arithmetic operations on times and periods

val add : t ->
       [< Period.date_field ] Period.period -> t

app t p returns t + p.

Example:

add (make 20 0 0) (Period.minute 70)

val sub : t ->
       t -> [< Period.date_field ] Period.period

sub t1 t2 returns the period between t1 and t2.

val rem : t ->
       [< Period.date_field ] Period.period -> t

rem t p is equivalent to add t (Period.opp p).

val next : t -> field -> t

next t f returns the time corresponding to the next specified field.

Example:

next (make 20 3 31) `Minute

val prev : t -> field -> t

prev t f returns the time corresponding to the previous specified field.

Example:

prev (make 20 3 31) `Second