Made Underlying typeclass more useful

propensive · Feb 16, 2024 · 989aab2 · 989aab2
1 parent e2ba4b2
commit 989aab2
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/opaque/opaque.scala b/src/opaque/opaque.scala
@@ -16,4 +16,8 @@
 
 package anticipation
 
-erased trait Underlying[OpaqueType, PrimitiveType <: Boolean | Byte | Char | Short | Int | Long | Float | Double]
+erased trait Underlying[OpaqueType, PrimitiveType]
+
+extension [OpaqueType](value: OpaqueType)
+  def underlying[PrimitiveType](using erased Underlying[OpaqueType, PrimitiveType]): PrimitiveType =
+    value.asInstanceOf[PrimitiveType]