servant-ede-0.5: Combinators for rendering EDE templates in servant web applications

Safe HaskellNone
LanguageHaskell2010

Servant.EDE.Internal.Reify

Synopsis

Documentation

class Reify symbols where Source

Helper class to reify a type-level list of strings into a value-level list of string. Used to turn the type-level list of template file names into a value-level list.

Methods

reify :: Proxy symbols -> [String] Source

Instances

Reify ([] Symbol) 
(KnownSymbol s, Reify symbols) => Reify ((:) Symbol s symbols)