同构类型的 Cats 类型类

Question

我应该使用什么猫类型类来编码两种类型是同构的（即可以在没有影响的情况下来回转换）

我想将一个类型的分解编码为另外两个的元组： A <=> (B, C)

显然，typeclass 应该为每个转换方向公开两个函数，并为方便转换提供理想的隐式方法。 像这样的东西：（但没找到）

trait Iso[A,B] {
  def to(a: A):B
  def from(b: B): A
}

Answer 1

你在找cats.evidence.Is吗？

type A
type B

type X = Is[A, B] // A Is B

val a: A = ???
val b: B = ???
val x: A Is B = ???
val y: B Is A = ???

x.coerce(a): B
y.coerce(b): A

类似于scalaz.Leibniz。