LogIO3AskStrict

logstage.strict.LogIO3AskStrict$

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

class LogIO3AskStrictImpl[F[_, _, _]](get: Has[LogIO3Strict[F]] => LogIO3Strict[F])(implicit F: MonadAsk3[F]) extends LogIO3AskStrict[F]

Attributes

Graph
Supertypes
trait LogIOStrict[[_] =>> F[Has[LogIO3Strict[F]], Nothing, _$11]]
trait AbstractMacroStrictLogIO[[_] =>> F[Has[LogIO3Strict[F]], Nothing, _$11]]
trait EncodingAwareAbstractLogIO[[_] =>> F[Has[LogIO3Strict[F]], Nothing, _$11], StrictEncoded]
trait AbstractLogIO[[_] =>> F[Has[LogIO3Strict[F]], Nothing, _$11]]
trait UnsafeLogIO[[_] =>> F[Has[LogIO3Strict[F]], Nothing, _$11]]
trait LogCreateIO[[_] =>> F[Has[LogIO3Strict[F]], Nothing, _$11]]
class Object
trait Matchable
class Any
Known subtypes
object log.type

Value members

Concrete methods

def apply[F[_, _, _] : LogIO3AskStrict]: LogIO3AskStrict[F]
def log[F[_, _, _]](implicit l: LogIO3AskStrict[F]): LogIO3AskStrict[F]

Lets you carry LogIO3 capability in environment

Lets you carry LogIO3 capability in environment

 import logstage.{LogIO3Strict, LogIO3AskStrict}
 import logstage.LogIO3AskStrict.log
 import zio.{Has. ZIO}

 class Service[F[-_, +_, +_]: LogIO3AskStrict] {
   val fn: F[Has[LogIO3Strict[F]], Nothing, Unit] = {
     log.info(s"I'm logging with ${log}stage!")
   }
 }

 new Service[ZIO](LogIO3AskStrict.make)

Attributes

def make[F[_, _, _] : MonadAsk3](implicit evidence$2: MonadAsk3[F], t: Tag[LogIO3Strict[F]]): LogIO3AskStrict[F]

Lets you carry LogIO3 capability in environment

Lets you carry LogIO3 capability in environment

 import logstage.{LogIO3Strict, LogIO3AskStrict}
 import logstage.LogIO3AskStrict.log
 import zio.{Has. ZIO}

 class Service[F[-_, +_, +_]: LogIO3AskStrict] {
   val fn: F[Has[LogIO3Strict[F]], Nothing, Unit] = {
     log.info(s"I'm logging with ${log}stage!")
   }
 }

 new Service[ZIO](LogIO3AskStrict.make)

Attributes