LogCreateIO

logstage.LogCreateIO
See theLogCreateIO companion trait

Attributes

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

Members list

Type members

Classlikes

class LogCreateIOSyncSafeInstance[F[_]](val F: SyncSafe1[F]) extends LogCreateIO[F]

Attributes

Supertypes
trait LogCreateIO[F]
class Object
trait Matchable
class Any
Known subtypes

Value members

Concrete methods

def apply[F[_] : LogCreateIO]: LogCreateIO[F]

Implicits

Implicits

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

Inherited implicits

implicit def limitedCovariance2[F[_, _], E](implicit log: LogCreateIO2[F]): LogCreateIO[[_] =>> F[E, _$10]]

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:
LowPriorityLogCreateIOInstances
implicit def limitedCovariance3[F[_, _, _], R, E](implicit log: LogCreateIO3[F]): LogCreateIO[[_] =>> F[R, E, _$14]]

Attributes

Inherited from:
LowPriorityLogCreateIOInstances