Proposal: Improving the IsString String instance

[Edward Kmett]

What i mean is that, there are a few users like Oren who have written
instances like

instance IsString [String] for parsing dotted quads or what have you.

those would be the kinds of thing that would become o :: String ->
[String], the stuff that couldn't be implemented without overlapping the a
~ Char => IsString [a] instance.

That said, I think Ganesh's proposal should work, so its moot.

-Edward


On Mon, Aug 26, 2013 at 5:18 PM, Ian Lynagh <igloo at earth.li> wrote:

> On Mon, Aug 26, 2013 at 04:41:43PM -0400, Edward Kmett wrote:
> > The argument in favor of using some 'o' combinator works even better on
> my
> > side of the debate. ;)
> >
> > I can coopt the suggestion of 'o' to say that you can use it for the few
> > instances of IsString [Foo] that you want
>
> But under your proposal (assuming you mean the original proposal), there
> wouldn't be an IsString [Foo] instance, would there? So o = fromString
> wouldn't work for [Foo]?
>
>
> Thanks
> Ian
>
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20130826/1c6f19d2/attachment.htm>