PreviousUpNext

14.2.6  Date

The standard library Date api defines access to the Posix strftime() function and related functionality.

The Date api is implemented by the date package.

The Datel api source code is in src/lib/std/src/date.api.

The above information is manually maintained and may contain errors.

api {    Weekday  = FRI | MON | SAT | SUN | THU | TUE | WED;
    Month 
      = APR
      | AUG
      | DEC
      | FEB
      | JAN
      | JUL
      | JUN
      | MAR
      | MAY
      | NOV
      | OCT
      | SEP;
    Date ;
    exception BAD_DATE;
    year : Date -> Int;
    month : Date -> Month;
    day : Date -> Int;
    hour : Date -> Int;
    minute : Date -> Int;
    second : Date -> Int;
    week_day : Date -> Weekday;
    year_day : Date -> Int;
    is_daylight_savings_time : Date -> Null_Or(Bool );
    offset : Date -> Null_Or(time::Time );
    local_offset : Void -> time::Time;
    date : {day:Int,  hour:Int,  minute:Int,  month:Month, 
            offset:Null_Or(time::Time ),  second:Int,  year:Int}
           -> Date;
    from_time_local : time::Time -> Date;
    from_time_univ : time::Time -> Date;
    to_time : Date -> time::Time;
    to_string : Date -> String;
    strftime : String -> Date -> String;
    from_string : String -> Null_Or(Date );
    scan : number_string::Reader((Char, X) ) -> number_string::Reader((Date, X) );
    compare : (Date , Date) -> Order;
    Tm  = (Int , Int , Int , Int , Int , Int , Int , Int
           , Int);
    ascii_time__syscall : Tm -> String;
    set__ascii_time__ref : ({fun_name:String,  io_call:Tm -> String, 
                             lib_name:String}
                            -> Tm -> String) -> Void;
    local_time__syscall : one_word_int::Int -> Tm;
    set__local_time__ref : ({fun_name:String,  io_call:one_word_int::Int -> Tm, 
                             lib_name:String}
                            -> one_word_int::Int -> Tm) -> Void;
    greenwich_mean_time__syscall : one_word_int::Int -> Tm;
    set__greenwich_mean_time__ref : ({fun_name:String,  io_call:one_word_int::Int -> Tm, 
                                      lib_name:String}
                                     -> one_word_int::Int -> Tm) -> Void;
    make_time__syscall : Tm -> one_word_int::Int;
    set__make_time__ref : ({fun_name:String,  io_call:Tm -> one_word_int::Int, 
                            lib_name:String}
                           -> Tm -> one_word_int::Int) -> Void;
    strftime__syscall : (String , Tm) -> String;
    set__strftime__ref : ({fun_name:String,  io_call:(String , Tm) -> String, 
                           lib_name:String}
                          -> (String , Tm) -> String) -> Void;
};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext