28 Dec
2016
28 Dec
'16
10:22 p.m.
2016-12-28 20:39 GMT+01:00 Yitzchak Gale
I propose adding the basic constructors of NonEmpty to the Prelude: nonEmpty, (:|), and the type constructor NonEmpty.
+1 I'd still like to point out that all three names are exposed by several other packages, mostly with different types: * nonEmpty: https://www.stackage.org/lts-7.14/hoogle?q=nonEmpty&exact=on * (:|): https://www.stackage.org/lts-7.14/hoogle?q=%3A%7C&exact=on * NonEmpty: https://www.stackage.org/lts-7.14/hoogle?q=NonEmpty&exact=on