mizunashi-mana
それはコンパイルエラーになるということでしょうか？それとも，例外が出るということでしょうか？テンプレートが思った通りに表示できないということでしょうか？
{-# OPTIONS_GHC -fno-warn-dodgy-exports #-} と併用すると、警告がなくなるようです。[("ab", { "a": "b" }), ("cd", { "c": "d" })] => { "ab": { "a": "b" }, "cd": { "c": "d" } } というような変換を行う関数)です．<キーとなるテキスト> .= <JSONになれる型の値(ToJSONのインスタンス)> という感じで使い，右の値は自動的にJSONデータに変換してくれます．なので， fromPairs [ "list" .= toJSON ["aa", "bb", "cc" ] は fromPairs [ "list" .= [ "aa", "bb", "cc" ] ] と同値です．JSONデータとしての表現は， aeson と bytestring というライブラリをロードしてghci上で>>> import Data.Aeson >>> toJSON [ "aa", "bb", "cc" ] — Haskell上での表現が表示される
>>> import qualified Data.ByteString.Lazy.Char8 as BS >>> BS.putStrLn $ encode [ "aa", "bb", "cc" ] — JSONデータが表示される
fromPairs [ ("list" :: String) .= [ "aa", "bb", "cc" ] ] というのはコンパイルエラーを起こします． 正しい型は fromPairs [ (Data.Text.pack "list" :: Data.Text.Text) .= [ "aa", "bb", "cc" ] ] というのが正しい表記なのですがこのような書き方は良くするので， OverloadedStrings という拡張がよく使用されます．この拡張を有効にすると fromPairs [ ("list" :: Data.Text.Text) .= [ "aa", "bb", "cc" ] ] という表記が可能になります．OverloadedStrings はよく使う拡張なので， edeのドキュメントには書かれていないのですが， それを有効にしていないままドキュメントのサンプルを動かそうとするとエラーが出るはずです．この拡張を有効にしていなかったりしないでしょうか？fromPairs ["list" .= (["aa","bb","cc"] :: [String])] と書かなきゃいけない方ですかね？:: [Data.Text.Text]で型指定してみます<!DOCTYPE html>
<html>
<head>
<title>{{ title }}</title>
</head>
<body>
<h1>{{ title }}</h1>
<ol>
{% for food in foods %}
<li>{{ food }}</li>
{% endfor %}
</ol>
</body>
</html>
{-# LANGUAGE OverloadedStrings #-}
import Web.Scotty
import Text.EDE
import Data.Aeson
import Data.Text(Text)
main :: IO()
main = do
path <- eitherParseFile "./html/index.html"
let env = fromPairs [("title" :: Text) .= ("LIST" :: Text)
,("foods" :: Text) .= (["AA","BB","CC"] :: [Text])]
let txt = either error id $ path >>= (`eitherRender` env)
scotty 3000 $ do
get "/" $ html txt
{% for food in foods %} <li>{{ food.value }}</li> {% endfor %} な気がしますcabal clean; cabal build の代わりは stack clean; stack build ですか？tls13 ブランチを使わせないといけないのです。