Haskell Esqueleto 将列子集投影到自定义记录列表

在所有的例子中我都看到了结果埃斯克莱托被投影到元组列表中或实体记录.

例如：

previousLogItems <- select $ from $ \li -> do
        orderBy [desc (li ^. LogItemId)]
        limit 10
        return (li ^. LogItemId, li ^. LogItemTitle)

esqueleto 中是否有任何方法可以将列的子集投影到自定义记录（与实体不同）而不是元组？这是在没有从元组到自定义记录的额外投影的情况下完成的。

举个例子，假设从数据库获取所有数据的效率很低，因此我们只想将数据库中的 WindowTitle 和 BeginTime 列投影到具有足够名称的自定义记录中。

Update

无效代码示例：

data Custom = Custom
  { title :: Text
  , id    :: Int
  } deriving (Eq, Show, Generic)

daily :: Servant.Handler [Custom]
daily = do
  lis <- liftIO $ runDB $
            select $ from $ \li -> do
                    orderBy [desc (li ^. LogItemId)]
                    limit 25
                    return (Custom (li ^. LogItemTitle) (li ^. LogItemId))
  return lis

Error:

• Couldn't match expected type ‘Text’
              with actual type ‘SqlExpr (Database.Esqueleto.Value Text)’
• In the first argument of ‘Custom’, namely ‘(li ^. LogItemTitle)’
  In the first argument of ‘return’, namely
    ‘(Custom (li ^. LogItemTitle) (li ^. LogItemId))’
  In a stmt of a 'do' block:
    return (Custom (li ^. LogItemTitle) (li ^. LogItemId))

Update

无效代码示例：

daily :: Servant.Handler [Custom]
daily = do
  lis <- liftIO $ runDB $
            select $ from $ \li -> do
                    orderBy [desc (li ^. LogItemId)]
                    limit 25
                    return (Custom <$> (li ^. LogItemTitle) <*> (li ^. LogItemId))
  return lis

Error:

• Couldn't match type ‘Database.Esqueleto.Value Text’ with ‘Text’
  Expected type: SqlExpr Text
    Actual type: SqlExpr (Database.Esqueleto.Value Text)
• In the second argument of ‘(<$>)’, namely ‘(li ^. LogItemTitle)’
  In the first argument of ‘(<*>)’, namely
    ‘Custom <$> (li ^. LogItemTitle)’
  In the first argument of ‘return’, namely
    ‘(Custom <$> (li ^. LogItemTitle) <*> (li ^. LogItemId))’


• Couldn't match type ‘Database.Esqueleto.Value (Key LogItem)’
                 with ‘Int’
  Expected type: SqlExpr Int
    Actual type: SqlExpr (Database.Esqueleto.Value (Key LogItem))
• In the second argument of ‘(<*>)’, namely ‘(li ^. LogItemId)’
  In the first argument of ‘return’, namely
    ‘(Custom <$> (li ^. LogItemTitle) <*> (li ^. LogItemId))’
  In a stmt of a 'do' block:
    return (Custom <$> (li ^. LogItemTitle) <*> (li ^. LogItemId))

esqueleto 在这里实际做的事情有点复杂。这是类型select:

select :: (SqlSelect a r, MonadIO m) => SqlQuery a -> SqlReadT m [r]

这需要一个SqlQuery a（一个 monad 包装了你的值return），并返回一个SqlReadT m [r]（一个包含结果列表的 monad）。当你return your Custom类型，会发生以下情况：

1. esqueleto 转换你的a持久化内部 SQL 表示形式的类型
2. 持续执行查询并返回结果列表
3. esqueleto 将结果列表从持久化的内部 SQL 表示形式转换为[r]

要使其适用于自定义类型，您需要实例化查询语句，并定义与持久类型之间的转换函数：

data Custom' = Custom' (Value Text) (Value Int)

data Custom = Custom
  { title :: Text
  , id    :: Int
  }

instance SqlSelect Custom' Custom where
  sqlSelectCols esc (Custom' a b) = (mconcat [ta, ", ", tb], va ++ vb)
    where
      (ta, va) = sqlSelectCols esc a
      (tb, vb) = sqlSelectCols esc b
  sqlSelectColCount _ = 2
  sqlSelectProcessRow [PersistText a, PersistInt64 b] = Right $ Custom a b
  sqlSelectProcessRow _ = Left "Error: Incorrect rows to translate to Custom"

（请注意，我实际上无法测试上述任何内容，因此可能存在错误）

需要注意的一点是，在上面的示例中，a and r类型不相同（Custom' vs Custom）。这是因为在一个select，您正在使用的所有值都是类型Value，而不是它们的实际类型。