Name Rascal/Libraries/Prelude/DateTime/joinDateAndTime

Synopsis Create a new datetime by combining a date and a time.

Function datetime joinDateAndTime(datetime date, datetime time)

Usage import DateTime;

Examples

rascal>import DateTime;
ok
rascal>D = createDate(2012, 1, 1);
datetime: 2012-01-01
rascal>T = createTime(8, 15, 45, 30);
datetime: $T08:15:45.030+01:00$
rascal>joinDateAndTime(D, T);
datetime: $2012-01-01T08:15:45.030+01:00$

[Edit] | [New Subconcept] | [Recompile Course] | [Warnings]