package timedesc

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Constructors
Comparison
Accessors
Conversion

package timedesc

timedesc
- Timedesc
  - Date
    
    ISO_ord_date
    
    ISO_week_date
    
    Ymd_date
  - ISO_ord_date_time
  - ISO_week_date_time
  - Interval
  - Span
    
    For_human
  - Time
  - Time_zone
    
    Db
    
    Raw
    
    Sexp
    
    JSON
    
    Raw
    
    Sexp
  - Time_zone_info
  - Timestamp
  - Utils
timedesc.tzdb.full
- Timedesc_tzdb
  - M
timedesc.tzdb.none
- Timedesc_tzdb
  - M
timedesc.tzlocal.none
- Timedesc_tzlocal
timedesc.tzlocal.unix
- Timedesc_tzlocal
timedesc.tzlocal.utc
- Timedesc_tzlocal

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

Representation of time of day

type view = private {

hour : int;
minute : int;
second : int;
ns : int;

}

type error = [

| `Invalid_hour of int
| `Invalid_minute of int
| `Invalid_second of int
| `Invalid_s_frac of float
| `Invalid_ns of int

]

exception Error_exn of error

Constructors

val make : 
  ?ns:int ->
  ?s_frac:float ->
  hour:int ->
  minute:int ->
  second:int ->
  unit ->
  (t, error) result

Constructs t from specification of the time of day.

Leap second can be specified by providing 60 for second. Note that leap second informtation is lost upon translation to timestamp(s), specifically second 60 is treated as second 59.

24:00:00 is treated as 23:59:59.999_999_999.

Nanosecond used is the addition of ns and s_frac * 10^9.

Returns Error `Invalid_hour if hour < 0 || 24 < hour.

Returns Error `Invalid_hour if hour = 24 and minute <> 0 || second <> 0 || total ns <> 0.

Returns Error `Invalid_minute if minute < 0 || 59 < minute.

Returns Error `Invalid_second if second < 0 || 60 < second.

Returns Error `Invalid_ns if s_frac < 0.0.

Returns Error `Invalid_ns if ns < 0.

Returns Error `Invalid_ns if total ns >= 10^9.

val make_exn : 
  ?ns:int ->
  ?s_frac:float ->
  hour:int ->
  minute:int ->
  second:int ->
  unit ->
  t

Comparison

val equal : t -> t -> bool

Accessors

val view : t -> view

val hour : t -> int

val minute : t -> int

val second : t -> int

val ns : t -> int

val is_leap_second : t -> bool

Conversion

val to_span : t -> Span.t

val of_span : Span.t -> t option