Period (u.2692a3d5cee1f82ef8ab64602d2d8be2.calendar.3.0.0.doc.calendar.CalendarLib.Calendar.Period)

Arithmetic operations

Sourcetype +'a period constraint 'a = [< Period.date_field ]

Sourcetype t = Period.date_field period

Type of a period.

Period is an additive monoid

Sourceval empty : 'a period

The empty period.

Sourceval add : ([> `Day | `Week ] as 'a) period -> 'a period -> 'a period

Addition of periods.

Sourceval sub : ([> `Day | `Week ] as 'a) period -> 'a period -> 'a period

Substraction of periods.

Sourceval opp : ([> `Day | `Week ] as 'a) period -> 'a period

Opposite of a period.

Periods are comparable

Sourceval equal : 'a period -> 'b period -> bool

Equality function between two periods.

see Utils.Comparable.html#VALequal
Utils.Comparable.equal

since 1.09.0

Sourceval compare : 'a period -> 'b period -> int

Comparison function between two periods.

see Utils.Comparable.html#VALcompare
Utils.Comparable.compare

Sourceval hash : 'a period -> int

Hash function for periods.

see Utils.Comparable.html#VALhash
Utils.Comparable.hash

since 2.0

Constructors

Sourceval make : int -> int -> int -> int -> int -> second -> t

make year month day hour minute second makes a period of the specified length.

Source

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

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

Those functions have the same behavious as those defined in Date_sig.S.Period.

Sourceval year : int -> [> `Year ] period

see Date_sig.S.Period.html#VALyear
Date_sig.S.Period.year

Sourceval month : int -> [> `Year | `Month ] period

see Date_sig.S.Period.html#VALmonth
Date_sig.S.Period.month

Sourceval week : int -> [> `Week | `Day ] period

see Date_sig.S.Period.html#VALweek
Date_sig.S.Period.week

Sourceval day : int -> [> `Week | `Day ] period

see Date_sig.S.Period.html#VALday
Date_sig.S.Period.day

Those functions have the same behavious as those defined in Time_sig.S.Period.

Sourceval hour : int -> [> `Week | `Day ] period

see Time_sig.S.Period.html#VALhour
Time_sig.S.Period.hour

Sourceval minute : int -> [> `Week | `Day ] period

see Time_sig.S.Period.html#VALminute
Time_sig.S.Period.minute

Sourceval second : second -> [> `Week | `Day ] period

see Time_sig.S.Period.html#VALsecond
Time_sig.S.Period.second

Coercions

Sourceval from_date : 'a Date.Period.period -> 'a period

Convert a date period to a calendar period.

Sourceval from_time : 'a Time.Period.period -> 'a period

Convert a time period to a calendar period.

Sourceval to_date : 'a period -> 'a Date.Period.period

Convert a calendar period to a date period. The fractional time period is ignored. @example to_date (hour 60) is equivalent to Date.Period.days 2.

Sourceexception Not_computable

= Date.Period.Not_computable.

since 1.04

Sourceval to_time : 'a period -> 'a Time.Period.period

Convert a calendar period to a date period.

raises Not_computable
if the time period is not computable. @example to_time (day 6) returns a time period of 24 * 3600 * 6 = 518400 seconds @example to_time (second 30) returns a time period of 30 seconds @example to_time (year 1) raises Not_computable because a year is not a constant number of days.

since 1.04

deprecated
since 2.02: use safe_to_time instead

Sourceval safe_to_time : ([< `Week | `Day ] as 'a) period -> 'a Time.Period.period

Equivalent to to_time but never raises any exception.

since 2.02

Sourceval ymds : 'a period -> int * int * int * second

Number of years, months, days and seconds in a period. @example ymds (make 1 2 3 1 2 3) returns 1, 2, 3, 3723 @example ymds (make (-1) (-2) (-3) (-1) (-2) (-3) returns -1, -2, -4, 82677.

since 1.09.0