diff options
author | Miles Sabin <miles@milessabin.com> | 2016-05-20 12:49:25 +0100 |
---|---|---|
committer | Miles Sabin <miles@milessabin.com> | 2016-05-24 08:46:40 +0100 |
commit | 892a6d6878accb67e3fe68aefaa256396db05a90 (patch) | |
tree | 89024c06147fddf825904bc5891e1ee2cbf4c2d1 /test/files/pos/t2712-5.scala | |
parent | 207e32df30fd733e4dd1cb28fb8cb5c3153c21a6 (diff) | |
download | scala-892a6d6878accb67e3fe68aefaa256396db05a90.tar.gz scala-892a6d6878accb67e3fe68aefaa256396db05a90.tar.bz2 scala-892a6d6878accb67e3fe68aefaa256396db05a90.zip |
SI-2712 Add support for higher order unification
Diffstat (limited to 'test/files/pos/t2712-5.scala')
-rw-r--r-- | test/files/pos/t2712-5.scala | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/test/files/pos/t2712-5.scala b/test/files/pos/t2712-5.scala new file mode 100644 index 0000000000..ed96d4c06f --- /dev/null +++ b/test/files/pos/t2712-5.scala @@ -0,0 +1,29 @@ +package test + +import scala.language.higherKinds + +trait Functor[F[_]] { + def map[A, B](f: A => B, fa: F[A]): F[B] +} + +object Functor { + implicit def function[A]: Functor[({ type l[B] = A => B })#l] = + new Functor[({ type l[B] = A => B })#l] { + def map[C, B](cb: C => B, ac: A => C): A => B = cb compose ac + } +} + +object FunctorSyntax { + implicit class FunctorOps[F[_], A](fa: F[A])(implicit F: Functor[F]) { + def map[B](f: A => B): F[B] = F.map(f, fa) + } +} + +object Test { + + val f: Int => String = _.toString + + import FunctorSyntax._ + + f.map((s: String) => s.reverse) +} |