14.2.53  Time

The standard library Time api defines access to a Time type and functions operating upon it.

The Time api is implemented by the time package.

The Time api source code is in src/lib/std/src/time.api.

The above information is manually maintained and may contain errors.

api {    eqtype Time ;
    exception TIME;
    zero_time : Time;
    to_seconds : Time -> multiword_int::Int;
    from_seconds : multiword_int::Int -> Time;
    to_milliseconds : Time -> multiword_int::Int;
    from_milliseconds : multiword_int::Int -> Time;
    to_microseconds : Time -> multiword_int::Int;
    from_microseconds : multiword_int::Int -> Time;
    to_nanoseconds : Time -> multiword_int::Int;
    from_nanoseconds : multiword_int::Int -> Time;
    to_string : Time -> String;
    to_float_seconds : Time -> Float;
    from_string : String -> Null_Or(Time );
    from_float_seconds : Float -> Time;
    + : (Time , Time) -> Time;
    - : (Time , Time) -> Time;
    compare : (Time , Time) -> Order;
    < : (Time , Time) -> Bool;
    <= : (Time , Time) -> Bool;
    > : (Time , Time) -> Bool;
    >= : (Time , Time) -> Bool;
    get_current_time_utc : Void -> Time;
    format : Int -> Time -> String;
    scan : number_string::Reader((Char, X) ) -> number_string::Reader((Time, X) );
};