steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix help lint for calendar

db4
Doug Coleman 2009-11-16 16:44:17 -06:00
parent f302cc3e2c
commit 1712109cdf
1 changed files with 10 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
basis/calendar/calendar-docs.factor
View File

@ -355,7 +355,7 @@ HELP: before
HELP: <zero> HELP: <zero>
{ $values { "timestamp" timestamp } } { $values { "timestamp" timestamp } }
{ $description "Outputs a zero timestamp that consists of zeros for every slot. Used to see if timestamps are valid." } ; { $description "Returns a zero timestamp that consists of zeros for every slot. Used to see if timestamps are valid." } ;
HELP: valid-timestamp? HELP: valid-timestamp?
{ $values { "timestamp" timestamp } { "?" "a boolean" } } { $values { "timestamp" timestamp } { "?" "a boolean" } }
@ -363,7 +363,7 @@ HELP: valid-timestamp?
HELP: unix-1970 HELP: unix-1970
{ $values { "timestamp" timestamp } } { $values { "timestamp" timestamp } }
{ $description "Outputs the beginning of UNIX time, or midnight, January 1, 1970." } ; { $description "Returns the beginning of UNIX time, or midnight, January 1, 1970." } ;
HELP: micros>timestamp HELP: micros>timestamp
{ $values { "x" number } { "timestamp" timestamp } } { $values { "x" number } { "timestamp" timestamp } }
@ -377,13 +377,13 @@ HELP: micros>timestamp
HELP: gmt HELP: gmt
{ $values { "timestamp" timestamp } } { $values { "timestamp" timestamp } }
{ $description "Outputs the time right now, but in the GMT timezone." } ; { $description "Returns the time right now, but in the GMT timezone." } ;
{ gmt now } related-words { gmt now } related-words
HELP: now HELP: now
{ $values { "timestamp" timestamp } } { $values { "timestamp" timestamp } }
{ $description "Outputs the time right now in your computer's timezone." } { $description "Returns the time right now in your computer's timezone." }
{ $examples { $examples
{ $unchecked-example "USING: calendar prettyprint ;" { $unchecked-example "USING: calendar prettyprint ;"
"now ." "now ."
@ -490,23 +490,23 @@ HELP: saturday
HELP: midnight HELP: midnight
{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } } { $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
{ $description "Returns a timestamp that represents today at midnight, or the beginning of the day." } ; { $description "Returns a new timestamp that represents today at midnight, or the beginning of the day." } ;
HELP: noon HELP: noon
{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } } { $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
{ $description "Returns a timestamp that represents today at noon, or the middle of the day." } ; { $description "Returns a new timestamp that represents today at noon, or the middle of the day." } ;
HELP: beginning-of-month HELP: beginning-of-month
{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } } { $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
{ $description "Outputs a timestamp with the day set to one." } ; { $description "Returns a new timestamp with the day set to one." } ;
HELP: beginning-of-week HELP: beginning-of-week
{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } } { $values { "timestamp" timestamp } { "new-timestamp" timestamp } }
{ $description "Outputs a timestamp where the day of the week is Sunday." } ; { $description "Returns a new timestamp where the day of the week is Sunday." } ;
HELP: beginning-of-year HELP: beginning-of-year
{ $values { "timestamp" timestamp } { "new-timestamp" timestamp } } { $values { "object" object } { "new-timestamp" timestamp } }
{ $description "Outputs a timestamp with the month and day set to one, or January 1 of the input timestamp." } ; { $description "Returns a new timestamp with the month and day set to one, or January 1 of the input timestamp, given a year or a timestamp." } ;
HELP: time-since-midnight HELP: time-since-midnight
{ $values { "timestamp" timestamp } { "duration" duration } } { $values { "timestamp" timestamp } { "duration" duration } }