Fixed issue typelevel#4642

aluscent · Oct 29, 2024 · 80527cf · 80527cf
1 parent 769bf21
commit 80527cf
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
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)
+  }
+}