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

Question

这是我在 yesod 邮件列表中提出的原始问题的重新发布（请参阅http://groups.google.com/group/yesodweb/browse_thread/thread/934c4141fc615cb），以试图获得更快的响应。

我试图弄清楚是否可以生成一个属性，<link>该type属性对应于为网站图标文件提供服务的 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

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