在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

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