diff --git a/util/collection/Types.scala b/util/collection/Types.scala index abd9ee06b..42b81f990 100644 --- a/util/collection/Types.scala +++ b/util/collection/Types.scala @@ -3,13 +3,16 @@ */ package sbt -object Types extends TypeFunctions +object Types extends Types { - val :^: = KCons - val :+: = HCons - type :+:[H, T <: HList] = HCons[H,T] - implicit def hconsToK[M[_], H, T <: HList](h: M[H] :+: T)(implicit mt: T => KList[M, T]): KList[M, H :+: T] = KCons[H, T, M](h.head, mt(h.tail) ) implicit def hnilToK(hnil: HNil): KNil = KNil } + +trait Types extends TypeFunctions +{ + val :^: = KCons + val :+: = HCons + type :+:[H, T <: HList] = HCons[H,T] +}