panda-2008.10.13: Panda/View/Widget/Sidebar.hs
module Panda.View.Widget.Sidebar where
import Panda.Helper.Env hiding (rss_link)
import Prelude hiding ((.), (/), (^), id, span)
import qualified Panda.Type.State as State
import qualified Data.Set as Set
import qualified Panda.Config.Global as G
import qualified Panda.Type.Sidebar as Sidebar
-- model
import qualified Panda.Model.Tag as Tag
-- view
sidebar c state =
div_class_id c "sidebar" << unordList formatted_list
where
stock_list =
[ feed state
, tag_list $ state.State.tags
]
custom_list = G.sidebar.map (\x -> h2 << x.Sidebar.name +++ x.markup)
formatted_list = (stock_list ++ custom_list) .intersperse hr
feed state = toHtml
[ h2 << "Subscribe"
, p ! [theclass "feed"] << rss_link state
]
rss_link state =
if tagged
then
let tag_name = Tag.get_name uid in
link ( "tag" / tag_name) tag_name
else link "" "Home"
where
uid = State.uid state
tagged = uid.match "^tag/.+" .isJust
link r s = hotlink (G.root / r / "rss.xml") ! [ theclass "feedlink" ] << s
tag_list tags = toHtml
[ h2 << "Tags"
, unordList $ tags.Tag.sorted.map tag_link]
tag_link x = ( hotlink (G.root / x.Tag.uid) << x.Tag.name ) +++ ( " (" ++ x.Tag.resources.Set.size.show ++ ")" )