julius のスプライシングがどのように機能するかについて理解できないことがあると思います。組み込みの型はどれもスプライスしません。コードをコンパイルする唯一の方法は、rawJS を使用することです。
例えば:
import Prelude.Unicode
import Text.Julius
import Text.Shakespeare -- not sure if this is needed
import Text.Shakespeare.Text -- not sure if this is needed
...
test = renderJavascript $ jsCode (⊥)
where
yval = rawJS $ show (3 ∷ Int) -- works
-- yval = show (3 ∷ Int) -- no instance of toJavascript
-- yval = 3 ∷ Int -- no instance of toJavascript
jsCode = [js|
var y = #{yval};
|]
FWIW 私は yesod を使用していません。ライブラリの julius テンプレート部分だけを使用していますが、ここでは問題にならないと思います。
Int 自体をスプライスしようとすると、次のようなエラーが発生します。
No instance for (ToJavascript Int)
arising from a use of ‘toJavascript’
In the expression: toJavascript yval
In the first argument of ‘mconcat’, namely
‘[Javascript
((Data.Text.Internal.Builder.fromText . pack')
"\n\
\ var y = "),
toJavascript yval,
Javascript
((Data.Text.Internal.Builder.fromText . pack')
";\n\
\ ")]’
In the expression:
mconcat
[Javascript
((Data.Text.Internal.Builder.fromText . pack')
"\n\
\ var y = "),
toJavascript yval,
Javascript
((Data.Text.Internal.Builder.fromText . pack')
";\n\
\ ")]