<div dir="auto">Ah, good point Zemyla. Also HtmlT, from Lucid.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Jun 6, 2020, 4:12 AM Zemyla <<a href="mailto:zemyla@gmail.com">zemyla@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">There are some things which I've seen with IsString instances which can't have toList applied to them, like parsers.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Jun 6, 2020, 01:25 chessai . <<a href="mailto:chessai1996@gmail.com" target="_blank" rel="noreferrer">chessai1996@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div>This would require desugaring string literals using `fromListN`, which would require GHC effort.</div><div dir="auto"><br></div><div dir="auto">Also, consider ByteString. Is `Item ByteString` `Word8` or `Char`?</div><div dir="auto"><br></div><div dir="auto">Additionally, I'm not convinced this coupling really buys us much. You could always define `fromString = fromList`. </div><div dir="auto"><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">On Fri, Jun 5, 2020, 11:12 PM Dannyu NDos <<a href="mailto:ndospark320@gmail.com" rel="noreferrer noreferrer" target="_blank">ndospark320@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>As we already have IsList, shouldn't we just do this?</div><div><br></div><div><div style="color:rgb(212,212,212);background-color:rgb(30,30,30);font-weight:normal;font-size:16px;line-height:22px;white-space:pre-wrap"><div><span style="color:rgb(86,156,214)">class</span><span style="color:rgb(212,212,212)"> (</span><span style="color:rgb(86,156,214)">IsList</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(156,220,254)">l</span><span style="color:rgb(212,212,212)">, </span><span style="color:rgb(86,156,214)">Item</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(156,220,254)">l</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">~</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">Char</span><span style="color:rgb(212,212,212)">) => </span><span style="color:rgb(86,156,214)">IsString</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(156,220,254)">l</span></div><br><div><span style="color:rgb(86,156,214)">instance</span><span style="color:rgb(212,212,212)"> (</span><span style="color:rgb(156,220,254)">a</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">~</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">Char</span><span style="color:rgb(212,212,212)">) => </span><span style="color:rgb(86,156,214)">IsString</span><span style="color:rgb(212,212,212)"> [</span><span style="color:rgb(156,220,254)">a</span><span style="color:rgb(212,212,212)">]</span></div><div><span style="color:rgb(86,156,214)">instance</span><span style="color:rgb(212,212,212)"> (</span><span style="color:rgb(156,220,254)">a</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">~</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">Char</span><span style="color:rgb(212,212,212)">) => </span><span style="color:rgb(86,156,214)">IsString</span><span style="color:rgb(212,212,212)"> (</span><span style="color:rgb(86,156,214)">NonEmpty</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(156,220,254)">a</span><span style="color:rgb(212,212,212)">)</span></div><div><span style="color:rgb(86,156,214)">instance</span><span style="color:rgb(212,212,212)"> (</span><span style="color:rgb(156,220,254)">a</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">~</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(86,156,214)">Char</span><span style="color:rgb(212,212,212)">) => </span><span style="color:rgb(86,156,214)">IsString</span><span style="color:rgb(212,212,212)"> (</span><span style="color:rgb(86,156,214)">ZipList</span><span style="color:rgb(212,212,212)"> </span><span style="color:rgb(156,220,254)">a</span><span style="color:rgb(212,212,212)">)</span></div></div></div></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" rel="noreferrer noreferrer noreferrer" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div></div></div>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" rel="noreferrer noreferrer" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>
</blockquote></div>