Scala example source code file (t3177.scala)

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

a, a, b, b, endo, endo, endofrom, endoinvariantfunctor, endoto, f, invariantfunctor, invariantfunctor

The Scala t3177.scala source code

trait InvariantFunctor[F[_]] {
  def xmap[A, B](ma: F[A], f: A => B, g: B => A): F[B]
}
 
object InvariantFunctor {
  import Endo._
  
  implicit val EndoInvariantFunctor = new InvariantFunctor[Endo] {
    def xmap[A, B](ma: Endo[A], f: A => B, g: B => A): Endo[B] = (b: B) => f(ma(g(b)))    
  }
  
  // The definition about fails with:
  // anon-type.scala:9: error: not found: value b
  //       def xmap[A, B](ma: Endo[A], f: A => B, g: B => A): Endo[B] = (b: B) => f(ma(g(b)))    
  //                                                                                     ^
  //   anon-type.scala:8: error: not found: type $anon
  //     implicit val EndoInvariantFunctor = new InvariantFunctor[Endo] {
  //                                         ^


  // These both work:
  // implicit val EndoInvariantFunctorAscribed: InvariantFunctor[Endo] = new InvariantFunctor[Endo] {
  //   def xmap[A, B](ma: Endo[A], f: A => B, g: B => A): Endo[B] = (b: B) => f(ma(g(b)))    
  // }
  // 
  // implicit val EndoInvariantFunctorStubbed = new InvariantFunctor[Endo] {
  //   def xmap[A, B](ma: Endo[A], f: A => B, g: B => A): Endo[B] = error("stub")
  // }
}

trait Endo[X]

object Endo {
  implicit def EndoTo[A](f: A => A): Endo[A] = new Endo[A] {
    def apply(a: A) = f(a)
  }

  implicit def EndoFrom[A](e: Endo[A]): A => A = e.apply(_)
}