search

typelevel / cats-mtl

cats transformer type classes.
https://typelevel.org/cats-mtl/
Other
308 stars 61 forks source link

Inductive instances over ContT #227

Open djspiewak opened 4 years ago

djspiewak commented 4 years ago

All of the instances should induct over ContT nicely.

Pask423 commented 4 years ago

If this issue is still open and can be good for someone new I will be happy to take it. If not please let me know - i'll try to find other issue to solve :)

djspiewak commented 4 years ago

@Pask423 Go for it! :-D To be clear, ContT is a pretty gnarly monad, so that's the challenging aspect. But it's also interesting!

Pask423 commented 4 years ago

Thanks. I will do my best.

pchpsky commented 4 years ago

there is no activity for a long time and I'd like to work on this issue but I need some help with it. can someone give me a brief explanation what is should be done? I can't understand what 'induct over ContT' means