aboutsummaryrefslogtreecommitdiff
path: root/examples/shared/src/main/scala/eq.scala
diff options
context:
space:
mode:
authorJon Pretty <jon.pretty@propensive.com>2017-11-28 22:51:39 +0000
committerJon Pretty <jon.pretty@propensive.com>2017-11-28 22:51:39 +0000
commitbf5fbc0373ffdff5bd7b269e2c0709fd92819641 (patch)
tree5c0e2d26887378af95ad868997dddb6cfdc50e3a /examples/shared/src/main/scala/eq.scala
parentd20a3824ce7719deb328ffed002288bedc398f77 (diff)
downloadmagnolia-bf5fbc0373ffdff5bd7b269e2c0709fd92819641.tar.gz
magnolia-bf5fbc0373ffdff5bd7b269e2c0709fd92819641.tar.bz2
magnolia-bf5fbc0373ffdff5bd7b269e2c0709fd92819641.zip
Support for virtualization of parameters and subtypes
Diffstat (limited to 'examples/shared/src/main/scala/eq.scala')
-rw-r--r--examples/shared/src/main/scala/eq.scala1
1 files changed, 0 insertions, 1 deletions
diff --git a/examples/shared/src/main/scala/eq.scala b/examples/shared/src/main/scala/eq.scala
index 6f00458..2b3d551 100644
--- a/examples/shared/src/main/scala/eq.scala
+++ b/examples/shared/src/main/scala/eq.scala
@@ -11,7 +11,6 @@ object Eq {
/** type constructor for the equality typeclass */
type Typeclass[T] = Eq[T]
- type ParamType[T, P] = Param[Eq, T] { type PType = P }
/** defines equality for this case class in terms of equality for all its parameters */
def combine[T](ctx: CaseClass[Eq, T, Param[Eq, T]]): Eq[T] = new Eq[T] {