packages feed

panda-2008.10.11: Panda/View/Widget/Head.hs

module Panda.View.Widget.Head where

import Panda.Helper.Env
import Prelude hiding ((.), (/), (^), id, span)
import qualified Panda.Config.Global as G
import Panda.Type.Theme hiding (header)
import qualified Panda.Type.State as S

html_head state = header << ([meta_tag, title_tag state, favicon_tag, rss_tag] ++ G.theme.css.map css_link ++ G.theme.js.map js_link )

title_tag state = thetitle << [G.blog_title ++ state.S.resource_title.format_title]
rss_tag    = rss_link "rss.xml"
favicon_tag = favicon_link G.favicon

format_title [] = ""
format_title s = " / " ++ s