持久性：將文本轉換爲密鑰

Question

我正在使用persistent和persistent-mysql。我有一個單子SqlM

type SqlM a = SqlPersist (ResourceT IO) a) 

在我的功能

testFun :: T.Text -> SqlM() 
testFun someId = ... 

我可以查詢數據庫使用

entity <- selectFirst [SomeField ==. someId] 

但我想通過ID選擇實體來說。我必須將someId轉換/打包到Key - Type。我知道這是不是做到這一點，但我想：

entity <- get $ Key { unKey = PersistInt64 (read $ T.unpack someId) } 

這個失敗：

Couldn't match type `PersistEntityBackend 
         (Entity (DBTableGeneric backend0))' 
       with `Database.Persist.GenericSql.Raw.SqlBackend' 
The type variable `backend0' is ambiguous 
Possible fix: add a type signature that fixes these type variable(s) 
Expected type: Key (Entity (DBTableGeneric backend0)) 
    Actual type: KeyBackend 
       Database.Persist.GenericSql.Raw.SqlBackend 
       (Entity (DBTableGeneric backend0)) 
In the second argument of `($)', namely 
    `Key {unKey = PersistInt64 (read $ T.unpack someId)}' 

任何想法是怎麼回事？

Answer 1

我通常使用fromPathPiece進行這種轉換。至於你的錯誤信息，你可能只需要添加一個類型簽名來向編譯器澄清你正在使用的類型。