LogIO

logstage.LogIO
See theLogIO companion trait

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
LogIO.type

Members list

Type members

Classlikes

final implicit class LogIO2Syntax[F[_, _]](log: LogIO2[F]) extends AnyVal

Attributes

Supertypes
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def apply[F[_]](implicit l: LogIO[F]): l.type
def fromLogger[F[_] : SyncSafe1](logger: AbstractLogger): LogIO[F]
def fromLogger[F[_] : SyncSafe1](logger: AbstractLoggerF[F]): LogIO[F]
def log[F[_]](implicit l: LogIO[F]): l.type

Lets you refer to an implicit logger's methods without naming a variable

Lets you refer to an implicit logger's methods without naming a variable

 import logstage.LogIO.log

 def fn[F[_]: LogIO]: F[Unit] = {
   log.info(s"I'm logging with ${log}stage!")
 }

Attributes

Implicits

Implicits

final implicit def LogIO2Syntax[F[_, _]](log: LogIO2[F]): LogIO2Syntax[F]
implicit def covarianceConversion[G[_], F[_]](log: LogIO[F])(implicit ev: F[AnyRef] <:< G[AnyRef]): LogIO[G]

Inherited implicits

implicit def limitedCovariance2[F[_, _], E](implicit log: LogIO2[F]): LogIO[[_] =>> F[E, _$14]]

Emulate covariance. We're forced to employ these because we can't make LogIO covariant, because covariant implicits are broken (see scalac bug)

Emulate covariance. We're forced to employ these because we can't make LogIO covariant, because covariant implicits are broken (see scalac bug)

Safe because F appears only in a covariant position

Attributes

See also
Inherited from:
LowPriorityLogIOInstances
implicit def limitedCovariance3[F[_, _, _], R, E](implicit log: LogIO3[F]): LogIO[[_] =>> F[R, E, _$18]]

Attributes

Inherited from:
LowPriorityLogIOInstances