alvinalexander.com | career | drupal | java | mac | mysql | perl | scala | uml | unix  

Scala example source code file (tcpoly_return_overriding.scala)

This example Scala source code file (tcpoly_return_overriding.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

generic, generic, rep, rep

The Scala tcpoly_return_overriding.scala source code

trait Generic[g[x]] {
  def unit: g[Unit]
}

trait Rep[t] {           
  def rep[m[x]](implicit gen: Generic[m]): m[t]
}

// testing that the return type is also transformed when checking overriding
// + that substitution (of types&symbols) preserves isHigherKinded when replacing a higher-kinded type with another one
object foo extends Rep[Unit] {
  def rep[g[x]](implicit gen: Generic[g]): g[Unit]= gen.unit
}

Other Scala examples (source code examples)

Here is a short list of links related to this Scala tcpoly_return_overriding.scala source code file:

... this post is sponsored by my books ...

#1 New Release!

FP Best Seller

 

new blog posts

 

Copyright 1998-2021 Alvin Alexander, alvinalexander.com
All Rights Reserved.

A percentage of advertising revenue from
pages under the /java/jwarehouse URI on this website is
paid back to open source projects.