These are chat archives for typelevel/scala
Typelevel Scala compiler development and discussion | Latest release TLS 4 for 2.11.11, 2.12.3 and 2.13.0-M2 | Code of conduct http://typelevel.org/conduct.html
-Ywith no arguments, it prints out all the possible flags. I can see, for example
-Yliteral-typesin there. However, I can't see anything relating to type lambdas. So I assume that has not been released (although it was merged in Oct 2014)?
type MyList[A] = List[A]I want
MyListto be a traversable functor
scala> import scalaz._, Scalaz._ import scalaz._ import Scalaz._ scala> type MyList[A] = List[A] defined type alias MyList scala> val a: MyList[Int] = List(1,2,3) a: MyList[Int] = List(1, 2, 3) scala> a.strengthR("foo") res0: MyList[(Int, String)] = List((1,foo), (2,foo), (3,foo))
val ml: MyList[Int] = List(1, 2, 3) ml.strengthR(1)
@transparent typefor an alias that‘s actually an alias like you want.