search

typelevel / cats-tagless

Library of utilities for tagless final encoded algebras
https://typelevel.org/cats-tagless/
Apache License 2.0
310 stars 41 forks source link

[Scala 3] Add derivation for Contravariant and Invariant #533

Closed pomadchin closed 2 months ago

pomadchin commented 2 months ago

This PR adds derivation for Contravariant and Invariant , depends on https://github.com/typelevel/cats-tagless/pull/532

Note: https://github.com/typelevel/cats-tagless/pull/532 should be merged in first, I'll cherry-pick (it's just a single commit) / rebase it on top of main after that.

Linked https://github.com/typelevel/cats-tagless/issues/170

joroKr21 commented 2 months ago

I merged it https://github.com/typelevel/cats-tagless/pull/532

pomadchin commented 2 months ago

@joroKr21 :+1:

pomadchin commented 2 months ago

Decided to combine Contravariant and Invariant into a single PR, because they are very simple.