Skip to content

Instantly share code, notes, and snippets.

@milessabin

milessabin/coproducttest.scala

Forked from justjoheinz/coproducttest.scala
Last active September 8, 2015 14:01
Show Gist options
  • Save milessabin/31d1919b22627fec103d to your computer and use it in GitHub Desktop.
Save milessabin/31d1919b22627fec103d to your computer and use it in GitHub Desktop.
Download ZIP
Raw
coproducttest.scala
import shapeless._
import ops._
import coproduct._
object coproducttest {
type U = Int :+: String :+: CNil
type V = Double :+: List[Int] :+: CNil
val p = Prepend[U,V]
type W = p.Out
val i : Int = 1
// compiles ...
val z = Coproduct[W](i)
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment