如何使用多片

Question

我对 Yesod 完全陌生（并且对 haskell 不太有经验），我正在尝试构建我的第一个处理程序。我使用默认参数来临时搭建我的应用程序（我使用 Yesod 0.9.4.1 版本并在临时搭建中选择 postgresql），现在我尝试使用 selectList 从表中检索一些数据。我在模型配置文件中定义了一个新表（我们称之为 Foo）：

    Foo
        xStart Int
        yStart Int

并希望传递 FooId 和其他一些 Foo 属性的列表，因此我定义了一条路由：

/foos/#Int/#Int/*FooId FoosReturnR GET

和处理程序：

    module Handler.FoosReturn where

    import Import

    selectWindowSize :: Int 
    selectWindowSize = 10000

    getFoosReturnR :: Int -> Int -> [FooId] -> Handler RepPlain
    getFoosReturnR x y withoutIds = do
        foos <- runDB $ selectList [FooId /<-. withoutIds, 
               FooXStart <. x + selectWindowSize,
               FooXStart >=. x - selectWindowSize, 
               FooYStart <. y + selectWindowSize,
               FooYStart >=. y - selectWindowSize] [] 
        return $ RepPlain $ toContent $ show foos

我在 Application.hs 中导入了处理程序并将其添加到 cabal 文件中，现在当我尝试运行它时，我收到一条错误消息，指出 FooId 不是 的实例MultiPiece - 但是当我尝试将其设为实例时，出现错误，指出 FooId 是类型同义词并且不能是 MultiPiece 的实例 - 如何解决此问题？

---

编辑： Daniel：嗯，实际上我不知道 FooId 到底是什么 - 它是 Yesod 魔法的一部分，到目前为止我还没有完全理解 - 它是从表定义中自动生成的 - 但它是某种数字。

因为我不知道如何使用 MultiPiece，所以我切换到更简单的解决方案并修改：

route: /foos/#Int/#Int/#String FoosReturnR GET

handler: [还添加了一些日志记录]

    module Handler.FoosReturn where

    import Import
    import Data.List.Split
    import qualified Data.Text.Lazy as TL

    selectWindowSize :: Int 
    selectWindowSize = 10000

    getFoosReturnR :: Int -> Int -> String -> Handler RepPlain
    getFoosReturnR x y withoutIds = do
        app <- getYesod
        liftIO $ logLazyText (getLogger app) ("getFoosReturnR('" `TL.append` (TL.pack $ (show x) ++ "', '" ++ (show y) ++ "', '" ++ withoutIds ++ "') "))
        foos <- runDB $ selectList [FooId /<-. (map (\a -> read a :: FooId) $ splitOn "," withoutIds), 
               FooXStart <. x + selectWindowSize,
               FooXStart >=. x - selectWindowSize, 
               FooYStart <. y + selectWindowSize,
               FooYStart >=. y - selectWindowSize] [] 
        return $ RepPlain $ toContent $ show foos

现在它正在编译，但是当我浏览到： http://localhost:3000/sectors/1/1/1,2 我得到的页面仅包含： 内部服务器错误 Prelude.read：没有解析

好吧，我不完全理解这里的 FooId 是什么 - 如何从包含数字的字符串列表创建这样的 FooId 列表？

当然，最需要的是如何使 FooId 成为 MultiPiece 实例的解决方案。

---

编辑：

Daniel 和 svachalek，感谢您的帖子 - 我尝试了您的（Daniel）解决方案，但随后我收到错误，指出需要 [FooId] （如处理程序函数声明中所示），但给出了 FooId 类型，这导致我以下解决方案：

    data FooIds = FooIds [FooId] deriving (Show, Read, Eq)

    instance MultiPiece FooIds where
        toMultiPiece (FooIds fooList) = map (Data.Text.pack . show) fooList
        fromMultiPiece texts = 
            if length (filter isNothing listOfMaybeFooId) > 0
                then Nothing
                else Just $ FooIds $ map fromJust listOfMaybeFooId
            where 
                listOfMaybeFooId = map constructMaybeFooId texts
                constructMaybeFooId :: Text -> Maybe FooId
                constructMaybeFooId x = case reads (Data.Text.unpack x) :: [(FooId,String)] of
                        [(foo,_)] -> Just foo
                        _         -> Nothing

当然，我将路线更改为： /foos/#Int/#Int/*FooIds FoosReturnR GET

