mail archive Discussion about Template Haskell
template-haskell.haskell.org
(List home) (Recent threads) (40 other Haskell lists)
Subscription Options
- RSS or Atom: Read-only subscription using a browser or aggregator. This is the recommended way if you don't need to send messages to the list. You can learn more about feed syndication and clients here.
- Conventional: All messages are delivered to your mail address, and you can reply. To subscribe, send an email to the list's subscribe address with "subscribe" in the subject line, or visit the list's homepage here.
- Low traffic list: less than 3 messages per day
- This list contains about 753 messages, beginning Jan 2003
- 0 messages added yesterday
Discussion about Template Haskell
Recent threads
Edson — 136983696229 May 2013
Lista aprovados Branquinha: Querência: AMANDA AZEVEDO DE CASTRO FROTA ARAGAO, LEONARDO ARAUJO DE SOUSA, FRANCISCA NAGIELE SILVA, PABLO RICHEL SOARES ...
ASE2013 — 136206607228 Feb 2013
CALL FOR PAPERS 28th IEEE/ACM International Conference on Automated Software Engineering ASE 2013 http://ase2013.org November 11th - 15th 2013, Silico...
Jeremy Shaw — 131542504007 Sep 2011
Hello, I have some code that likes like this, which works in template-haskell 2.5 / GHC 7.0.3: --- {-# Language TemplateHaskell, TypeFamilies #-} modu...
Leonel Fonseca — 127307293905 May 2010*
Hi everybody, Is it reasonable to add "deriving Typeable" to newtype Q? In case you wonder why I want to do that, it is because I've con...
Querying the instances a data type implements (3 Replies)
jonathanGfischoff — 126393693119 Jan 2010*
Hi, I am trying query the instances that a data type implements. Calling reify on the data type doesn't appear to return anything relating to typ...
Lars Kotthoff — 125951194629 Nov 2009
Hi list, I'm trying to generate function implementations given a list of patters to match the function argument. For example, given data Foo = Fo...
Generating arithmetic expressions in TH (1 Reply)
Vitor Rodrigues — 125617071222 Oct 2009*
Hello, I am starting using TH to generate lambda expressions representing arithmetic expressions. My current problem is to generate code where all the...
Oscar Finnsson — 125569947416 Oct 2009*
Hi, I'm trying to extract the names and types of exported functions in a module. At the moment I've managed to get a list of all functions in ...
Andy Stewart — 125238474708 Sep 2009
Hi all, I have below instances: instance PageViewState DiredViewState where instance PageViewState StringViewState where I can use Language.Haskell.Ex...
Robin Green — 124577902223 Jun 2009
This announcement will only be of interest to Haskell programmers using, or thinking of using, Template Haskell. I am very pleased to announce a new r...
Manuel M T Chakravarty — 123804832926 Mar 2009
I added some new language features to Template Haskell in the HEAD repository: * type families, including associated types, * kind annotations, * INLI...
generation of type signatures for Accessors (4 Replies)
brian — 123799802125 Mar 2009*
Hey, I'm trying to modify data-accessor-template 'deriveAccessors' to generate type signatures so -Wall doesn't complain.should genera...
Nicolas Frisby — 123237166019 Jan 2009
I've not found any previous discussions of this effort. I am unaware of any identified obstacles. Here's my idea so far. Disclaimer: this is m...
hellfeuer — 123194074614 Jan 2009
I'd like to use TH to find what classes a type is an instance of, or alternatively all known instances of a class. As far as I can tell this is no...
Olivier Pernet — 123006397323 Dec 2008
Hi all, I'm trying to generate some function declarations using TH. It seems that there is no way to use splicing inside [d| ... |] quot...
template-haskell error (1 Reply)
Belka — 122991636722 Dec 2008*
Hello! Please, help! I'm a newby to Haskell. While trying to compile HAppS package, I got an error. Should I report it anywhere? I'm going to ...
QuasiQuoting for declarations (3 Replies)
Andrea Vezzosi — 122828640303 Dec 2008*
Currently quasiquoting is limited to patterns and expressions, are there any problems in extending it to declarations? we already have [d| ... ...
Sean Leather — 122398144914 Oct 2008
Apparently, I can create a function declaration (FunD) with a string containing an invalid sequence of characters. It passes typechecking and compiles...
Examples? (5 Replies)
Magnus Therning — 122197568821 Sep 2008*
I've just started looking into TH to remove some of the tedious work of writing access functions for a few datatypes. However I've found preci...
Marc Weber — 122045692903 Sep 2008*
Is there a way to write something like this? -- packages: template-haskell -- ghc-options: -fth module Main where import Language.Haskell.TH import Co...