Scala example source code file (tcpoly_infer_ticket1162.scala)

This example Scala source code file (tcpoly_infer_ticket1162.scala) is included in the DevDaily.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Java - Scala tags/keywords

expression, expression, lift, lift, test, test

The Scala tcpoly_infer_ticket1162.scala source code

object Test {
  trait Expression[A,B] 

  case class Lift[A,B,F[_]]() extends Expression[F[A],F[B]]
  
  def simplify[A,B]: Expression[A,B] = Lift[A,B]()
}