day-abbrev<= ( timestamp day -- timestamp' )


Vocabulary
zoneinfo

Inputs
timestampan object
dayan object


Outputs
timestamp'an object


Definition


: day-abbrev<= ( timestamp day -- timestamp' )
{
{ "Sun" [ sunday<= ] }
{ "Mon" [ monday<= ] }
{ "Tue" [ tuesday<= ] }
{ "Wed" [ wednesday<= ] }
{ "Thu" [ thursday<= ] }
{ "Fri" [ friday<= ] }
{ "Sat" [ saturday<= ] }
[ unknown-day-abbrev ]
} case ;