的自定義實例我有以下形式的單子轉換堆棧: newtype T m a = T { unT :: StateT State (SqlPersist m) a }
deriving (Monad, MonadState State)
,並希望使用持久insert和lookup電話,所以我需要做一個PersistBackend實例T。然而,幻影類型編碼特定的後端到Key返回類型 - 這將導
甜而簡單,永久連接如何工作?考慮以下模型: Person
number Int
numberOfEyes Int
firstName FirstnamesId
lastName LastnamesId
Lastnames
lastname String
Firstnames
firstname String
假設我只有一個人的號碼
這不是那很難爲生成的類型編寫ToJSON/FromJSON實例,但仍然可以在生成代碼時將它拋入?或者是否有一種簡單的方法可以讓Yesod用戶成爲這種用戶? (我沒有挖過深成TH是如何工作的?) 更新: OK,我喜歡這個建議,但是,說我的執着類型是用戶。如果我使用 它產生 Exception when trying to run compile-time code:
Data.Aes