Structured Logging

[tpolecat]

Add exception-proof structured logging that can produce usable traces like this. Need to have sliding windows or something to prevent unbounded trace growth. This will require messing with the Kleisli interpreters or adding additional ones.

[tpolecat]

Consider the following.

trait Monitor {
  def gosub[F[_]: Monad: Capture: Catchable, A](fa: F[A])(target: Any): F[A]
  def call[F[_]: Monad: Capture: Catchable, A](fa: F[A])(method: String, args: Array[Any]): F[A]
}

and then primitive combinator

case class WithMonitor[A](fa: WoozleIO[A], m: Monitor) extends WoozleOp[A]

and syntax

prog.withMonitor(m)

This will require a second interpreter that handles monitoring, or a default no-op monitor, or an optional one. Fiddly.

[aloiscochard]

@tpolecat I'm surprised you need a Capture constrain if you already have Monad?

I suppose you don't want to capture effect using return/pure?

[tpolecat]

Right, that's the only reason Capture exists. We need a way to capture effects in any potential monad. A logger might want to know what time it is, or write to a file, etc.

[jatcwang]

LogHandler should support this already