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

Haskell 在yesod中以类型安全方式指定favicon,haskell,yesod,Haskell,Yesod,这是我在yesod邮件列表(请参阅)上提出的原始问题的重新发布,以期获得更快的回复 我试图弄清楚是否可以使用type属性生成一个,该属性对应于为favicon文件提供服务的HTTP处理程序发送的MIME类型 到目前为止,我有以下链接: 这个处理器: getFaviconR::处理程序() getfavicon=sendFile“image/png”“config/favicon.png” 我正在寻找一种方法,确保只有当getFaviconR和具有相同的MIME类型时,代码才能编译 当然,

这是我在yesod邮件列表(请参阅)上提出的原始问题的重新发布,以期获得更快的回复

我试图弄清楚是否可以使用
type
属性生成一个
,该属性对应于为favicon文件提供服务的HTTP处理程序发送的MIME类型

到目前为止,我有以下链接:

这个处理器:

getFaviconR::处理程序()
getfavicon=sendFile“image/png”“config/favicon.png”
我正在寻找一种方法,确保只有当
getFaviconR
具有相同的MIME类型时,代码才能编译

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


我是哈斯克尔的新手,所以我可能是在要求一些不可能的事情。否?

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

不太熟悉YesSOD。是否可以编写类似于
的内容,并让
Favicon
的模板同时生成
href=“foo”
type=“image/png”
位?然后至少两个
“image/png”
位都在一个位置。 <link rel="icon" href=@{FaviconR} sizes="32x32" type="image/png"> getFaviconR :: Handler () getFaviconR = sendFile "image/png" "config/favicon.png"