Generalize IsString

Zemyla zemyla at gmail.com
Sat Jun 6 11:12:02 UTC 2020


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/622de958/attachment.html>


More information about the Libraries mailing list