From 66c3d62ebb08eb0054ade9b98dc7a477976117b7 Mon Sep 17 00:00:00 2001 From: Eric Torreborre Date: Wed, 14 Jun 2017 17:20:42 +0200 Subject: added an example --- examples/kindprojector-example/Main.scala | 10 ++++++++++ examples/kindprojector-example/build/build.scala | 11 +++++++++++ 2 files changed, 21 insertions(+) create mode 100644 examples/kindprojector-example/Main.scala create mode 100644 examples/kindprojector-example/build/build.scala (limited to 'examples') diff --git a/examples/kindprojector-example/Main.scala b/examples/kindprojector-example/Main.scala new file mode 100644 index 0000000..3da3aaf --- /dev/null +++ b/examples/kindprojector-example/Main.scala @@ -0,0 +1,10 @@ +package kindprojector_example + +object Main { + + def parametric[F[_]]: Unit = () + + def main(args: Array[String]): Unit = { + parametric[Either[String, ?]] + } +} diff --git a/examples/kindprojector-example/build/build.scala b/examples/kindprojector-example/build/build.scala new file mode 100644 index 0000000..e5ad8b4 --- /dev/null +++ b/examples/kindprojector-example/build/build.scala @@ -0,0 +1,11 @@ +package kindprojector_example_build + +import cbt._ + +class Build(val context: Context) extends BaseBuild with KindProjectorPlugin { + + override def scalacOptions: Seq[String] = + super.scalacOptions ++ + Seq("-language:higherKinds") + +} -- cgit v1.2.3