Как визуализировать шаблон с склеиванием?

Question

Я пытаюсь использовать renderWithSplices - http://hackage.haskell.org/package/snap-1.0.0.0/docs/Snap-Snaplet-Heist.html#v:renderWithSplices

Что такое идиоматический способ, чтобы получить значение типа Splices s (для второго параметра renderWithSplices)?

Answer 1

heist tutorial имеет пару примеров определения типа Splices.

Если нажать на ссылку Splices в пикши вы связаны выше, мы видим, что Splices определяется следующим образом:

type Splices s = MapSyntax Text s 

Если затем нажать на ссылку MapSyntax, вы принимаете на docs для пакета map-syntax. Это небольшой пакет, определяющий более удобный синтаксис для создания карт. Там пример в верхней части, но общая картина выглядит следующим образом:

mySplices = do 
    k1 ## v1 
    k2 ## v2 

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

someFunc = do 
    ... 
    renderWithSplices "my-template" mySplices 
    ... 

mySplices = do 
    "foo" ## I.textSplice "bar" 

Если у вас есть достаточно недавнее GHC (я думаю, что 7.8 или выше), то подчеркивание на этой последней строке будет создать тип отверстия и вызвать компилятор, чтобы сказать вам, что тип вещи в том, что местоположение должно быть. Тогда вы можете написать соответствующую вещь этого типа, и должно быть более очевидно, что делать дальше.