LowPriorityLogIOStrictInstances

logstage.strict.LowPriorityLogIOStrictInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object LogIOStrict.type

Members list

Concise view

Implicits

Implicits

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

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

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

Safe because F appears only in a covariant position

Attributes

See also:
implicit def limitedCovariance3[F[_, _, _], R, E](implicit log: LogIO3Strict[F]): LogIOStrict[[_] =>> F[R, E, _$17]]