Remove Level from dependent-type-hood in Api objects; preliminary zio ZApi implementation.

Author: swaldman

build.mill

@@ -68,6 +68,21 @@ object `package` extends RootModule with ScalaModule with PublishModule {
     }
   }
 
+  object zio extends ScalaModule with PublishModule {
+    override def scalaVersion   = Common.scalaVersion
+    override def artifactName   = T { "logadapter-scala-zio" }
+    override def publishVersion = T { Common.publishVersion }
+    override def pomSettings    = T { Common.pomSettings("LogAdapter for scribe logging.") }
+    override def scalacOptions  = T { Common.scalacOptions }
+
+    def moduleDeps = Seq(build)
+    override def ivyDeps = T {
+      Agg(
+        ivy"dev.zio::zio:2.1.18",
+      )
+    }
+  }
+
   object test extends ScalaModule {
     def moduleDeps = Seq(build,mlog,scribe)
     override def scalaVersion   = Common.scalaVersion

src/logadapter/Api.scala

@@ -4,19 +4,9 @@ trait Api[T <: LogAdapter]:
 
   type LogAdapter = T
 
-  enum Level:
-    case CONFIG  extends Level
-    case DEBUG   extends Level
-    case FINE    extends Level
-    case FINER   extends Level
-    case FINEST  extends Level
-    case INFO    extends Level
-    case SEVERE  extends Level
-    case TRACE   extends Level
-    case WARNING extends Level
-
+  extension ( level : Level )
     inline def log( message : =>String )( using la : T ) : Unit =
-      inline this match
+      inline level match
         case CONFIG  => la.config(message)
         case DEBUG   => la.debug(message)
         case FINE    => la.fine(message)
@@ -29,7 +19,7 @@ trait Api[T <: LogAdapter]:
     end log
 
     inline def log( message : =>String, t : =>Throwable )( using la : T ) : Unit =
-      inline this match
+      inline level match
         case CONFIG  => la.config(message, t)
         case DEBUG   => la.debug(message, t)
         case FINE    => la.fine(message, t)
@@ -60,7 +50,7 @@ trait Api[T <: LogAdapter]:
     end logEval
 
     inline def apply[X]( expression : =>X )( using la : T ) : X = logEval( expression )
-  end Level
+  end extension
 
   export Level.*
 

src/logadapter/Level.scala

@@ -0,0 +1,13 @@
+package logadapter
+
+enum Level:
+  case CONFIG  extends Level
+  case DEBUG   extends Level
+  case FINE    extends Level
+  case FINER   extends Level
+  case FINEST  extends Level
+  case INFO    extends Level
+  case SEVERE  extends Level
+  case TRACE   extends Level
+  case WARNING extends Level
+end Level

zio/src/logadapter/zio/ZApi.scala

@@ -0,0 +1,28 @@
+package logadapter.zio
+
+import zio.{UIO,ZIO}
+
+class ZApi[T <: logadapter.LogAdapter]( api : logadapter.Api[T] ):
+  import api.*
+  export api.*
+  extension ( level : logadapter.Level )
+    inline def zlog( message : =>String )( using la : T ) : UIO[Unit]                    = ZIO.succeed( level.log( message ) )
+    inline def zlog( message : =>String, error : Throwable )( using la : T ) : UIO[Unit] = ZIO.succeed( level.log( message, error ) )
+
+  extension[R,E,A] ( effect : ZIO[R,E,A] )( using la : T )
+    inline def zlogError( level : logadapter.Level, what : => String = "Effect" ) : ZIO[R,E,A] =
+      effect
+        .tapError { e =>
+          e match
+            case t : Throwable => level.zlog(s"${what} failed within error channel, on Throwable.", t)
+            case other         => level.zlog(s"${what} failed within error channel. Failure: " + other)
+        }
+    inline def zlogDefect( level : logadapter.Level, what : => String = "Effect" ) : ZIO[R,E,A] =
+      effect
+        .tapDefect { cause =>
+          level.zlog(s"${what} failed outside of error channel with cause: " + cause)
+        }
+    inline def zlogErrorDefect( level : logadapter.Level, what : => String = "Effect" ) : ZIO[R,E,A] =
+      effect
+        .zlogError( level, what )
+        .zlogDefect( level, what )