<div class="gmail_quote">On Wed, Sep 8, 2010 at 2:56 AM, Duncan Coutts <span dir="ltr">&lt;<a href="mailto:duncan.coutts@googlemail.com">duncan.coutts@googlemail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">&gt; I&#39;m afraid not. The TextEncoding type ties encoding and decoding together,</div><div class="im">
&gt; when in pure code you need just one or the other.</div></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im"><br>
</div>I have to say I don&#39;t understand this.</blockquote><div><br></div><div>I think I might have been paying insufficiently close attention when I wrote that. I recalled the type specifying both an encoder and a decoder (which it does), and erroneously extended that in my memory to the smart constructor requiring a specification of each (which it doesn&#39;t).</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Are you saying there are encodings where</blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">

it only makes sense to implement one direction?</blockquote><div><br></div><div>No, the point I thought I was trying to make was that what you need out of an encoding is almost always asymmetric. In network apps, for instance, I need only decoders in one location in my code, and encoders either somewhere else entirely or not at all. But that&#39;s moot.</div>
<div><br></div><div>But regardless, TextEncoding as it stands isn&#39;t quite up to snuff, and I don&#39;t want to redo that.</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
and internally redefine:</blockquote><div><br></div><div>Right.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">decodeUtf8 = decode utf8  -- or is it utf8_bom ?</blockquote>
<div><br></div><div>I don&#39;t think Data.Text supports that particular encoding.</div></div>