我想用DSum來做些什麼。要與DSum一起使用，您需要具有一個採用一個類型參數的「標記」類型，例如， data Tag a where
AFirst :: Tag Int
ASecond :: Tag String
但是，我想在圖書館內部使用它。我想讓我向用戶公開的接口採用任何舊的數據類型，例如 data SomeUserType1 = Foo Int | Bar Stri
我有一個TemplateHaskell函數創建一個類名： test :: Q [Dec]
test = do
clsname <- newName "A"
a <- newName "a"
return [
ClassD [] clsname [PlainTV a] [][]
]
類名與newName生成的，所以應該是無衝突（原因是我直接在T
我正在使用Yesod構建一個簡單的應用程序，並且我很難引入外部文件。這裏是我的代碼： {-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE QuasiQuotes #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
import Yesod
dat