如何在Haskell的sqlite-simple库中执行SQLite查询计划

EXPLAIN QUERY PLAN是SQLite标准查询语句，和普通SELECT查询没有本质区别，不需要找专用接口，只要匹配正确的返回行结构，用现有query/query_函数就能正常执行，编译错误来自返回类型指定错误。

报错原因 #

没有显式指定查询返回类型时，GHC会将返回值推断为[Char]（即String），query_会尝试把结果集的每一行解析为单个Char值，自然触发No instance for (FromRow Char)的编译错误。

返回结构说明 #

SQLite执行EXPLAIN QUERY PLAN固定返回4列：

• 第1列：节点ID，整数
• 第2列：父节点ID，整数，用于拼接树形层级
• 第3列：预留字段，整数，固定为0
• 第4列：查询计划详情文本，字符串，即命令行中展示的索引命中、扫描方式等核心信息

代码示例 #

sqlite-simple已经为元组实现了FromRow实例，不需要额外编写解析逻辑，直接用四元组接收结果即可：

import Database.SQLite.Simple

main :: IO ()
main = do
  conn <- open "employees.db"
  -- 显式指定返回类型为四元组列表
  planRows <- query_ conn 
    "EXPLAIN QUERY PLAN SELECT employee FROM employees WHERE manager = 'joe'"
    :: IO [(Int, Int, Int, String)]
  -- 打印所有计划详情
  mapM_ (\(_, _, _, detail) -> putStrLn detail) planRows
  close conn

运行输出和SQLite命令行返回的详情完全一致，可直接判断索引命中情况。

如果需要更简洁的类型，也可以自定义专用类型封装解析逻辑，只提取需要的详情字段：

import Database.SQLite.Simple.FromRow (field, RowParser)

newtype PlanLine = PlanLine String deriving (Show)

instance FromRow PlanLine where
  fromRow = do
    -- 跳过前三个无用的整数字段
    _ <- field :: RowParser Int
    _ <- field :: RowParser Int
    _ <- field :: RowParser Int
    PlanLine <$> field

-- 调用示例
-- plan <- query_ conn "EXPLAIN QUERY PLAN 目标查询语句" :: IO [PlanLine]

补充说明：SQLite命令行显示的树形前缀（比如`--）是客户端根据父节点ID自动拼接的渲染效果，不是查询原生返回内容。如果需要和命令行完全一致的树形展示，拿到所有行的ID、父ID后自行拼接即可；日常排查索引问题时，直接打印第四列的详情文本就足够。

内容的提问来源于stack exchange，提问作者mherzl