在yesod中以类型安全的方式指定favicon

Question

这是我在yesod邮件列表上询问的原始问题的重新发布（请参阅http://groups.google.com/group/yesodweb/browse_thread/thread/934c4141fc615cb）以尝试获得更快的回复。

我想弄清楚是否可以使用<link>属性生成type，该属性与提供favicon文件的HTTP处理程序发送的MIME类型相对应。

到目前为止，我有这个链接：

<link rel="icon" href=@{FaviconR} sizes="32x32" type="image/png">

和这个处理程序：

getFaviconR :: Handler ()
getFaviconR = sendFile "image/png" "config/favicon.png"

我正在寻找一种方法来确保代码仅在getFaviconR和<link>具有相同MIME类型时进行编译。

我当然意识到我可以完全忽略链接中的type属性，并依赖客户来确定类型，但将其视为一个理论问题。

我是Haskell的新手，所以我可能会要求一些不可能的东西。没有？

Answer 1

我认为最简单的方法是在单独的变量中定义图像类型，并在两个地方使用它。