UnsafeLogIO

logstage.UnsafeLogIO
See theUnsafeLogIO companion trait

Attributes

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

Members list

Type members

Classlikes

class UnsafeLogIOSyncSafeInstance[F[_]](logger: AbstractLogger)(F: SyncSafe1[F]) extends LogCreateIOSyncSafeInstance[F], UnsafeLogIO[F]

Attributes

Supertypes
trait UnsafeLogIO[F]
trait LogCreateIO[F]
class Object
trait Matchable
class Any
Show all
class UnsafeLogIOSyncSafeInstanceF[F[_]](logger: AbstractLoggerF[F])(F: SyncSafe1[F]) extends LogCreateIOSyncSafeInstance[F], UnsafeLogIO[F]

Attributes

Supertypes
trait UnsafeLogIO[F]
trait LogCreateIO[F]
class Object
trait Matchable
class Any
Show all

Value members

Concrete methods

def apply[F[_] : UnsafeLogIO]: UnsafeLogIO[F]
def fromLogger[F[_] : SyncSafe1](logger: AbstractLogger): UnsafeLogIO[F]
def fromLogger[F[_] : SyncSafe1](logger: AbstractLoggerF[F]): UnsafeLogIO[F]

Implicits

Implicits

implicit def covarianceConversion[G[_], F[_]](log: UnsafeLogIO[F])(implicit ev: F[AnyRef] <:< G[AnyRef]): UnsafeLogIO[G]

Inherited implicits

implicit def limitedCovariance2[F[_, _], E](implicit log: UnsafeLogIO2[F]): UnsafeLogIO[[_] =>> F[E, _$12]]

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:
LowPriorityUnsafeLogIOInstances
implicit def limitedCovariance3[F[_, _, _], R, E](implicit log: UnsafeLogIO3[F]): UnsafeLogIO[[_] =>> F[R, E, _$16]]

Attributes

Inherited from:
LowPriorityUnsafeLogIOInstances