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 import Panda.View.Widget.Helper html_head state = header << ([meta_tag, title_tag state, favicon_tag, rss_tag state] ++ 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 state = rss_link $ rss_url_link_pair state .fst favicon_tag = favicon_link G.favicon format_title [] = "" format_title s = " / " ++ s