[Haskell-cafe] Template Haskell and Types

Gracjan Polak gracjan at acchsh.com
Tue Sep 13 03:16:03 EDT 2005


Tomasz Zielonka wrote:
> On Mon, Sep 12, 2005 at 12:08:14PM +0200, Gracjan Polak wrote:
> 
>>Probably very simple question about template haskell: How do I make a 
>>type for an argument to splice? Example:
>>
>>data MyData = MyData1 | MyData2
>>
>>mysplice mytype =
>>   [| litE $ stringL $ show mytype |]
>>
>>main = do
>>   putStrLn $(mysplice MyData)
> 
> 
> Cale explained how you can quote types in general. In the special case
> when you simply want the Name of a type-constructor, you can use the ''
> quoting syntax:
> 
>     putStrLn $(mysplice ''MyData)
> 

Thanks for responses. Is there any up-to-date documentation avaliable?

> Best regards
> Tomasz



More information about the Haskell-Cafe mailing list