make SimpleShow[ImagingChannel] independent, standalone

gerlichlab · Jul 9, 2024 · 9c50476 · 9c50476
1 parent 1a900b4
commit 9c50476
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/modules/imaging/src/main/scala/instances/ImagingChannelInstances.scala b/modules/imaging/src/main/scala/instances/ImagingChannelInstances.scala
@@ -8,7 +8,5 @@ import at.ac.oeaw.imba.gerlich.gerlib.numeric.NonnegativeInt
 
 trait ImagingChannelInstances:
   import at.ac.oeaw.imba.gerlich.gerlib.numeric.instances.nonnegativeInt.given
-  given simpleShowForChannel(using
-      ev: SimpleShow[NonnegativeInt]
-  ): SimpleShow[ImagingChannel] =
-    ev.contramap(_.get)
+  given SimpleShow[ImagingChannel] =
+    summon[SimpleShow[NonnegativeInt]].contramap(_.get)