mirror of https://github.com/sbt/sbt.git
- exchange variance annotations on KList for a bounded existential in KList.toList - add foldr (reason for dropping variance annotations) - add functions stating equivalence between + KList[M,H :+: T] and KCons[H,T,M] + KList[M,HNil] and KNil |
||
|---|---|---|
| .. | ||
| src/test/scala | ||
| Attributes.scala | ||
| Dag.scala | ||
| HList.scala | ||
| IDSet.scala | ||
| KList.scala | ||
| NOTICE | ||
| PMap.scala | ||
| Param.scala | ||
| Relation.scala | ||
| Settings.scala | ||
| TypeFunctions.scala | ||
| Types.scala | ||
| Util.scala | ||