Haskell + Yesod：使用 Persistent 分离插入逻辑不会编译。无法确定类型

Question

我是 Haskell 的新手，来自 Scala。我喜欢 Haskell，但我觉得在使用 persistent 时我正在与类型系统作斗争。

我的请求：我想将一些插入逻辑分离到它自己的方法中。我无法完全弄清楚类型或正确的方法。我所有失败的尝试都不会编译。下面是更简洁的问题。

这里是数据声明：

share [mkPersist sqlSettings, mkMigrate "migrateAll"] [persistLowerCase|
Curator
  name String
  url String
  feed String
  UniqueUrl url
  deriving Show
Article
  url String
  title String
  content String
  curatorId CuratorId Eq
  deriving Show
|]

这是一个失败的尝试：

insertArticle :: String -> String -> String -> MaybeT (???)
insertArticle url title content = do
    curatorId <- selectFirst [curatorName ==. "Fake Name"]
    lift $ do
        curator <- curatorId
        insert (Article url title content curator)

所以，我的问题：

1. ??? 中应该是什么类型？
2. lift 在正确的位置吗？ （通常编译器更有帮助）。
3. 有没有更好的方法来做到这一点？

PS - 我已经成功抽象出其他逻辑，例如插入只是给我带来了一个痛苦的世界。使用SqlPersistM时无法编译它

getFeeds :: SqlPersistM [Curator]
getFeeds = do
  curatorIds <- selectList [] [Asc CuratorName]
  let curatorGenerics = map entityVal curatorIds
  let curators = map (\x -> x :: Curator) curatorGenerics
  return curators

Answer 1

insertArticle 的返回类型应该是SqlPersistM (Maybe ArticleId)，因为它返回Just 一个插入的文章id 或Nothing 在SqlPersistM monad 中。

你可以实现类似的功能：

insertArticle :: String -> String -> String -> SqlPersistM (Maybe ArticleId)
insertArticle url title content = do
    curatorEntity <- selectFirst [CuratorName ==. "Fake Name"] []
    for curatorEntity $ \(Entity curatorId _) ->
        insert (Article url title content curatorId)

我使用来自Data.Traversable 的for 来处理Maybe 值selectFirst 在这里返回。

但是，实际上，我不喜欢这种类型签名，因为它坚持 sql 后端。为了使其更通用，你可以像这样写一个类型注解。

insertArticle :: (Applicative m, PersistQuery m, PersistMonadBackend m ~ PersistEntityBackend Curator) =>
                 String -> String -> String -> m (Maybe ArticleId)

签名有点复杂，但这个函数适用于任何后端。

顺便说一下，你的getFeeds可以简化一下。

getFeeds :: (Functor m, PersistQuery m, PersistMonadBackend m ~ PersistEntityBackend Curator) =>
            m [Curator]
getFeeds = map entityVal <$> selectList [] [Asc CuratorName]