cats.tagless
A higher-kinded Contravariant functor. Must obey the laws in cats.tagless.laws.ContravariantKLaws.
Contravariant
cats.tagless.laws.ContravariantKLaws
A higher-kinded
Contravariant
functor. Must obey the laws incats.tagless.laws.ContravariantKLaws
.