mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-19 00:37:23 +03:00
2e671e4e5d
* 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 |
||
|---|---|---|
| .. | ||
| adjustable-clock | ||
| auth-utils | ||
| build-info | ||
| concurrent | ||
| contextualized-logging | ||
| doobie-slf4j | ||
| flyway-testing | ||
| gatling-utils | ||
| grpc-reverse-proxy | ||
| grpc-server-reflection-client | ||
| grpc-test-utils | ||
| grpc-utils | ||
| ports | ||
| postgresql-testing | ||
| resources | ||
| resources-akka | ||
| resources-grpc | ||
| scala-utils | ||
| scalatest-utils | ||
| timer-utils | ||