持久性：将文本转换为密钥

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进行这种转换。至于你的错误信息，你可能只需要添加一个类型签名来向编译器澄清你正在使用的类型。