search

lampepfl / monadic-reflection

106 stars 8 forks source link

Enable discussions? Or how does CanReflect[IO] get provided? #3

Open er1c opened 2 years ago

er1c commented 2 years ago

How does this https://github.com/lampepfl/monadic-reflection/blob/main/cats/src/main/scala/monadic/cats/package.scala#L9 provide evidence of CanReflect[IO]?

b-studios commented 2 years ago

I enabled discussions and we could also move it over there. It inherits from Monadic, which implements reify:

https://github.com/lampepfl/monadic-reflection/blob/main/core/src/main/scala/monadic/Monadic.scala#L31

reify itself generically instantiates CanReflect:

https://github.com/lampepfl/monadic-reflection/blob/main/core/src/main/scala/monadic/Monadic.scala#L39