add NonEmptyString

[safareli]

No description provided.

[garyb]

Probably want to either drop this, or export the functions in here ;)

[matthewleon]

I'm curious about your use case. Do you envision adding more convenience functions to this?

[safareli]

I wanted to add something like this:

class IsSymbolNonEmpty sym where
 safeStr :: SProxy sym -> NonEmptyString

So one could do safeStr (SProxy :: Sproxy "foo")

But to do this we need CompareSymbol s "" GT from typelevel-prelude which I guess is not desired dependency for this lib? (We might add this typeclass there).

[garyb]

I'm curious about your use case. Do you envision adding more convenience functions to this?

It feels like I want this more often than the usual String! 😄 And yeah, it needs all the good stuff too.

I'm thinking maybe a newtype would be better though, to keep the underlying string representation simple and just have it smart-constructed. Going to do some stuff on that now.

[safareli]

closing in favor of #100