An IsString (NonEmpty Char) instance

Henning Thielemann lemming at
Sun Sep 3 13:32:47 UTC 2017

On Sun, 3 Sep 2017, Tony Morris wrote:

> Why not:
> class isString1 a where fromString1 :: NonEmpty Char -> a

This would be a clean solution. GHC could reject empty string literals. 
(Though I do not know how difficult or sensible it is to extend GHC this 

More information about the Libraries mailing list