如何使用 Def.app 和 KList 映射任务的依赖关系

Question

这个问题与sbt 0.13 从this commit 开始的 KLists 实现有关。我想复制 this behaviour，因为 KList 实现发生了变化，它不再起作用了。

原因是目前，如果你将它们分组到一个元组中，sbt 最多只允许 11 个依赖项。我听说为什么它不允许更多的性能影响，所以我正在寻找使用元组并在其上调用 RichTaskables.map 的替代方法，并且我正在考虑使用 KLists 作为这种替代方法。

编辑：以前我想知道如何将 klist 转换为 Def.app 和 AList.klist 所期望的 KL[M[_]] 类型（前者需要后者）。然后我意识到一个 KList 实例可以通过

变成KL[M[_]] 形式的类型构造函数

• 明确编写这样一个类型构造函数，它抽象出更高的类型，M（正如 Mark Harrah 在他的回答中指出的那样），或者
• （我相信）通过直接访问有问题的 klist kl 的 kl.Transform 类型。

我尝试过使用kl.Transform，如果所有依赖项都是设置或任务，它就可以工作，但如果它们混合在一起，它就不会直接编译。

有了这些信息，我的问题仍然存在：

如何将一些 SettingKey 和 TaskKey 依赖项编写为 KList 并使用 Def.app 映射它们的值？我提到 Def.app 是因为我不知道更好、更高级的方法.

Answer 1

我已经想出了一种让它工作的方法，但我觉得它应该比这更优雅。回到我要复制的示例，具有相同行为的新代码如下所示：

lazy val yodawg = TaskKey[String]("yo-dawg", "I heard you liked settings, so I put a setting in your setting")

val kl = moduleName :^: version :^: isSnapshot :^: KNil

yodawg <<= Def.app(kl: kl.type#Transform[Def.Initialize]) {
  case a :^: b :^: c :^: KNil => task(List(a, b, c).mkString("~"))
}(AList.klist)

但是：

• 我必须显式传入AList.klist（也许可以预料，它似乎没有在任何地方定义为隐式）
• 我必须将 klist 保存在一个 val 中，并访问它的 Transform 内部类型，这实际上应该是 klist 的一个实现细节。另外，我也不得不用Def.Initialize 实例化它。

或者，我可以在方括号中提供类型，但它看起来像：

Def.app[kl.type#Transform, Task[String]](kl) { ... }
//                         ^~~~~~~~~~~~

就像我必须提供我正在定义的这个设置的内部类型一样。

Answer 2

Def.app、AList 和相关代码绝对不打算手动使用。用例是什么？

要回答这个问题，您正在寻找的类似 klist 的类型构造函数是：

type KSS[M[_]] = KCons[String, KCons[String, KNil, M], M]

与原始 KList 一样，它抽象了应用于每个元素的类型构造函数 M。特别是，它不应该已经应用于示例中的 SettingKey 之类的类型构造函数。