fundamentals-bio
API
Generated with
fundamentals-bio/izumi.functional.bio/LowPrioritySyncSafeInstances0

LowPrioritySyncSafeInstances0

izumi.functional.bio.LowPrioritySyncSafeInstances0
trait LowPrioritySyncSafeInstances0 extends LowPrioritySyncSafeInstances1

Attributes

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

Members list

Concise view

Implicits

Implicits

final implicit def fromBIO3[F[_, _, _] : IO3]: SyncSafe1[[_] =>> F[Any, Nothing, _$9]]

Inherited implicits

final implicit def covarianceConversion[F[_], G[_]](syncSafe: SyncSafe1[F])(implicit ev: F[Unit] <:< G[Unit]): SyncSafe1[G]

Attributes

Inherited from:
LowPrioritySyncSafeInstances2
final implicit def fromBIO[F[_, _] : IO2]: SyncSafe1[[_] =>> F[Nothing, _$13]]

Attributes

Inherited from:
LowPrioritySyncSafeInstances1
final implicit def limitedCovariance2[C <: ([f[_]] =>> SyncSafe1[f]), FR[_, _], R0](implicit F: C[[_] =>> FR[Nothing, _$18]] { type Divergence = Nondivergent; }): Of[C[[_] =>> FR[R0, _$19]]]

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

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

Safe because F appears only in a covariant position

Attributes

See also:
Inherited from:
LowPrioritySyncSafeInstances2
final implicit def limitedCovariance3[C <: ([f[_]] =>> SyncSafe1[f]), FR[_, _, _], R0, E](implicit F: C[[_] =>> FR[Any, Nothing, _$25]] { type Divergence = Nondivergent; }): Of[C[[_] =>> FR[R0, E, _$26]]]

Attributes

Inherited from:
LowPrioritySyncSafeInstances2
Generated with