haskell - 过滤器将元数据添加到 pandoc

Question

我正在尝试编写一个过滤器，向 pandoc 添加一些新的元数据。

这是我到目前为止的代码:

#!/usr/bin/runhaskell

import Data.Map
import Text.Pandoc
import Text.Pandoc.JSON
import Text.Pandoc.Walk

addName :: Meta -> Meta
addName m = Meta $ insert "Name" (MetaString "My Name") (unMeta m)

main :: IO ()
main = toJSONFilter addName

我收到以下错误:

add-meta.hs:12:8: error:
    • No instance for (Walkable Meta Pandoc)
        arising from a use of ‘toJSONFilter’
    • In the expression: toJSONFilter addName
      In an equation for ‘main’: main = toJSONFilter addName
Failed, modules loaded: none.

如何更改它以便正确构建？

Answer 1

我认为消息的扩展是编译器可以看到

addName :: Meta -> Meta

是 a -> a 的示例，因此只有可用的实例

instance Walkable a Pandoc => ToJSONFilter (a -> a)

将Meta放入a，它需要在某处找到预设的实例Walkable Meta Pandoc，但没有。

解决方案很简单:我们确实有 Walkable Pandoc Pandoc，因此我们只需进行 Pandoc -> Pandoc 转换即可。无论如何，这是 toJSONFilter 最直观的输入:

addName :: Pandoc -> Pandoc 
addName (Pandoc m ls) = Pandoc m' ls where
  m' = Meta (insert "Name" (MetaString "My Name") (unMeta m))

main :: IO ()
main = toJSONFilter addName