diff options
author | Jon Pretty <jon.pretty@propensive.com> | 2017-11-28 22:51:39 +0000 |
---|---|---|
committer | Jon Pretty <jon.pretty@propensive.com> | 2017-11-28 22:51:39 +0000 |
commit | bf5fbc0373ffdff5bd7b269e2c0709fd92819641 (patch) | |
tree | 5c0e2d26887378af95ad868997dddb6cfdc50e3a /examples/shared/src/main/scala/eq.scala | |
parent | d20a3824ce7719deb328ffed002288bedc398f77 (diff) | |
download | magnolia-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.scala | 1 |
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] { |