Generalize IsString

[chessai .]

Ah, good point Zemyla. Also HtmlT, from Lucid.

On Sat, Jun 6, 2020, 4:12 AM Zemyla <zemyla at gmail.com> wrote:

> There are some things which I've seen with IsString instances which can't
> have toList applied to them, like parsers.
>
> On Sat, Jun 6, 2020, 01:25 chessai . <chessai1996 at gmail.com> wrote:
>
>> This would require desugaring string literals using `fromListN`, which
>> would require GHC effort.
>>
>> Also, consider ByteString. Is `Item ByteString` `Word8` or `Char`?
>>
>> Additionally, I'm not convinced this coupling really buys us much. You
>> could always define `fromString = fromList`.
>>
>> On Fri, Jun 5, 2020, 11:12 PM Dannyu NDos <ndospark320 at gmail.com> wrote:
>>
>>> As we already have IsList, shouldn't we just do this?
>>>
>>> class (IsList l, Item l ~ Char) => IsString l
>>>
>>> instance (a ~ Char) => IsString [a]
>>> instance (a ~ Char) => IsString (NonEmpty a)
>>> instance (a ~ Char) => IsString (ZipList a)
>>> _______________________________________________
>>> Libraries mailing list
>>> Libraries at haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>>
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200606/94465761/attachment.html>