<div dir="ltr"><div>The exported `mkPT` is equivalent to the old 'ParsecT' data constructor from parsec 3.0.x.<br><br></div>I wouldn't mind exporting a similar alias for the new 'ParsecT' constructor from 3.1.x.<br>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Sep 6, 2013 at 2:21 PM, Petr Pudlák <span dir="ltr"><<a href="mailto:petr.mvd@gmail.com" target="_blank">petr.mvd@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dne 09/05/2013 01:38 PM, Roman Cheplyaka napsal(a):<div><div class="h5"><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
* Petr Pudlák <<a href="mailto:petr.mvd@gmail.com" target="_blank">petr.mvd@gmail.com</a>> [2013-09-05 11:18:25+0200]<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Unfortunately |ParsecT| constructor isn't exported so I'm not able to<br>
implement it outside /parsec/.<br>
</blockquote>
No, but there's an 'mkPT' function which is equivalent to the ParsecT<br>
constructor.<br>
<br>
(Although I, too, wish the ParsecT constructor were exposed.)<br>
<br>
Roman<br>
</blockquote></div></div>
Yes, I tried to use `mkPT`, but the result looked very complicated and I wasn't quite sure if it'll be working correctly in all cases. Implementing the same thing with the `ParsecT` constructor is simple and comprehensible.<br>
<br>
Best regards,<br>
Petr<br>
</blockquote></div><br></div>