package timedesc

  1. Overview
  2. Docs

Module Timedesc.IntervalSource

Left-closed, right-open interval, i.e. interval is * of the form [x, y), which includes x and excludes y

Comparison

Sourceval equal : t -> t -> bool
Sourceval lt : t -> t -> bool
Sourceval le : t -> t -> bool
Sourceval gt : t -> t -> bool
Sourceval ge : t -> t -> bool
Sourceval compare : t -> t -> int

Pretty printing

Sourceval pp : ?display_using_tz:Time_zone.t -> ?format:string -> unit -> Format.formatter -> t -> unit

Pretty printing for interval.

Default format string:

[{syear} {smon:Xxx} {sday:0X} {shour:0X}:{smin:0X}:{ssec:0X}{ssec-frac:.} \
{stzoff-sign}{stzoff-hour:0X}:{stzoff-min:0X}:{stzoff-sec:0X}, {eyear} \
{emon:Xxx} {eday:0X} {ehour:0X}:{emin:0X}:{esec:0X}{esec-frac:.} \
{etzoff-sign}{etzoff-hour:0X}:{etzoff-min:0X}:{etzoff-sec:0X})

Follows same format string rules as Date_time.to_string, but tags are prefixed with 's' for "start time", and 'e' for "end exc time", e.g. for interval (x, y)

  • {syear} gives year of the x
  • {ehour:cX} gives hour of the y
Sourceval to_string : ?display_using_tz:Time_zone.t -> ?format:string -> t -> string
Sourceval pp_seq : ?display_using_tz:Time_zone.t -> ?format:string -> ?sep:(Format.formatter -> unit -> unit) -> unit -> Format.formatter -> t Seq.t -> unit