discipline
discipline copied to clipboard
typelevel
Flexible law checking for Scala
Another one from Michael: `checkAll(monadTests ++ alternativeTest)` This is useful if checking laws for typeclasses belong to the same hiearchy e.g. `Monad` and `Alternative`. Running tests for them separately causes...
An idea from Michael: `.filter(_.id != "...")` This would make it easy to skip tests in certain situations e.g. https://github.com/typelevel/cats/issues/4263
When a rule set duplicates ids from a parent ruleset, the rule set's properties are silently dropped in favor of the parent's. This happened twice in Cats (https://github.com/typelevel/cats/pull/3493), both times...
As a working example, discipline could provide an "AnyRefLaws" implementation that checks the behavior of the default `equals` and `hashCode` methods. In particular, the implementation could work from: - a...
Discipline is awesome. It's documentation is not. Opening an issue which may or may not be started at hack the tower day to update the documentation so there's a quickstart...
## About this PR 📦 Updates * [org.scala-lang:scala3-library](https://github.com/lampepfl/dotty) * [org.scala-lang:scala3-library_sjs1](https://github.com/lampepfl/dotty) from `3.2.1` to `3.3.3` 📜 [GitHub Release Notes](https://github.com/lampepfl/dotty/releases/tag/3.3.3) - [Version Diff](https://github.com/lampepfl/dotty/compare/3.2.1...3.3.3) - [Version Diff](https://github.com/lampepfl/dotty/compare/release-3.2.1...release-3.3.3) ## Usage ✅ **Please merge!** I'll...
![typelevel-steward[bot] avatar](https://avatars.githubusercontent.com/u/3731824?v=4 "typelevel-steward[bot] avatar"){kind=avatar}
## About this PR 📦 Updates [org.scala-lang:scala-library](https://github.com/scala/scala) from `2.13.10` to `2.13.13` 📜 [GitHub Release Notes](https://github.com/scala/scala/releases/tag/v2.13.13) - [Version Diff](https://github.com/scala/scala/compare/v2.13.10...v2.13.13) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...
## About this PR 📦 Updates [org.scala-lang:scala-library](https://github.com/scala/scala) from `2.12.17` to `2.12.19` 📜 [GitHub Release Notes](https://github.com/scala/scala/releases/tag/v2.12.19) - [Version Diff](https://github.com/scala/scala/compare/v2.12.17...v2.12.19) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...
## About this PR 📦 Updates [org.typelevel:sbt-typelevel](https://github.com/typelevel/sbt-typelevel) from `0.4.19` to `0.6.7` 📜 [GitHub Release Notes](https://github.com/typelevel/sbt-typelevel/releases/tag/v0.6.7) - [Version Diff](https://github.com/typelevel/sbt-typelevel/compare/v0.4.19...v0.6.7) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...
## About this PR 📦 Updates [org.scala-sbt:sbt](https://github.com/sbt/sbt) from `1.8.3` to `1.9.9` 📜 [GitHub Release Notes](https://github.com/sbt/sbt/releases/tag/v1.9.9) - [Version Diff](https://github.com/sbt/sbt/compare/v1.8.3...v1.9.9) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...