implicits.scala

import org.specs2.mutable._

class ImplicitiSpec extends Specification {
  type Store=Map[String,String]

  object Value {
    def apply(k:String)(implicit map:Store):String={
      println(s"reads value for ${k}")
      map.get(k).getOrElse("")
    }
  }
  trait A {
    lazy val a:String= ???  // Value("a") ...
  }

  object B extends A

  "An Implicit" should {
    "be propagated " in{
      // If I knew how to code properly this would compile and work
      implicit val m=Map("a"->"aa")
      B.a === "aa"      
    }
  }
}

@un-jon you would convert lazy val into ìmplicit def`?

@jeantil I don't know why it sounds like the Reader monad?...

I don't get it :( I'll submit it to the psug