Proposal: Improving the IsString String instance

[Ivan Lazar Miljenovic]

On 25 August 2013 19:48, Henning Thielemann
<schlepptop at henning-thielemann.de> wrote:
> Am 24.08.2013 19:52, schrieb Edward Kmett:
>
>
>> I would like to replace this instance with
>>
>> instance a ~ Char => IsString [a] where
>>    fromString = id
>
>
>
> Your complaint proves my concerns about those FlexibleInstances. The best
> instance is a Haskell 98 instance:
>
>
> class IsCharList a where
>    fromCharList :: [a] -> String
>
> instance IsCharList Char where
>    fromCharList = id
>
> instance IsCharList a => IsString [a] where
>    fromString = fromCharList

+1 to Henning's proposal.

>
>
> This is both the most flexible solution and it is portable.
>
> http://www.haskell.org/haskellwiki/List_instance
>
>
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries



-- 
Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com
http://IvanMiljenovic.wordpress.com