并将处理程序更改为：

    getFoosReturnR :: Int -> Int -> FooIds -> Handler RepPlain
    getFoosReturnR coordX coordY (FooIds withoutIds) = do

现在我没有得到任何编译或运行时出现错误，唯一不令人满意的是我总是收到 Not Found 结果，即使我提供了应该给我一些结果的参数 - 所以现在我必须弄清楚如何确定到底发送了什么 SQL到数据库

---

编辑：

现在我看到“未找到”与问题相关，并且上述编辑不是解决方案 - 当我浏览到 localhost:3000/foos/4930000/3360000 时，我得到结果（但是 FooIds 是空的） - 但是当我添加类似以下内容时： localhost:3000/sectors/4930000/3360000/1 然后我总是得到“Not Found” - 所以它仍然不起作用..

Answer 1

希望我能提供帮助，但据我所知，yesod 与网络应用程序有关，因此我从未真正研究过它。所以我可以尝试在空中刺一下，也许我撞到了什么东西。

Hayoo 通向

class MultiPiece s where
    fromMultiPiece :: [Text] -> Maybe s
    toMultiPiece :: s -> [Text]

Yesod.Dispatch。由于 FooId 似乎有一个 Read 实例，并且可能有一个 Show 实例，您可以尝试

{-# LANGUAGE TypeSynonymInstances #-}
-- maybe also FlexibleInstances

instance MultiPiece FooId where
    toMultiPiece foo = [Text.pack $ show foo]
    fromMultiPiece texts =
        case reads (unpack $ Text.concat texts) :: [(FooId,String)] of
          [(foo,_)] -> Just foo
          _         -> Nothing

我不知道这是否接近正确的事情，我本来想把它作为评论发布的，但它太长了，而且评论中没有太多格式。如果它没有帮助，我将删除它，以免给人留下你的问题已经有答案的印象，而实际上它还没有答案。

Answer 2

问题已解决:)

您可以使用问题的最后编辑之一中的我的实现，然后浏览到如下 URL： http://localhost:3000/foos/4930000/3360000/Key {unKey = PersistInt64 3 }/Key {unKey = PersistInt64 4}
Key 类型派生 Read 但不是以非常友好（和预期）的方式:)

或者将 fromMultiPiece 的实现更改为：

    instance MultiPiece FooIds where
        toMultiPiece (FooIds fooList) = map (Data.Text.pack . show) fooList
        fromMultiPiece texts = 
            if length (filter isNothing listOfMaybeFooId) > 0
                then Nothing
                else Just $ FooIds $ map fromJust listOfMaybeFooId
            where 
                listOfMaybeFooId = map constructMaybeFooId texts
                constructMaybeFooId :: Text -> Maybe FooId
                constructMaybeFooId x = case TR.decimal x of 
                        Left err -> Nothing 
                        Right (el,_) -> Just $ Key (PersistInt64 el)

并使用类似以下的 URL： http://localhost:3000/foos/4930000/3360000/1/ 2

非常感谢 Yesod Web Framework Google Group 的 David McBride

---

编辑：上述解决方案只有一个缺点 - 使用 PersistInt64 类型 - 它不是一个使用这样的实现细节是一种很好的做法，但可以通过使用 Database.Persist 中的 fromPersistValue 和 toPersistValue 函数来修复它，如下所示

    instance MultiPiece FooIds where
        toMultiPiece (FooIds fooList) = map (persistValuetoText . unKey) fooList
            where
                persistValuetoText x = case fromPersistValue x of
                    Left _ -> Data.Text.pack "" 
                    Right val -> Data.Text.pack $ show (val::Int) 
        fromMultiPiece texts = 
            if length (filter isNothing listOfMaybeFooId) > 0
                then Nothing
                else Just $ FooIds $ map fromJust listOfMaybeFooId
            where 
                listOfMaybeFooId = map constructMaybeFooId texts
                constructMaybeFooId :: Text -> Maybe FooId
                constructMaybeFooId x = case TR.decimal x of 
                        Left _ -> Nothing 
                        Right (el,_) -> Just $ Key (toPersistValue (el :: Int))

： ，也非常感谢大卫·麦克布莱德！

Answer 3

我对 Yesod 也相当陌生，我屈服了并将 -XTypeSynonymInstances 添加到我的 .cabal 文件中的 ghc-options 中，到目前为止，它让我的生活变得更加轻松。我不确定这是否是对这个特定问题的最优雅的答案，但否则我预测您会经常遇到别名实例错误。 PS 尝试 id = (Key (PersistInt 64 n))