armanbilge on main
Update scalafmt-core to 3.5.2 Merge pull request #336 from sc… (compare)
vasilmkd on v1.5.1
vasilmkd on main
Update scala3-library, ... to 3… Regenerate workflow with sbt-gi… Merge pull request #335 from sc… (compare)
vasilmkd on main
Update sbt-typelevel to 0.4.9 Merge pull request #334 from sc… (compare)
vasilmkd on main
Update the readme for the lates… Update Scala.js binary version Merge pull request #331 from va… (compare)
Discipline
, if you've picked a scalatest style, that define checkAll
. You might want one of those.
Discipline
but now it extends FunSuiteDiscipline
0.1.0
. Please let me know if you want me to add a PR mentioning it in discipline's README.
When you transfer a repository that you own to another user account, the new owner will receive a confirmation email. The confirmation email includes instructions for accepting the transfer. If the new owner doesn't accept the transfer within one day, the invitation will expire.
The original owner of the repository is added as a collaborator on the transferred repository. Other collaborators to the transferred repository remain intact.
org.typelevel.discipline.munit
anymore, but just munit
?
jawn
comes to mind.
You don’t have the permission to create public repositories on typelevel
To transfer a repository that you own to an organization, you must have permission to create a repository in the target organization.
I have a question concerning one of the laws's tests in cats.kernel.laws. I already tried in typelevel/cats, without response, but it seems this channel here may be the better place. In EqLaws it says
def antiSymmetryEq(x: A, y: A, f: A => A): IsEq[Boolean] =
(!E.eqv(x, y) || E.eqv(f(x), f(y))) <-> true
What is the purpose of the function f? Does it not just complicate things? Can I simply set this to identity? I searched for various definitions of antisymmetry, but could not find an additional function in any of them. If you have a hint where I can read about it, I'd welcome a tip.