Skip to content

Instantly share code, notes, and snippets.

@mathhun

mathhun/implicit.scala

Created July 29, 2016 01:27
Show Gist options
  • Save mathhun/c97996c0c9fb5e8966ff9f834dbd2ccd to your computer and use it in GitHub Desktop.
Save mathhun/c97996c0c9fb5e8966ff9f834dbd2ccd to your computer and use it in GitHub Desktop.
Download ZIP
Raw
implicit.scala
scala> import scalaz.Reader, scalaz.syntax.applicative._
import scalaz.Reader
import scalaz.syntax.applicative._
scala> import scala.reflect.runtime.universe.{ reify, showCode }
import scala.reflect.runtime.universe.{reify, showCode}
scala> type ReaderInt[A] = Reader[Int, A]
defined type alias ReaderInt
scala> showCode(reify("hello".point[ReaderInt]).tree)
res0: String = `package`.applicative.ApplicativeIdV("hello").point[$read.ReaderInt](Kleisli.kleisliIdMonadReader)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment