diff options
author | Stewart Stewart <stewinsalot@gmail.com> | 2016-12-18 19:28:45 -0500 |
---|---|---|
committer | Stewart Stewart <stewinsalot@gmail.com> | 2016-12-18 19:28:45 -0500 |
commit | e3c4666f718797defab28dc90a9c1912f5750223 (patch) | |
tree | 8d39983698508a25c32da0b2cc3c3391c55fb0de /src | |
parent | 415c88db0447bc94ae1624f28dcc4cc9b2d4be63 (diff) | |
download | driver-core-e3c4666f718797defab28dc90a9c1912f5750223.tar.gz driver-core-e3c4666f718797defab28dc90a9c1912f5750223.tar.bz2 driver-core-e3c4666f718797defab28dc90a9c1912f5750223.zip |
remove reflexive/transitive SameId implicits
Diffstat (limited to 'src')
-rw-r--r-- | src/main/scala/xyz/driver/core/core.scala | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/src/main/scala/xyz/driver/core/core.scala b/src/main/scala/xyz/driver/core/core.scala index c88c998..d1128b6 100644 --- a/src/main/scala/xyz/driver/core/core.scala +++ b/src/main/scala/xyz/driver/core/core.scala @@ -46,17 +46,9 @@ package core { def convert(id: Id[A]): Id[B] = Id[B](id.value) } - object SameId extends LowPrioritySameIdImplicits { + object SameId { def apply[A, B] = new SameId[A, B] {} - - implicit def reflexive[A]: A ~ A = SameId[A, A] - implicit def symmetric[A, B](implicit ab: A ~ B): B ~ A = SameId[B, A] - } - - trait LowPrioritySameIdImplicits { - protected type ~[A, B] = SameId[A, B] - - implicit def transitive[A, B, C](implicit ab: A ~ B, bc: B ~ C): A ~ C = SameId[A, C] + implicit def symmetric[A, B](implicit ab: SameId[A, B]): SameId[B, A] = SameId[B, A] } implicit class InvariantIdOps[Tag](id: Id[Tag]) { |