izumi.functional.bio.SyncSafe1
See theSyncSafe1 companion trait
object SyncSafe1 extends LowPrioritySyncSafeInstances0
Attributes
Members list
Implicits
Implicits
implicit def fromSync[F[_], Sync[_[_]]](implicit evidence$1: cats.effect.kernel.Sync[Sync], F0: Sync[F]): SyncSafe1[F]
This instance uses 'no more orphans' trick to provide an Optional instance only IFF you have cats-effect as a dependency without REQUIRING a cats-effect dependency.
This instance uses 'no more orphans' trick to provide an Optional instance only IFF you have cats-effect as a dependency without REQUIRING a cats-effect dependency.
Optional instance via https://blog.7mind.io/no-more-orphans.html
Attributes
Inherited implicits
final implicit def covarianceConversion[F[_], G[_]](syncSafe: SyncSafe1[F])(implicit ev: F[Unit] <:< G[Unit]): SyncSafe1[G]
Attributes
- Inherited from:
- LowPrioritySyncSafeInstances1
Attributes
- Inherited from:
- LowPrioritySyncSafeInstances0
final implicit def limitedCovariance2[C <: (SyncSafe1), FR[_, _], E](implicit F: C[[_] =>> FR[Nothing, _$13]] { type Divergence = Nondivergent; }): Of[C[[_] =>> FR[E, _$14]]]
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:
- LowPrioritySyncSafeInstances1
final implicit def limitedCovariance3[C <: (SyncSafe1), FR[_, _, _], R0, E](implicit F: C[[_] =>> FR[Any, Nothing, _$20]] { type Divergence = Nondivergent; }): Of[C[[_] =>> FR[R0, E, _$21]]]
Attributes
- Inherited from:
- LowPrioritySyncSafeInstances1
In this article