Shapeless是否有内置类型类实现类似分配律的类型转换？

你提到的这个操作确实对应数学里的分配律——把两个和类型（:+:）的组合展开成所有元素对的和类型，本质是两个和类型的笛卡尔积。Shapeless里有现成的内置类型类可以实现这个需求：

• 核心可以用shapeless.ops.coproduct.Cartesian类型类，它专门负责计算两个Coproduct类型的笛卡尔积，输出就是你想要的所有元素对组成的Coproduct。

举个具体的代码示例：

import shapeless._
import shapeless.ops.coproduct.Cartesian

// 先定义示例中的类型
trait A; trait B; trait C; trait Foo; trait Bar

// 拆分原HList里的两个Coproduct
type FirstCoprod = A :+: B :+: C :+: CNil
type SecondCoprod = Foo :+: Bar :+: CNil

// 用Cartesian推导目标类型
type Out = Cartesian[FirstCoprod, SecondCoprod]#Out
// 此时Out的类型就是：(A, Foo) :+: (A, Bar) :+: (B, Foo) :+: (B, Bar) :+: (C, Foo) :+: (C, Bar) :+: CNil

如果你的输入是HList形式（比如MyHList），可以先通过shapeless.ops.hlist.Selector提取出其中的两个Coproduct元素，再应用Cartesian类型类完成推导。

另外，也可以用shapeless.ops.coproduct.FlatMap来实现类似效果：遍历第一个Coproduct的每个元素，将其与第二个Coproduct的每个元素组合成乘积类型，最后展平为一个大的Coproduct，这本质就是分配律的类型级实现。

内容的提问来源于stack exchange，提问作者eitaporra