Module CalendarLib.FcalendarSource

Calendar implementation in which seconds are float.

This module uses float. Then results may be very unprecise, especially comparison of calendars which differ with few seconds. In this case, consider to use module Precise.

include Calendar_sig.S with module Date = Date and module Time = Ftime

Datatypes

Sourcemodule Date = Date

Date implementation used by this calendar.

Sourcemodule Time = Ftime

Time implementation used by this calendar.

Sourcetype t
Sourcetype day = Date.day =
  1. | Sun
  2. | Mon
  3. | Tue
  4. | Wed
  5. | Thu
  6. | Fri
  7. | Sat
    (*

    Days of the week.

    *)
Sourcetype month = Date.month =
  1. | Jan
  2. | Feb
  3. | Mar
  4. | Apr
  5. | May
  6. | Jun
  7. | Jul
  8. | Aug
  9. | Sep
  10. | Oct
  11. | Nov
  12. | Dec
    (*

    Months of the year.

    *)
Sourcetype year = Date.year

Year as an int

Sourcetype second = Time.second
Sourcetype field = [
  1. | Date.field
  2. | Time.field
]

The different fields of a calendar.

Constructors

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

make year month day hour minute second makes the calendar "year-month-day; hour-minute-second".

  • raises D.Out_of_bounds

    when a date is outside the Julian period.

  • raises D.Undefined

    when a date belongs to [October 5th, 1582; October 14th, 1582].

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

Labelled version of make. The default value of month and day (resp. of hour, minute and second) is 1 (resp. 0).

  • raises D.Out_of_bounds

    when a date is outside the Julian period.

  • raises D.Undefined

    when a date belongs to [October 5th, 1582; October 14th, 1582].

  • since 1.05
Sourceval create : Date.t -> Time.t -> t

create d t creates a calendar from the given date and time.

Sourceval now : unit -> t

now () returns the current date and time (in the current time zone).

Sourceval from_jd : float -> t

Return the Julian day. More precise than Date.from_jd: the fractional part represents the time.

Sourceval from_mjd : float -> t

Return the Modified Julian day. It is Julian day - 2 400 000.5 (more precise than Date.from_mjd).

Conversions

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

Sourceval convert : t -> Time_Zone.t -> Time_Zone.t -> t
Sourceval to_gmt : t -> t
Sourceval from_gmt : t -> t

Getters

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

Sourceval days_in_month : t -> int
Sourceval day_of_week : t -> day
Sourceval day_of_month : t -> int
Sourceval day_of_year : t -> int
Sourceval week : t -> int
Sourceval month : t -> month
Sourceval year : t -> int

to_jd and to_mjd are more precise than Date_sig.S.to_jd and Date_sig.S.to_mjd.

Sourceval to_jd : t -> float
Sourceval to_mjd : t -> float

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

Sourceval hour : t -> int
Sourceval minute : t -> int
Sourceval second : t -> second

Calendars are comparable

Sourceval equal : t -> t -> bool

Equality function between two calendars.

Sourceval compare : t -> t -> int

Comparison function between two calendars.

Sourceval hash : t -> int

Hash function for calendars.

  • since 2.0

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

Sourceval is_leap_day : t -> bool
Sourceval is_gregorian : t -> bool
Sourceval is_julian : t -> bool

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

Sourceval is_pm : t -> bool
Sourceval is_am : t -> bool

Coercions

Sourceval to_unixtm : t -> Unix.tm

Convert a calendar into the unix.tm type. The field isdst is always false. More precise than Date_sig.S.to_unixtm.

  • since 1.01
Sourceval from_unixtm : Unix.tm -> t

Inverse of to_unixtm. Assumes the current time zone. So, The following invariant holds: hour (from_unixtm u) = u.Unix.tm_hour.

  • since 1.01
Sourceval to_unixfloat : t -> float

Convert a calendar to a float such than to_unixfloat (make 1970 1 1 0 0 0) returns 0.0 at UTC. So such a float is convertible with those of the module Unix. More precise than Date_sig.S.to_unixfloat.

  • since 1.01
Sourceval from_unixfloat : float -> t

Inverse of to_unixfloat. Assumes the current time zone. So, the following invariant holds: hour (from_unixfloat u) = (Unix.gmtime u).Unix.tm_hour.

  • since 1.01
Sourceval from_date : Date.t -> t

Convert a date to a calendar. The time is midnight in the current time zone.

Sourceval to_date : t -> Date.t

Convert a calendar to a date. Time part of the calendar is ignored.

Sourceval to_time : t -> Time.t

Convert a calendar to a time. Date part of the calendar is ignored.

  • since 1.03

Period

Sourcemodule Period : sig ... end

A period is the number of seconds between two calendars.

Arithmetic operations on calendars and periods

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

Sourceval add : t -> 'a Period.period -> t
Sourceval sub : t -> t -> [> `Week | `Day ] Period.period
Sourceval precise_sub : t -> t -> Period.t
  • since 2.03
Sourceval rem : t -> 'a Period.period -> t
Sourceval next : t -> field -> t
Sourceval prev : t -> field -> t
Sourcemodule Precise : Calendar_sig.S with module Date = Date and module Time = Ftime

More precise implementation of calendar in which seconds are float.