Add MonoidK

csgn · Jan 2, 2025 · ccb2824 · ccb2824
1 parent 22fb756
commit ccb2824
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/core/src/main/scala/lamda/MonoidK.scala b/core/src/main/scala/lamda/MonoidK.scala
@@ -0,0 +1,20 @@
+package lamda
+
+trait MonoidK[F[_]] extends SemigroupK[F] {
+
+  /** Example:
+    * {{{
+    * scala> import lamda.MonoidK
+    * scala> import lamda.syntax.semigroupk._
+    * scala> import lamda.instances.option._
+    *
+    * scala> MonoidK[Option].empty
+    * res0: Option[Nothing] = None
+    * }}}
+    */
+  def empty[A]: F[A]
+}
+
+object MonoidK {
+  def apply[F[_]](implicit instance: MonoidK[F]): MonoidK[F] = instance
+}