mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 09:17:43 +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 |