module Panda.View.Widget.Helper where import Panda.Helper.Env import Prelude hiding ((.), (/), (^), id, span) import qualified Panda.Config.Global as G import qualified Panda.Type.State as State import qualified Panda.Model.Tag as Tag rss_url_link_pair state = if tagged then let tag_name = Tag.get_name uid in link ( G.tag_id / tag_name) tag_name else link "" "Home" where uid = State.uid state tagged = uid.match "^tag/.+" .isJust url r = G.root / r / "rss.xml" link r s = (url r, hotlink (url r) ! [ theclass "feedlink" ] << s)