Stephen Compall 2e671e4e5d non-empty newtypes (#8516) ... * non-empty newtypes * an operation * add some map/set operations and make everything compile on 2.12 and 2.13 * +-: and :-+, with compatibility layer; docs * move to nonempty package; add aliases for cons/snoc; fix SeqOps aliases * ensure 2.12 aliases are inferrable * groupBy1 and toList, use to prove uniqueSets's invariants * prove immutability first * matching variance in aliases * prove the return property of uniqueSets, and use the proof * tests for NonEmpty API * rename sci alias to imm * move RefinedOps to more obvious location * more docs CHANGELOG_BEGIN CHANGELOG_END * remove unused imports * illustrate the scala.collection.Seq problem * ideas for extension * tests for toF * tests for +-: * explain difference with OneAnd		2021-02-22 08:54:26 -05:00
..
src	non-empty newtypes (#8516)	2021-02-22 08:54:26 -05:00
BUILD.bazel	non-empty newtypes (#8516)	2021-02-22 08:54:26 -05:00