-
Notifications
You must be signed in to change notification settings - Fork 95
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
Kernelize Start\Fire #682
Kernelize Start\Fire #682
Conversation
} | ||
|
||
object Fire extends EffectComp[Fire] { | ||
final implicit def byCarrier[F[_], Fib[_]](implicit |
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.
I think it's better to note somehow that it's just for scala 2.12
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.
It's not
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.
As in #681 this carrier allows Fib
to be inferred within the macro, just like shapeless whitebox macros do the typelevel calculations we can depend on types that can be unknown if the needed module isn't in the classpath
Using basically the same approach as in #681, while parameterizing Start over Fiber into new type class Fibers