28 Mar
2010
28 Mar
'10
2:43 p.m.
On Sun, Mar 28, 2010 at 06:03:04PM +0100, Stephen Tetley wrote:
It looks like Attoparsec doesn't supply a transformer instance so that obliges you to make CBC a transformer instead
I should note that in general monad transoformers do not commute. That is, ParserT CBC a and CbcT Parser a may not mean the same thing. For example, suppose you get a parse failure and you need to backtrack. Do you want to maintain the same CBC state, or do you want to backtrack the CBC state as well? I'd guess the latter, so probably having a CbcT won't help you, I think. -- Felipe.