t

logstage

LowPriorityUnsafeLogIOInstances

sealed trait LowPriorityUnsafeLogIOInstances extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LowPriorityUnsafeLogIOInstances
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. implicit def limitedCovariance2[F[+_, _], E](implicit log: UnsafeLogIO2[F]): UnsafeLogIO[[β$0$]F[E, β$0$]]

    Emulate covariance.

    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

    See also

    https://github.com/scala/bug/issues/11427

  2. implicit def limitedCovariance3[F[-_, +_, _], R, E](implicit log: UnsafeLogIO3[F]): UnsafeLogIO[[γ$1$]F[R, E, γ$1$]]