packages feed

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 ++ ")" )