Фильтр для добавления метаданных в 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

Я думаю, что expanation из сообщений является то, что компилятор может видеть, что

addName :: Meta -> Meta 

является примером a -> a и доступен только экземпляр таким образом

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

Ввод Meta для a, это нужно найти предположительно instance 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