luke
/
sbt
mirror of https://github.com/sbt/sbt.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

MList covariant, initial Node

This commit is contained in:
Mark Harrah 2010-05-30 21:14:18 -04:00
parent 7927d8bdad
commit 86c938d198
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
util/collection/TypeFunctions.scala
View File

@ -4,6 +4,7 @@ trait TypeFunctions
{ {
type Id[X] = X type Id[X] = X
trait Const[A] { type Apply[B] = A } trait Const[A] { type Apply[B] = A }
trait P1of2[M[_,_], A] { type Apply[B] = M[A,B] }
trait Down[M[_]] { type Apply[B] = Id[M[B]] } trait Down[M[_]] { type Apply[B] = Id[M[B]] }
trait ~>[A[_], B[_]] trait ~>[A[_], B[_]]