rhi/gallery
1
0
Fork 0
Code Issues 5 Pull requests 1 Releases Wiki Activity

fix padding in yyyy/mm/dd dates

Browse source
This commit is contained in:
rhiannon morris 2024-07-19 19:19:31 +02:00
parent 28520eb443
commit 44c5b933b5
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
make-pages/Date.hs
View file

@ -78,9 +78,12 @@ formatRSS = fromString . format . toTime where
formatSlash :: Date -> Builder formatSlash :: Date -> Builder
formatSlash (Date {year, month, day}) = case dayNum day of formatSlash (Date {year, month, day}) = case dayNum day of
Nothing -> [b|$year/$month|] Nothing -> [b|$year/$mm|]
Just d -> [b|$year/$month/$d$q|] Just d -> [b|$year/$mm/$dd$q|] where dd = pad2 d
where q = if exact day then "" else [b|<span class=q>?</span>|] where
mm = pad2 month
q = if exact day then "" else [b|<span class=q>?</span>|]
pad2 x = let str = show x in if length str == 1 then '0':str else str
nth :: Int -> Builder nth :: Int -> Builder