Name Rascal/Libraries/Prelude/DateTime/splitDateTime

Synopsis Split an existing datetime into a tuple with the date and the time.

Function tuple[datetime date, datetime time] splitDateTime(datetime dt)

Usage import DateTime;

Examples

rascal>import DateTime;
ok
rascal>N = now();
datetime: $2014-10-28T10:39:42.570+00:00$
rascal>splitDateTime(N);
tuple[datetime date,datetime time]: <2014-10-28,$T10:39:42.570+00:00$>

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