Provide type alias for Scala 3.5-style

propensive · Jun 10, 2024 · b33fbe5 · b33fbe5
1 parent 5ee9a02
commit b33fbe5
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/core/wisteria.scala b/src/core/wisteria.scala
@@ -21,3 +21,9 @@ import scala.deriving.*
 type Reflection[DerivationType] = Mirror.Of[DerivationType]
 type ProductReflection[DerivationType <: Product] = Mirror.ProductOf[DerivationType]
 type SumReflection[DerivationType] = Mirror.SumOf[DerivationType]
+
+type Derivable[DerivationType <: { type Self }] =
+  Derivation[[SelfType] =>> DerivationType { type Self = SelfType }]
+
+type ProductDerivable[DerivationType <: { type Self }] =
+  ProductDerivation[[SelfType] =>> DerivationType { type Self = SelfType }]