Fixed issue typelevel#4642

aluscent · Oct 29, 2024 · e31723b · e31723b
1 parent 024c184
commit e31723b
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 2 deletions.
diff --git a/alleycats-core/src/main/scala/alleycats/Extract.scala b/alleycats-core/src/main/scala/alleycats/Extract.scala
@@ -66,7 +66,7 @@ object Extract {
   }
   trait AllOps[F[_], A] extends Ops[F, A]
   trait ToExtractOps extends Serializable {
-    implicit def toExtractOps[F[_], A](target: F[A])(implicit tc: Extract[F]): Ops[F, A] {
+    implicit def toExtractOps[F[_] : Extract, A](target: F[A])(implicit tc: Extract[F]): Ops[F, A] {
       type TypeClassType = Extract[F]
     } =
       new Ops[F, A] {

diff --git a/alleycats-core/src/main/scala/alleycats/syntax/all.scala b/alleycats-core/src/main/scala/alleycats/syntax/all.scala
@@ -21,4 +21,4 @@
 
 package alleycats.syntax
 
-object all extends EmptySyntax with FoldableSyntax
+object all extends EmptySyntax with FoldableSyntax with ExtractSyntax
diff --git a/alleycats-core/src/main/scala/alleycats/syntax/extract.scala b/alleycats-core/src/main/scala/alleycats/syntax/extract.scala
@@ -0,0 +1,12 @@
+package alleycats
+package syntax
+
+import alleycats.Extract
+
+object extract extends ExtractSyntax
+
+trait ExtractSyntax {
+  implicit class ExtractOps[F[_], A](fa: F[A])(implicit ev: Extract[F]) {
+    def extract(): A = ev.extract(fa)
+  }
+}