-
-
Notifications
You must be signed in to change notification settings - Fork 134
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
WIP: Scala 3 Overhaul #230
base: develop
Are you sure you want to change the base?
WIP: Scala 3 Overhaul #230
Conversation
8c59bd3
to
1ac0036
Compare
val showInt = Show.apply[Int] | ||
given showInt: Show[Int] = Show.apply[Int] | ||
``` | ||
|
||
Oops---that didn't work! | ||
The `apply` method uses *implicits* to look up individual instances, | ||
so we'll have to bring some instances into scope. | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Need to revise this,
if left as val showInt
then Show.apply
is left as a lamdba (unevaluated) and the output of mdoc didn't match the text.
If changed to given showInt
then Show.apply
uses showInt as a cyclic reference and succeeds (but warns on compilation about an infinite loop)
c98662b
to
f132e3f
Compare
built-in Kind Projector feature
690eceb
to
c14b942
Compare
As an excuse to better learn cats and scala 3 I started with an overhaul.
This is still a work in progress. (Checking by building
sbt pdf
)TODOS:
given
/using
in lieu ofimplicit val
given
in lieu ofimplicit def
extension
in lieu ofimplicit class
enum
in lieu ofsealed trait/case [class|object]
(*) Unaddressed: