This module adds German names for months and weekdays.
module Date.Locale.DE(localize) where
{-| This module adds German names for months and weekdays.
# Extend
@docs localize
--}
import Date
import Date.Op
long : Date.Month -> String
long m = case m of
Date.Jan -> "Januar"
Date.Feb -> "Februar"
Date.Mar -> "März"
Date.Apr -> "April"
Date.May -> "Mai"
Date.Jun -> "Juni"
Date.Jul -> "Juli"
Date.Aug -> "August"
Date.Sep -> "September"
Date.Oct -> "October"
Date.Nov -> "November"
Date.Dec -> "Dezember"
short : Date.Month -> String
short m = case m of
Date.Jan -> "Jan"
Date.Feb -> "Feb"
Date.Mar -> "Mrz"
Date.Apr -> "Apr"
Date.May -> "Mai"
Date.Jun -> "Jun"
Date.Jul -> "Jul"
Date.Aug -> "Aug"
Date.Sep -> "Sep"
Date.Oct -> "Oct"
Date.Nov -> "Nov"
Date.Dec -> "Dez"
day : Date.Day -> String
day d = case d of
Date.Mon -> "Montag"
Date.Tue -> "Dienstag"
Date.Wed -> "Mittwoch"
Date.Thu -> "Donnerstag"
Date.Fri -> "Freitag"
Date.Sat -> "Samstag"
Date.Sun -> "Sonntag"
localize : Date.Op.TokenDict -> Date.Op.TokenDict
localize = Date.Op.localize short long day