Proposal: Add NonEmpty constructors to the Prelude

[Simon Jakobi]

2016-12-29 13:48 GMT+01:00 Andreas Abel <andreas.abel at ifi.lmu.de>:
> What are the types and definitions of
>
>> nonEmpty, (:|), and the type constructor NonEmpty.
>
> ?

See http://hackage.haskell.org/package/base-4.9.0.0/docs/Data-List-NonEmpty.html