[Ur] expressing non-emptiness?

[Marko Schuetz-Schmuck]

I'm puzzled over expressing non-emptiness.

Say, I want to write a function that has a non-empty string
parameter. How would one express this additional property as some form
of constraint? Just to be clear, I'm not looking at implementing a new
type of non-empty strings in parallel to the already existing strings.

Best regards,

Marko
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 180 bytes
Desc: not available
URL: <http://www.impredicative.com/pipermail/ur/attachments/20170510/452df2e4/attachment.sig>