это повторный пост моего первоначального вопроса, который я задал в списке рассылки yesod (см. http://groups.google.com/group/yesodweb/browse_thread/thread/934c4141fc615cb), чтобы получить более быстрый ответ.
Я пытаюсь выяснить, можно ли сгенерировать <link> с атрибутом type, который соответствует типу MIME, отправляемому обработчиком HTTP, который обслуживает файл favicon.
пока у меня есть эта ссылка:
<link rel="icon" href=@{FaviconR} sizes="32x32" type="image/png">
и этот обработчик:
getFaviconR :: Handler ()
getFaviconR = sendFile "image/png" "config/favicon.png"
Я ищу способ убедиться, что код компилируется, только если getFaviconR и <link> имеют одинаковый тип MIME.
Я, конечно, понимаю, что могу полностью исключить атрибут type из ссылки и рассчитывать на тип клиента, но думаю, что это теоретический вопрос.
Я новичок в Хаскеле, поэтому, может быть, я прошу чего-то невозможного. нет